用angr去除o-llvm控制流平坦化

最新推荐文章于 2024-11-07 21:46:34 发布

原创最新推荐文章于 2024-11-07 21:46:34 发布 · 2.6k 阅读

0 ·

CC 4.0 BY-SA版权

本文介绍如何解决Angr在Mac环境下运行时遇到的特定错误，并提供Docker环境配置指南，包括下载安装及设置步骤。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

更改这篇文章中最新版本的bug https://security.tencent.com/index.php/blog/msg/112 和补充这篇文章的环境搭建
1.配置mac中docker环境
（1）下载 https://download.docker.com/mac/stable/Docker.dmg
（2）可以按照这篇文章中传mac到docker文件 http://blog.youkuaiyun.com/xtfge0915/article/details/52169445
（3）安装docker环境中的angr https://docs.angr.io/INSTALL.html 但是注意不用第一步 1.sudo docker pull angr/angr 2.sudo docker run -it angr/angr
2.原文如下
p.step()

while p.successors[0].addr not in relevants:

p = p.successors[0]

p.step()

return p.successors[0].addr

在2017 年9月份 angr已经升级它会出现 while p.successors[0].addr not in relevants: File "/Library/Python/2.7/site-packages/angr-7.7.12.16-py2.7.egg/angr/sim_state.py", line 201, in getattr raise AttributeError(v) AttributeError: successors 这个错误

。

3.更改为

succ=p.step()

while succ.successors[0].addr not in relevants:

# p = succ.successors[0]

succ=succ.successors[0].step()

return succ.successors[0].addr

https://github.com/liumengdeqq/deflat