会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
juren0
博客园
首页
新随笔
联系
订阅
管理
2021年12月23日
angr学习笔记(三)--路径爆炸问题的处理
摘要: 符号执行最大的问题就是路径爆炸,当一个程序存在循环结构时,即使逻辑十分简单也可能会产生规模十分巨大的执行路径,本文记录三种处理路径爆炸的方法: 1.避免进入循环结果,手动添加约束条件 循环结果如下 该循环结构在程序中比较两个字符串是否相等,每次循环都会有if语句生成两个不同的分支,路径成指数级增长,
阅读全文
posted @ 2021-12-23 00:17 re0juren
阅读(1400)
评论(1)
推荐(1)
编辑
公告