会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
WordDealer
博客园
首页
新随笔
联系
订阅
管理
2023年8月27日
草稿1
摘要: ## angr 约束的ast孩子 solver.constraints[0]是angr当前state的第一个约束,是ast形式来展示的,其中,以下接口与约束的孩子有关,即得到约束的叶子或者子树 以下返回结果大部分只有BVV和BVS类型,不包含int类型(如扩展位数操作的32和8),args会返回in
阅读全文
posted @ 2023-08-27 13:59 WordDealer
阅读(8)
评论(0)
推荐(0)
编辑
公告