会员
众包
新闻
博问
闪存
赞助商
HarmonyOS
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
Bri1
博客园
首页
新随笔
联系
订阅
管理
2025年5月3日
anger符号执行
摘要: angr遇到每个分支都会产生新的后继状态,即使是简单的for循环,它也会在for循环的判断中不断产生新的状态,就等同trace代码一样每执行一次都会记录一次,而且有时也不好处理,这样就会造成状态爆炸,这么看来,如果一个函数非常复杂,而我们想要angr模拟整个函数,处理起来还是挺头痛的 一个程序收集所
阅读全文
posted @ 2025-05-03 13:45 Bri1
阅读(145)
评论(0)
推荐(0)
公告