紧张刺激的端午节打了场紧张刺激的R3CTF，逆向题目质量真高。弄了一天半做出来两道题，哎水平还是差很多。然后在端午节写这篇blog。 leannum 这道题根据题目介绍来看就是使用写lean4的一个数独程序，lean编译成c++之后确实很抽象啊。给了c++源代码跟ida也没什么区别。然后这道题所给文件起不动调试，需要patch一下链接文件。 然后能…

周六去做了矩阵杯的题，三道题弄到半夜一点多。两道跟python有关的逆向。真是RCTF，国赛没逆够，在矩阵杯找罪受。但是好在运气足够还，那个三分逆七分猜的逆向还能得个一血。*★,°*:.☆(￣▽￣)/$:*.°★* 。丑陋的cython。 packpy 这道题其实很简单，但是之前一直做的都是windows下的python打包程序，这次头一次做LIn…