2016年8月1日
简单的尝试下angr
摘要： 0x00:前言 之前接触到了符号执行，可以用于程序的自动化分析，感觉还是比较神奇，工业上的具体用法不是很清楚，不过在CTF中这个东西慢慢在流行...从 就可以看出(有很多人解re用符号执行)。常用的库有angr、z3，我只尝试了angr。 0x01:关于符号执行 以下来自维基百科： 符号执行 （Sy 阅读全文
posted @ 2016-08-01 22:44 何沐 阅读(4397) 评论(0) 推荐(2) 编辑