2021年12月23日
angr学习笔记(三)--路径爆炸问题的处理
摘要： 符号执行最大的问题就是路径爆炸，当一个程序存在循环结构时，即使逻辑十分简单也可能会产生规模十分巨大的执行路径，本文记录三种处理路径爆炸的方法： 1.避免进入循环结果，手动添加约束条件 循环结果如下 该循环结构在程序中比较两个字符串是否相等，每次循环都会有if语句生成两个不同的分支，路径成指数级增长， 阅读全文
posted @ 2021-12-23 00:17 re0juren 阅读(1400) 评论(1) 推荐(1) 编辑