符号执行
ToTHotSpur
这个作者很懒,什么都没留下…
展开
-
IDA插件Ponce(符号执行) 解决网鼎杯Re-signal
这题很简单,最终的做题人数也体现了这一点。。不过前段时间刚接触了Ponce这一IDA插件神器,就试一试比赛里好不好使。(主要就是懒,不想逆向分析算法了)main:打印第8行puts,似乎就是success的意思;看一下前面的vm_operad:一个大while(1)循环,但对于Ponce来说,只需关心哪里输入,哪里success,哪里wrong。这里的26行read函数就是要求输入长度为15OK,开始下断点调试首先,在scanf函数后一行下个断点,方便在栈中找原创 2020-05-11 14:28:32 · 1897 阅读 · 8 评论 -
符号执行(一)angr环境配置(Windows&Linux)
最近做CTF了解到了符号执行这一技术,发现符号执行真是时十分便捷。符号执行介绍:https://www.anquanke.com/post/id/157928我使用的是python下的angr这一工具环境配置:1.windows10:环境:python2(python3好像也支持了)分别执行:pip install pyvexpip install unicorn...原创 2019-10-24 16:06:23 · 2235 阅读 · 1 评论