angr 路径爆炸·30讲
🎯 从入门到实战
📚 共30章 · 完整目录
🧪 友好色系
⚡ 点击卡片跳转章节
01
路径爆炸初探
什么是路径爆炸？为什么angr会遇到？一个简单示例
02
符号执行基础回顾
符号变量、路径约束、求解器交互，理解爆炸根源
03
状态爆炸的数学原理
状态空间树、分支因子、指数增长，公式解读
04
angr的路径管理机制
SimState、SimulationManager、优先级与探索策略
05
路径爆炸的典型场景
循环展开、符号化输入长度、复杂分支、系统调用
06
循环处理策略
循环边界检测、摘要、计数符号化，实战案例
07
符号化输入优化
输入长度控制、结构约束、符号化数组代替逐字节
08
路径剪枝技术
不可达路径检测、约束求解前置过滤、死路径终止
09
状态合并技术
合并原理、何时合并、angr的merge功能与限制
10
探索策略调优
BFS、DFS、启发式搜索、A*在angr中的应用
11
Veritesting技术
什么是veritesting？angr模式原理与配置
12
Concrete-only模式
何时使用？混合符号执行与具体执行切换
13
LAZY_SOLVES模式
延迟求解策略，减少求解器调用，缓解爆炸
14
路径优先级排序
自定义优先级函数，优先探索有希望的分支
15
内存模型优化
Flat、Abstract等模型选择，减少状态数量
16
系统调用建模
自定义系统调用模型，避免状态爆炸
17
函数摘要与Hook
使用Hook机制替换复杂函数，减少分支
18
路径爆炸检测与监控
检测angr是否陷入爆炸，监控状态与求解时间
19
并行执行与分布式探索
多线程、多进程加速，分布式angr方案
20
路径爆炸案例分析
真实CTF题目中的路径爆炸与解决过程
21
angr Bug与Workaround
版本问题、内存泄漏、状态溢出
22
符号执行引擎对比
angr vs Triton vs S2E vs KLEE，爆炸策略对比
23
路径爆炸与漏洞挖掘
如何影响漏洞发现？平衡覆盖率与效率
24
路径爆炸与模糊测试结合
angr + AFL/libFuzzer，用fuzzing减少爆炸
25
路径爆炸与污点分析结合
污点分析缩小符号化范围，减少分支
26
路径爆炸与程序切片
静态切片技术，只符号化目标相关代码
27
路径爆炸与抽象解释
抽象解释辅助符号执行，提前过滤不可行路径
28
路径爆炸与机器学习
使用ML预测路径可行性，指导探索策略
29
路径爆炸的工程实践
大型二进制程序应对方案，经验总结
30
路径爆炸的未来
符号执行引擎趋势，终极解决方案展望