VIP20

本课程属于：004-AI漏洞挖掘与渗透 网络安全工程与攻防实战 · 共 20 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

← 返回所属目录咨询 / 购买

动态符号执行：从原理到漏洞挖掘实战

📚 共计 30 章节

漏洞挖掘的困境：传统Fuzzing的局限性，为什么需要符号执行？

理解符号执行诞生的背景与核心价值

符号执行基础：什么是符号值、符号状态、路径约束？

三大核心抽象概念，构建理论基石

约束求解器入门：Z3安装与基本使用，求解简单算术约束

动手安装Z3，解决第一个约束

动态符号执行核心概念：Concolic Testing 的由来与原理

具体+符号混合执行，经典方法

工具链介绍：Angr、Triton、S2E 的选型与对比

主流符号执行引擎横向评测

Angr 环境搭建：在 Ubuntu 上安装 Angr，验证安装

从零配置Angr工作环境

Angr 基础API：加载二进制、获取入口点、探索状态

掌握Angr核心操作接口

符号化输入：如何将 stdin、argv 等输入标记为符号

让程序输入变成符号变量

符号化输入

路径探索：BFS、DFS 策略，如何控制探索深度

搜索策略与状态管理

约束求解实战：用 Z3 求解路径条件，生成触发漏洞的输入

从约束到可利用的payload

模拟执行：Angr 的 SimState 与 SimEngine 工作机制

深入理解符号执行引擎内部

Hook 技术：拦截库函数调用，加速符号执行

自定义函数行为，提升效率

内存模型：符号化内存读写，处理复杂数据结构

符号化指针、数组与结构体

多路径处理：处理循环、递归导致的路径爆炸问题

缓解路径爆炸的经典策略

路径爆炸优化

漏洞模型：如何定义缓冲区溢出、Use-After-Free 等漏洞条件

将漏洞转化为可检测约束

实战案例1：用 Angr 自动生成触发栈溢出的 payload

经典栈溢出自动化利用

实战栈溢出

实战案例2：符号执行破解简单的 CrackMe

逆向分析 + 符号执行破解

实战案例3：挖掘真实 CVE 中的整数溢出漏洞

复现并发现整数溢出CVE

CVE整数溢出

Triton 框架入门：安装与基本用法，与 Angr 的异同

另一个强大的符号执行框架

Triton 实战：污点分析结合符号执行，追踪用户输入流向

污点+符号，精准追踪

污点分析Triton

S2E 平台入门：全系统符号执行，分析内核驱动漏洞

全系统级符号执行，内核分析

路径剪枝技术：如何忽略不感兴趣的路径，提高效率

选择性探索，聚焦关键路径

符号执行优化：缓存约束、增量求解、并行探索

工业级优化技巧

混合执行：Fuzzing + 符号执行，取长补短

结合模糊测试与符号执行

QSYM 与 Driller：业界先进的混合执行方案

前沿混合执行系统解析

对抗符号执行：反符号执行技术（路径混淆、 opaque predicates）

防御者视角，绕过与对抗

符号执行在 CTF 中的应用：自动化生成 Exploit

CTF竞赛中的符号执行利器

符号执行在 IoT 固件分析中的应用：模拟执行 MIPS/ARM 指令

跨架构固件漏洞分析

符号执行的局限性：路径爆炸、约束求解超时、环境交互

客观认识符号执行的边界

未来展望：符号执行与 AI 结合，自动化漏洞挖掘的前沿趋势

AI+符号执行，下一代漏洞挖掘