看雪论坛
发新帖

[求助]求助!请问IDA插件Ponce如何使用以及符号执行?

试作戏言 2017-8-14 17:19 326

动态运行到跳转出时“Negate” 选项仍然是灰色的……

另外请问对符号执行感兴趣从哪里下手?网上这方面的资源不是很多……

本主题帖已收到 0 次赞赏,累计¥0.00
最新回复 (2)
试作戏言 2017-8-14 18:41
2

在github上看了这个项目的介绍,但是总卡在这一步:不能对输入的参数进行符号化(就是例子里面的aaaaa)

但是我的这里是灰色的……

zhuhuaidong 2017-9-11 14:48
3
https://research.trust.salesforce.com/Introducing-Ponce-One-click-symbolic-execution/
返回



©2000-2017 看雪学院 | Based on Xiuno BBS | 微信公众号:ikanxue
Time: 0.011, SQL: 9 / 京ICP备10040895号-17