更改这篇文章中最新版本的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.csdn.net/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
1.配置mac中docker环境
(1)下载 https://download.docker.com/mac/stable/Docker.dmg
(2)可以按照这篇文章中传mac到docker文件 http://blog.csdn.net/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