🔍 符号执行·angr实战
🧩
🧑🎓
零基础 · 30章
✨ 动手玩转
🎯
📚
目录 · 点击卡片跳转对应章节
👇
从入门到综合实战
1
01
符号执行初探
什么是符号执行？为什么需要？与传统测试的区别
2
02
angr环境搭建
Ubuntu/Docker安装 · 验证 · 常见问题
3
03
angr核心概念
Project · State · SolverEngine · SimulationManager
4
04
第一个angr脚本
加载二进制 · 探索函数 · 获取执行路径
5
05
符号化输入
命令行参数 · 标准输入 · 文件内容符号化
6
06
约束求解入门
SolverEngine · 添加约束 · 求解符号变量
7
07
路径探索基础
SimulationManager · explore · 目标地址
8
08
避免路径爆炸
路径剪枝 · 内存限制 · 探索策略
9
09
CTF逆向·密码验证
符号执行实战 · 破解简单密码验证
10
10
angr Hook机制
Hook函数调用 · 替换库函数行为
11
11
符号化文件系统
模拟文件读写 · 处理文件相关逻辑
12
12
angr与GDB联调
设置断点 · 观察状态变化
13
13
多路径探索
同时探索多个分支 · 收集所有可行路径
14
14
符号执行优化
Veritesting · LAZY_SOLVES 等优化技术
15
15
自动生成测试用例
覆盖所有分支 · 实战
16
16
VEX中间表示
理解IR · 查看基本块指令
17
17
符号化网络数据
模拟socket通信 · 符号化网络包
18
18
angr CGC环境
模拟Cyber Grand Challenge二进制
19
19
符号执行与污点分析
结合污点追踪 · 缩小符号化范围
20
20
破解ollvm混淆
控制流平坦化 · 实战
21
21
SimProcedure
自定义模拟过程 · 复杂系统调用
22
22
符号化堆内存
模拟malloc/free · 动态内存分配
23
23
静态分析能力
CFG构建 · 调用图分析
24
24
自动挖掘缓冲区溢出
漏洞挖掘实战
25
25
Python3兼容性
Python2→3迁移问题
26
26
并行执行
多进程加速符号执行
27
27
插件系统
编写自定义插件扩展angr
28
28
恶意软件·解密字符串
分析恶意软件 · 实战
29
29
angr局限性
何时不适合符号执行？替代方案
30
30
综合实战
从零破解真实世界二进制程序
⚡ 每章对应一个独立HTML文件 (01.html ~ 30.html)