
符号执行
water_likly
这个作者很懒,什么都没留下…
展开
-
符号执行之angr学习-学会安装angr
我是基于python2安装的,再安装过程中遇到好多问题,安装了好几次也没安装成功,很偶然的一次成功了(转载请注明出处)1 首先是安装python环境 sudo apt install python-virtualenv注意: 执行此命令的同时会执行apt install python3-virtualenv,所以只需要执行上面的命令,即可安装python-virtualenv和...原创 2019-03-06 09:34:23 · 1528 阅读 · 2 评论 -
符号执行之angr学习-控制流图
一 序分析控制流图是分析程序必不可少地过程,通过分析控制流图能够快速地帮助我们了解程序结构,同时利用控制流图实现漏洞挖掘,Bug分析等也是非常有用地。Angr提供了多种分析工具,其中就有控制流图分析。(转载请注明出处)对控制流图(CFG)的分析分为两个方面,静态控制流图分析和动态控制流图分析。https://docs.angr.io/built-in-analyses/cfg 提供了对...原创 2019-03-09 13:42:46 · 4050 阅读 · 3 评论 -
符号执行之angr学习-初识angr
一 参考安装好了angr后,如何利用angr来完成自己的工作,实现程序分析是个大问题。我参考了一些技术人员的博客,能稳定介绍这个工具的人不是很多,不过还是让我找到了几个:(转载请注明出处)https://blog.youkuaiyun.com/zhuzhuzhu22/article/details/80350441https://blog.youkuaiyun.com/doudoudouzoule/artic...原创 2019-03-08 08:54:45 · 1849 阅读 · 1 评论 -
符号执行之angr学习-最简单的angr分析
本文主要通过一个简单的案例来说明angr的使用,同时,尽可能的将上文中提到的一些指令、代码实践下。一 案例在上文中,我才发现如果只是利用angr实现间的分析的话,真的很容易做到,上文中对angr的一些指令有了充分的解释,本文就利用这些解释来实现我们的第一个程序分析之旅。(转载请注明出处)首先,安装好angr后,我们需要一个二进制文件,为方便起见,我直接用了https://github....原创 2019-03-08 11:45:08 · 5184 阅读 · 0 评论