从静态逆向到符号执行 · 课程目录

01 逆向工程概述

什么是逆向工程应用领域伦理与法律边界

02 静态分析基础

PE/ELF文件格式文件头与节区表导入导出表分析

03 反汇编与反编译

x86/x64汇编基础 IDA Pro/Ghidra入门反编译技术原理

04 控制流分析

基本块与控制流图循环与条件分支调用约定与栈帧

05 数据流分析

定义-使用链活跃变量分析到达定值分析

06 中间表示(IR)

REIL/BAP/VEX-IR IR生成与优化 IR在分析中的应用

07 符号执行入门

基本概念符号变量与路径约束 KLEE/Angr简介

08 路径探索策略

深度优先与广度优先随机路径探索启发式搜索与覆盖率

09 约束求解基础

SMT求解器(Z3) 布尔逻辑与位向量算术与数组理论

10 符号执行实战

Angr自动化漏洞挖掘符号化输入生成路径爆炸与缓解

11 动态符号执行(Concolic)

Concolic原理 DART/CUTE/SAGE 混合执行与具体执行

12 污点分析

污点传播模型隐式流与显式流安全检测应用

13 模糊测试基础

模糊测试原理基于变异基于生成

14 符号执行辅助模糊测试

Driller框架 T-Fuzz/选择性符号执行混合模糊测试

15 程序切片

静态切片与动态切片向后/向前切片调试与逆向应用

16 二进制插桩

Pin/DynamoRIO/Intel PT 指令级与函数级插桩动态分析应用

17 脱壳与反混淆

UPK/ASPack/VMProtect 自动脱壳技术控制流平坦化反混淆

18 固件逆向

固件提取与解包 ARM/MIPS架构漏洞挖掘案例

19 恶意软件分析

静态特征提取动态行为监控符号执行检测

20 符号执行优化

状态合并与抽象查询缓存与增量求解并行符号执行

21 模型检测与符号执行

有界模型检测符号模型检测路径谓词抽象

22 智能合约安全分析

EVM逆向符号执行审计常见漏洞模式

23 选择性符号执行

函数摘要与模块化按需符号执行混合符号执行策略

24 符号执行与机器学习

ML引导符号执行基于学习的路径预测自动约束求解策略

25 高级约束求解

非线性算术字符串约束浮点数与指针约束

26 符号执行在协议逆向

消息格式推断状态机推断协议模糊测试

27 多路径符号执行

并行路径探索分布式符号执行云原生架构

28 符号执行在补丁分析

补丁前后差异分析回归漏洞检测自动补丁生成

29 符号执行工具链集成

CI/CD中的符号执行 IDE插件开发自动化安全流水线

30 综合实战项目

轻量级符号执行引擎真实CVE复现课程总结与展望