本文介绍如何利用Angr进行二进制程序分析，包括Angr的基本概念、安装、实验环境设置以及如何使用Angr进行符号执行。通过一个具体的实验案例，详细讲解了如何分析二进制文件，查找后门密码，以及使用ida辅助分析。实验展示了如何通过Angr创建项目、加载二进制文件、查看内存中的共享库、生成控制流图并进行路径探索。
预备知识
1.关于Angr
Angr是一个利用python开发的二进制程序分析框架，我们可以利用这个工具尝试对一些CTF题目进行符号执行来找到正确的解答，即flag。当然，要注意的是符号执行的路径选择问题到现在依旧是一个很大的问题，换句话说也就是当我们的程序存在循环时，因为符号执行会尽量遍历所有的路径，所以每次循环之后会形成至少两个分支，当循环的次数足够多时，就会造成路径爆炸，整个机器的内存会被耗尽（我们这次分析的程序只有两个分支，不会存在这个问题）。
实验目的
通过该实验了解符号执行的思维和方法，学会使用Angr，进一步掌握IDA的常见用法。
实验环境
服务器：Windows 8
kali IP地址：随机分配
辅助工具：win8装IDA，kali下安装在下文
实验文件请在实验机内下载使用：http://tools.hetianlab.com/tools/T034.zip
实验步骤一
kali上安装angr方法（已装）：
官方建议使用python虚拟环境来安装和使用angr。几个angr的依赖项（z3，pyvex）需要
最低0.47元/天 解锁文章
扫一扫
1732
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
