3、Angr环境搭建：Python虚拟环境配置、Angr安装与验证、常见安装问题
说实话，每次带新人入门符号执行，最头疼的往往不是理论，而是环境搭建。我见过太多人卡在安装这一步，折腾一整天连个demo都跑不起来。今天咱们就把Angr的环境搭建彻底讲透，保证你照着做，半小时内就能跑起第一个脚本。
3.1 Python虚拟环境配置
我个人习惯，所有逆向工具都装在虚拟环境里。为什么？因为Angr的依赖链太长了，一不小心就会跟系统Python打架。你想想看，万一你系统里有个旧版本的z3，Angr直接罢工，那多冤。
先确认Python版本。Angr官方推荐Python 3.8到3.10。我实测过，3.11也能用，但有些小众插件会报错。稳妥起见，用3.9吧。
# 创建虚拟环境
python3.9 -m venv angr_env
# 激活环境
# Linux/Mac:
source angr_env/bin/activate
# Windows:
angr_env\Scripts\activate
# 升级pip
pip install --upgrade pip
嗯，这里要注意：Windows用户如果遇到权限问题，记得用管理员身份打开终端。我曾经在Windows上折腾了半小时，最后发现是权限不够，pip安装时写不进site-packages。
3.2 Angr安装与验证
虚拟环境激活后，安装Angr就一行命令：
pip install angr
等等，别急着敲回车。先看看网络状况。Angr的依赖包很多，从PyPI下载可能会超时。我建议用国内镜像：
pip install angr -i https://pypi.tuna.tsinghua.edu.cn/simple
安装完成后，怎么验证？写个简单的Python脚本：
import angr
print(angr.__version__)
如果能正常输出版本号，比如9.2.58，那就说明装好了。如果报错，别慌，往下看。
快速验证清单：
- Python版本在3.8-3.10之间
- 虚拟环境已激活（终端前面有
(angr_env)字样） - pip版本≥21.0
- 网络能访问PyPI或镜像站
3.3 常见安装问题
我整理了几个高频问题，都是我在项目里踩过的坑。
| 问题现象 | 原因 | 解决方案 |
|---|---|---|
| z3安装失败 | z3-solver与系统架构不匹配 | 单独安装：pip install z3-solver==4.12.2 |
| Python版本不兼容 | 用了Python 3.7或3.12 | 切换到3.9，重新创建虚拟环境 |
| 依赖冲突 | 系统Python已安装旧版库 | 务必使用虚拟环境，不要用系统Python |
| 编译错误（Windows） | 缺少C++编译工具 | 安装Visual Studio Build Tools 2019+ |
特别注意：z3-solver是Angr的核心依赖，负责约束求解。如果你遇到ImportError: No module named 'z3'，别急着重装Angr。先检查z3-solver是否安装成功：pip list | grep z3。如果没有，单独装一下就好。
我曾经在Mac M1芯片上踩过一个坑——Angr的某些原生扩展在ARM架构下需要重新编译。解决方案是安装Rosetta 2，或者直接用Docker镜像。如果你也是M1用户，我建议直接用Docker：
docker pull angr/angr
docker run -it angr/angr
这样最省心，啥依赖都不用管。
3.4 第一个Angr脚本：加载二进制文件
环境搭好了，咱们来写第一个脚本。目标很简单：加载一个二进制文件，看看Angr能解析出什么信息。
先准备一个测试用的二进制文件。随便找个你系统里的程序，比如/bin/ls（Linux）或者C:\Windows\System32\notepad.exe（Windows）。
import angr
# 加载二进制文件
proj = angr.Project('/bin/ls', auto_load_libs=False)
# 查看基本信息
print("架构:", proj.arch)
print("入口点:", hex(proj.entry))
print("文件名:", proj.filename)
# 查看加载的段
for seg in proj.loader.main_object.segments:
print(f"段: {seg.name}, 起始: {hex(seg.vaddr)}, 大小: {hex(seg.memsz)}")
运行后，你会看到类似这样的输出：
架构: <Arch AMD64 (LE)>
入口点: 0x4020a0
文件名: /bin/ls
段: LOAD, 起始: 0x400000, 大小: 0x1b8
段: LOAD, 起始: 0x600000, 大小: 0x1c0
看到没？Angr自动识别了架构、入口点，还把ELF文件的各个段都解析出来了。这就是符号执行的起点——你得先让工具理解二进制文件的结构。
小技巧：参数auto_load_libs=False的意思是不要自动加载依赖的动态库。我建议在刚开始学习时都加上这个参数，否则Angr会递归加载所有.so或.dll文件，速度慢不说，还容易出问题。等你熟练了，再根据需要开启。
如果你加载的是Windows PE文件，Angr同样能处理。它会自动识别PE头、节区、导入导出表。说白了，Angr就是个二进制文件的万能解析器，ELF、PE、Mach-O它都认识。
嗯，到这里，你的Angr环境就搭好了，第一个脚本也跑通了。是不是比想象中简单？
这张图把整个流程串起来了。从创建虚拟环境，到安装Angr，再到验证和编写脚本，每一步都有明确的输入输出。你照着这个流程走，基本不会出大问题。
最后说一句：环境搭建只是开始，别在这上面花太多时间。如果遇到实在解决不了的问题，直接删掉虚拟环境重来，往往比排查半天更快。我自己的习惯是，每换一个项目就新建一个虚拟环境，干净又卫生。