🧩 angr · 反调试与反逆向
⚡ 符号执行实战 · 30章 完整目录
📚 30课时
🐧
风格
01
反调试与反逆向概述
什么是反调试、反逆向，为什么需要绕过，angr角色
02
angr环境搭建
安装、虚拟环境、依赖问题、验证安装
03
angr核心概念
Project, State, Solver, SimulationManager, CFG
04
符号执行基础
符号变量与具体值、路径约束、路径爆炸
05
angr入门示例
破解简单CrackMe，自动寻找正确路径
06
静态反逆向技术
代码混淆、控制流平坦化、虚假控制流
07
angr对抗代码混淆
符号执行处理混淆、去平坦化原理
08
动态反调试技术
ptrace检测、时间检测、断点检测
09
angr绕过ptrace检测
模拟执行环境、hook系统调用
10
angr绕过时间检测
符号化时间函数、约束求解
11
反虚拟机技术
检测VMware/VirtualBox、检测调试器
12
angr绕过反虚拟机
模拟硬件特征、hook检测函数
13
反Hook技术
检测inline hook、IAT hook
14
angr绕过反Hook
符号执行分析原始代码、恢复原始逻辑
15
字符串加密与动态解密
XOR加密、RC4、自定义算法
16
angr自动解密字符串
符号执行遍历解密函数、提取明文
17
反静态分析技术
花指令、垃圾代码插入、多态变形
18
angr处理花指令
符号执行跳过无效指令、路径修剪
19
反符号执行技术
路径约束复杂化、非线性约束、循环展开
20
angr对抗复杂约束
Z3求解器优化、约束简化策略
21
反调试器插件
检测IDA Pro插件、x64dbg插件
22
angr绕过插件检测
模拟无插件环境、hook检测点
23
TLS回调反调试
TLS回调函数执行、检测调试状态
24
angr处理TLS回调
模拟TLS初始化、符号执行回调逻辑
25
SEH异常处理反调试
结构化异常处理、异常触发检测
26
angr处理SEH异常
模拟异常分发、符号执行异常路径
27
多线程反调试
线程创建、互斥锁、竞争条件检测
28
angr模拟多线程
符号执行多线程模型、路径合并
29
综合实战
真实恶意样本分析、angr自动化绕过所有保护
30
课程总结与进阶
angr局限性、其他工具结合、未来方向