VIP20

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

查看所属VIP全部课程 →

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

符号执行结合渗透测试实战

📚 共计 30 章节

符号执行入门

符号执行发展史 · 核心概念 · 与渗透测试的关系

符号执行基础理论

符号变量与具体值 · 路径约束与求解器 · 执行树

符号执行工具概览

KLEE · Angr · S2E · Triton 介绍与选型对比

Angr基础入门

架构解析 · 安装配置 · 加载二进制 · 基础API

Angr符号变量

创建符号变量 · 符号化寄存器/内存/文件输入

Angr路径探索

路径探索策略 · 符号执行引擎 · 剪枝与合并

Angr约束求解

Z3求解器集成 · 添加约束 · 求解符号变量

Angr模拟执行

模拟执行流程 · Hook技术 · 系统调用模拟

KLEE基础入门

架构解析 · 安装配置 · LLVM中间表示 · 测试用例

KLEE符号输入

符号化命令行参数/文件/环境变量/网络输入

符号化输入

KLEE路径约束

路径约束收集 · 求解优化 · 断言与错误定位

KLEE高级特性

外部函数建模 · 内存模型 · 时间与性能优化

符号执行与漏洞挖掘

缓冲区溢出 · 整数溢出 · 格式化字符串漏洞

符号执行与逆向工程

控制流图重建 · 路径条件提取 · 隐藏功能发现

符号执行与模糊测试

符号执行引导模糊测试 · 混合执行 · 覆盖率导向

符号执行与Web安全

Web符号化建模 · SQL/XSS/命令注入检测

符号执行与二进制安全

二进制插桩 · 污点分析 · ROP链 · Shellcode

符号执行与智能合约安全

EVM符号执行 · 重入/整数溢出/访问控制漏洞

智能合约EVM

符号执行与物联网安全

固件符号执行 · 嵌入式建模 · 协议逆向

符号执行与移动安全

Android NDK · iOS Mach-O · JNI桥接

符号执行与恶意软件分析

恶意代码路径探索 · 加壳检测 · 反调试绕过

恶意软件反调试

符号执行与密码学分析

密码算法符号化 · 密钥恢复 · 侧信道分析

密码侧信道

符号执行与协议安全

网络协议符号化 · 状态机探索 · 认证绕过

协议状态机

符号执行与内核安全

内核模块符号执行 · 驱动漏洞 · 权限提升

符号执行与云原生安全

容器逃逸 · Kubernetes漏洞 · 服务网格安全

符号执行与AI安全

模型逆向 · 对抗样本 · AI框架漏洞 · 模型窃取

符号执行实战案例一

CTF逆向自动化 · 验证码绕过 · 密码恢复

符号执行实战案例二

CVE复现 · 0day挖掘 · 漏洞报告撰写

符号执行性能优化

路径爆炸缓解 · 并行化 · 状态合并 · 抽象解释

符号执行未来趋势

LLM结合 · 形式化验证 · DevSecOps · 总结展望