CTF 逆向工程

深入参考

以下参考资料按需加载，根据识别出的具体方向选择对应文件：

• 静态分析工具（GDB/Ghidra/radare2/IDA/WASM/APK/.NET） → references/tools.md
• 动态分析工具（Frida/angr/lldb/Qiling/Triton） → references/tools-dynamic.md
• 高级工具（VMProtect/BinDiff/反混淆/Rizin/补丁） → references/tools-advanced.md
• 反分析对抗（Linux/Windows反调试/反VM/反DBI/代码完整性） → references/anti-analysis.md
• 语言特征（Python字节码/Lua/WASM/.NET IL/Solidity） → references/languages.md
• 编译语言（Go/Rust/Swift/Kotlin/C++/D/Nim） → references/languages-compiled.md
• 平台特定（嵌入式固件/macOS Mach-O/Android/Flutter/HarmonyOS） → references/platforms.md
• 语言与平台综合 → references/languages-platforms.md
• 逆向模式（校验/编码/迷宫/虚拟机/游戏引擎） → references/patterns.md
• CTF 逆向模式 Part1（自定义加密/矩阵/Brainfuck JIT） → references/patterns-ctf.md
• CTF 逆向模式 Part2（约束求解/侧信道/混淆变换） → references/patterns-ctf-2.md
• CTF 逆向模式 Part3（Z3布尔电路/滑窗Popcount/多步加密） → references/patterns-ctf-3.md
• 运行时修补与Oracle（反分析Patch/多阶段Shellcode） → references/patterns-runtime.md
• CTF反分析实战（SIGILL/SIGFPE/ptrace时序/花指令） → references/anti-analysis-ctf.md
• 仿真与侧信道工具（Qiling/Triton/Unicorn/指令计数） → references/tools-emulation.md
• 硬件与特殊架构（HD44780 LCD/RISC-V/FPGA/自定义ISA） → references/platforms-hardware.md
• 逆向实战笔记（二进制类型速查/反调试绕过/常用patch） → references/field-notes.md

分类决策树

拿到逆向题？
├─ 识别文件类型: file binary
│  ├─ ELF → GDB + Ghidra
│  ├─ PE/DLL → x64dbg + IDA
│  ├─ Mach-O → lldb + Hopper
│  ├─ APK → apktool + jadx (Flutter → Blutter)
│  ├─ .NET → dnSpy / ILSpy
│  ├─ Python .pyc → uncompyle6 / decompyle3
│  ├─ WASM → wasm-decompile / wasm2wat
│  └─ 未知 → binwalk + strings + hexdump
├─ 分析策略
│  ├─ 静态优先 → Ghidra反编译 → 找 main/check 函数
│  ├─ 动态辅助 → GDB断点 / Frida hook
│  ├─ 符号执行 → angr（自动探路）
│  └─ 反混淆 → D-810 / GOOMBA / Miasm
├─ 有反调试？ → [references/anti-analysis.md](references/anti-analysis.md)
│  ├─ ptrace → LD_PRELOAD hook
│  ├─ /proc/self/status → 修改返回值
│  └─ 时间检测 → 跳过或 patch
└─ 常见模式
   ├─ 逐字符校验 → 逐字节爆破/约束求解
   ├─ 矩阵变换 → numpy/Z3 逆运算
   ├─ 自定义VM → 提取opcode表 → 反汇编
   └─ 迷宫 → BFS/DFS 自动求解

快速启动命令

# 基础分析
file binary && checksec binary
strings -n 6 binary | grep -iE "flag|pass|correct"
objdump -d binary | head -100

# GDB 调试
gdb -q binary -ex 'b main' -ex 'r'

# Ghidra 无头分析
analyzeHeadless /tmp/proj proj -import binary -postScript ExportDecompiled.java

# angr 符号执行
python3 -c "
import angr
p = angr.Project('./binary')
s = p.factory.entry_state()
sm = p.factory.simgr(s)
sm.explore(find=0x TARGET_ADDR)
print(sm.found[0].posix.dumps(0))
"

常见反调试绕过

工具速查