01

课程导论 绪论

什么是控制流混淆？为什么需要符号执行？课程目标与学习路径。

02

控制流混淆基础 基石

基本块、控制流图(CFG)、常见混淆模式（不透明谓词、控制流平坦化）。

03

符号执行入门 核心

符号值、路径约束、执行树、符号执行引擎工作原理。

04

约束求解器基础 Z3

SMT求解器简介、Z3安装与基本使用、变量与约束建模。

05

Z3实战 求解

求解简单算术约束、布尔约束、位向量约束。

06

路径探索策略 搜索

深度优先搜索(DFS)、广度优先搜索(BFS)、随机路径选择。

07

处理循环与递归 循环

循环展开、循环不变量、递归函数符号化。

08

系统调用与外部函数 环境

符号化文件系统、模拟外部环境、Concolic测试思想。

09

不透明谓词破解 破解

什么是透明谓词？符号执行如何识别并绕过？实战案例。

10

控制流平坦化破解 平坦化

平坦化原理、符号执行恢复原始CFG、状态合并技术。

11

虚假控制流插入破解 剪枝

识别虚假分支、路径剪枝、符号执行优化。

12

间接跳转与函数指针 跳转

符号化跳转目标、动态解析目标地址。

13

混淆循环与递归 复杂

符号执行处理复杂循环结构、路径爆炸缓解。

14

字符串混淆与动态生成 字符串

符号化字符串操作、约束求解字符串。

15

反调试与反虚拟化 检测

符号执行绕过时间检测、指令断点检测。

16

代码自修改(SMC)破解 SMC

符号执行跟踪代码修改、动态生成代码分析。

17

基于符号执行的污点分析 污点

污点传播、符号化污点源、路径敏感分析。

18

混合符号执行(Concolic) Concolic

Angr框架入门、具体值与符号值混合执行。

19

Angr框架深入 Angr

项目加载、状态管理、模拟管理器、探索技术。

20

Angr符号执行引擎 引擎

SimEngine、SimProcedure、Hook技术。

21

Angr约束求解集成 求解

求解路径约束、获取可行输入、符号化内存。

22

Angr破解控制流平坦化 实战

使用Angr恢复原始CFG、生成测试用例。

23

Angr破解不透明谓词 实战

自动识别并消除不透明谓词。

24

Angr破解虚假控制流 实战

路径剪枝与状态合并策略。

25

多路径分析与路径爆炸 缓解

状态合并、路径优先级、启发式搜索。

26

符号执行性能优化 优化

约束简化、缓存策略、并行执行。

27

大规模程序符号执行 规模

函数摘要、模块化分析、选择性符号化。

28

漏洞挖掘中的应用 漏洞

自动生成PoC、路径覆盖引导。

29

软件测试中的应用 测试

自动生成测试用例、回归测试。

30

课程总结与未来展望 结语

符号执行局限性、前沿研究方向、学习资源推荐。