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