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 阅读(15) 评论(0) 推荐(0) 编辑