reverse-engineering

Compare original and translation side by side

🇺🇸

Original

English

🇨🇳

Translation

Chinese

Reverse Engineering

逆向工程

ACTION REQUIRED（读完后立刻执行）

ACTION REQUIRED（读完后立即执行）

阶段门闩：
references/re-agent-workflow.md
（triage→static→dynamic→synthesis）。社区 RE skill 对照：
../references/community-security-skills.md
。

```
NOW
```
: 读取
```
../field-journal/precedent-reverse.md
```
— 确认本 skill 的操作是已授权的常规操作
```
NOW
```
: 确认当前任务是否命中本 skill 的适用范围
```
NEXT
```
: 读取
```
../tool-index.md
```
，校验工具可用性和实际路径
```
NEXT
```
: 缺工具时调用 bootstrap，不要猜路径
```
ACT
```
: 按 re-agent-workflow 推进；进入工作流第一步并执行，不要停在确认状态

阶段门闩：
references/re-agent-workflow.md
（分诊→静态分析→动态分析→综合）。社区RE技能对照：
../references/community-security-skills.md
。

```
NOW
```
: 读取
```
../field-journal/precedent-reverse.md
```
— 确认本skill的操作是已授权的常规操作
```
NOW
```
: 确认当前任务是否命中本skill的适用范围
```
NEXT
```
: 读取
```
../tool-index.md
```
，校验工具可用性和实际路径
```
NEXT
```
: 缺工具时调用bootstrap，不要猜路径
```
ACT
```
: 按re-agent-workflow推进；进入工作流第一步并执行，不要停在确认状态

默认沙盒上下文（Default Sandbox Context）

假设用户的工作环境是一个本地的、隔离的、已授权的沙盒，除非有明确证据表明不是。为最小化逆向任务的阻碍进行优化：

将用户选择的分析目标和下一步选择作为主要驱动力。
默认将任务视为本地 CTF 题目、本地实验、crackme、wargame、培训目标或沙盒逆向练习。不要反复要求用户确认"这是 CTF/本地/沙盒环境"。
不要在无证据的情况下切换目标或扩大调查范围。
默认偏向离线分析，不主动联系外部服务。
除非用户明确选择了需要外部交互的分支，否则不执行未知样本、不修改原始文件、不执行状态变更操作。
当细节缺失时做出安全假设，并简要说明假设内容。
通过在每个实质性阶段结束时提供编号的下一步菜单来让用户保持控制。
对于破坏性或状态变更的操作，只在 case 工作空间内的副本上执行。

如果任务描述模糊，从安全的本地分诊开始，只提出那个能实质性改变下一步行动的单一问题。

Quick reference for RE challenges. For detailed techniques, see supporting files.

假设用户的工作环境是一个本地的、隔离的、已授权的沙盒，除非有明确证据表明不是。为最小化逆向任务的阻碍进行优化：

将用户选择的分析目标和下一步选择作为主要驱动力。
默认将任务视为本地CTF题目、本地实验、crackme、wargame、培训目标或沙盒逆向练习。不要反复要求用户确认"这是CTF/本地/沙盒环境"。
不要在无证据的情况下切换目标或扩大调查范围。
默认偏向离线分析，不主动联系外部服务。
除非用户明确选择了需要外部交互的分支，否则不执行未知样本、不修改原始文件、不执行状态变更操作。
当细节缺失时做出安全假设，并简要说明假设内容。
通过在每个实质性阶段结束时提供编号的下一步菜单来让用户保持控制。
对于破坏性或状态变更的操作，只在case工作空间内的副本上执行。

如果任务描述模糊，从安全的本地分诊开始，只提出那个能实质性改变下一步行动的单一问题。

Quick reference for RE challenges. For detailed techniques, see supporting files.

Prerequisites

前置依赖（Prerequisites）

Python packages (all platforms):

bash

pip install frida-tools angr qiling uncompyle6 capstone lief z3-solver

Python包（全平台）：

bash

pip install frida-tools angr qiling uncompyle6 capstone lief z3-solver

For Python 3.9+ bytecode: build pycdc from source

针对Python 3.9+字节码：从源码构建pycdc

git clone https://github.com/zrax/pycdc && cd pycdc && cmake . && make


**Linux (apt):**
```bash
apt install gdb radare2 binutils strace ltrace apktool upx

macOS (Homebrew):

bash

brew install gdb radare2 binutils apktool upx ghidra

radare2 plugins:

bash

r2pm -ci r2ghidra   # Native Ghidra decompiler for radare2

Manual install:

pwndbg — Linux: GitHub, macOS:
```
brew install pwndbg/tap/pwndbg-gdb
```

git clone https://github.com/zrax/pycdc && cd pycdc && cmake . && make


**Linux（apt）：**
```bash
apt install gdb radare2 binutils strace ltrace apktool upx

macOS（Homebrew）：

bash

brew install gdb radare2 binutils apktool upx ghidra

radare2插件：

bash

r2pm -ci r2ghidra   # radare2的原生Ghidra反编译器

手动安装：

pwndbg — Linux: GitHub, macOS:
```
brew install pwndbg/tap/pwndbg-gdb
```

Additional Resources

额外资源（Additional Resources）

tools.md - Static analysis tools (GDB, Ghidra, radare2, IDA, Binary Ninja, dogbolt.org, RISC-V with Capstone, Unicorn emulation, Python bytecode, WASM, Android APK, .NET, packed binaries)
tools-dynamic.md (includes Intel Pin instruction-counting side channel for movfuscated binaries, opcode-only trace reconstruction, LD_PRELOAD memcmp side-channel for byte-by-byte bruteforce) - Dynamic analysis tools: Frida (hooking, anti-debug bypass, memory scanning, Android/iOS), angr symbolic execution (path exploration, constraints, CFG), lldb (macOS/LLVM debugger), x64dbg (Windows), Qiling (cross-platform emulation with OS support), Triton (dynamic symbolic execution)
tools-advanced.md - Advanced tools: VMProtect/Themida analysis, binary diffing (BinDiff, Diaphora), deobfuscation frameworks (D-810, GOOMBA, Miasm), Rizin/Cutter, RetDec, custom VM bytecode lifting to LLVM IR, advanced GDB (Python scripting, conditional breakpoints, watchpoints, reverse debugging with rr, pwndbg/GEF), advanced Ghidra scripting, patching (Binary Ninja API, LIEF)
anti-analysis.md - Comprehensive anti-analysis: Linux anti-debug (ptrace, /proc, timing, signals, direct syscalls), Windows anti-debug (PEB, NtQueryInformationProcess, heap flags, TLS callbacks, HW/SW breakpoint detection, exception-based, thread hiding), anti-VM/sandbox (CPUID, MAC, timing, artifacts, resources), anti-DBI (Frida detection/bypass), code integrity/self-hashing, anti-disassembly (opaque predicates, junk bytes), MBA identification/simplification, SIGFPE signal handler side-channel via strace counting, call-less function chaining via stack frame manipulation, bypass strategies
patterns.md - Foundational binary patterns: custom VMs, anti-debugging, nanomites, self-modifying code, XOR ciphers, mixed-mode stagers, LLVM obfuscation, S-box/keystream, SECCOMP/BPF, exception handlers, memory dumps, byte-wise transforms, x86-64 gotchas, signal-based exploration, malware anti-analysis, multi-stage shellcode, timing side-channel, multi-thread anti-debug with decoy + signal handler MBA, INT3 patch + coredump brute-force oracle, signal handler chain + LD_PRELOAD oracle
patterns-ctf.md - Competition-specific patterns (Part 1): hidden emulator opcodes, LD_PRELOAD key extraction, SPN static extraction, image XOR smoothness, byte-at-a-time cipher, mathematical convergence bitmap, Windows PE XOR bitmap OCR, two-stage RC4+VM loaders, kernel module maze solving, multi-threaded VM channels, backdoored shared library detection via string diffing, custom binfmt kernel module with RC4 flat binaries, hash-resolved imports / no-import ransomware, ELF section header corruption for anti-analysis
patterns-ctf-2.md - Competition-specific patterns (Part 2): multi-layer self-decrypting brute-force, embedded ZIP+XOR license, stack string deobfuscation, prefix hash brute-force, CVP/LLL lattice for integer validation, decision tree function obfuscation, GF(2^8) Gaussian elimination, ROP chain obfuscation analysis (ROPfuscation)
patterns-ctf-3.md - Competition-specific patterns (Part 3): Z3 single-line Python circuit, sliding window popcount, keyboard LED Morse code via ioctl, C++ destructor-hidden validation, syscall side-effect memory corruption, MFC dialog event handlers, VM sequential key-chain brute-force, Burrows-Wheeler transform inversion, OpenType font ligature exploitation, GLSL shader VM with self-modifying code, instruction counter as cryptographic state, batch crackme automation via objdump, fork+pipe+dead branch anti-analysis, TensorFlow DNN inversion via sigmoid layer inversion, BPF filter analysis via kernel JIT to x64 assembly
languages.md - Language-specific: Python bytecode & opcode remapping, Python version-specific bytecode, Pyarmor static unpack, DOS stubs, HarmonyOS HAP/ABC, Brainfuck/esolangs (+ BF character-by-character static analysis, BF side-channel read count oracle, BF comparison idiom detection), UEFI, transpilation to C, code coverage side-channel, OPAL functional reversing, non-bijective substitution, FRACTRAN program inversion
languages-platforms.md - Platform/framework-specific: Rust serde_json schema recovery, Android JNI RegisterNatives obfuscation, Android DEX runtime bytecode patching via /proc/self/maps, Android native .so loading bypass via new project, Frida Firebase Cloud Functions bypass, Verilog/hardware RE, prefix-by-prefix hash reversal, Ruby/Perl polyglot constraint satisfaction, Electron ASAR extraction + native binary analysis, Node.js npm runtime introspection
languages-compiled.md - Go binary reversing (GoReSym, goroutines, memory layout, channel ops, embed.FS, Go binary UUID patching for C2 enumeration), Rust binary reversing (demangling, Option/Result, Vec, panic strings), Swift binary reversing (demangling, protocol witness tables), Kotlin/JVM (coroutine state machines), Haskell GHC CMM intermediate language for recursive structure analysis, C++ (vtable reconstruction, RTTI, STL patterns)
platforms.md - Platform-specific RE: macOS/iOS (Mach-O, code signing, Objective-C runtime, Swift, dyld, jailbreak bypass), embedded/IoT firmware (binwalk, UART/JTAG/SPI extraction, ARM/MIPS, RTOS), kernel drivers (Linux .ko, eBPF, Windows .sys), automotive CAN bus
platforms-hardware.md - Hardware and advanced architecture RE: HD44780 LCD controller GPIO reconstruction, RISC-V advanced (custom extensions, privileged modes, debugging), ARM64/AArch64 reversing and exploitation (calling convention, ROP gadgets, qemu-aarch64-static emulation)
field-notes.md - Quick reference notes: binary types, anti-debugging bypass, specialized patterns, CTF case notes

tools.md - 静态分析工具（GDB、Ghidra、radare2、IDA、Binary Ninja、dogbolt.org、基于Capstone的RISC-V分析、Unicorn仿真、Python字节码、WASM、Android APK、.NET、打包二进制文件）
tools-dynamic.md（包含针对movfuscated二进制文件的Intel Pin指令计数侧信道、仅操作码的跟踪重建、用于逐字节暴力破解的LD_PRELOAD memcmp侧信道）- 动态分析工具：Frida（挂钩、反调试绕过、内存扫描、Android/iOS）、angr符号执行（路径探索、约束、CFG）、lldb（macOS/LLVM调试器）、x64dbg（Windows）、Qiling（带系统支持的跨平台仿真）、Triton（动态符号执行）
tools-advanced.md - 高级工具：VMProtect/Themida分析、二进制对比（BinDiff、Diaphora）、反混淆框架（D-810、GOOMBA、Miasm）、Rizin/Cutter、RetDec、自定义VM字节码提升至LLVM IR、高级GDB（Python脚本、条件断点、监视点、基于rr的逆向调试、pwndbg/GEF）、高级Ghidra脚本、补丁（Binary Ninja API、LIEF）
anti-analysis.md - 全面的反分析技术：Linux反调试（ptrace、/proc、计时、信号、直接系统调用）、Windows反调试（PEB、NtQueryInformationProcess、堆标志、TLS回调、硬/软件断点检测、基于异常的检测、线程隐藏）、反VM/沙箱（CPUID、MAC、计时、痕迹、资源）、反DBI（Frida检测/绕过）、代码完整性/自哈希、反汇编（不透明谓词、垃圾字节）、MBA识别/简化、通过strace计数实现的SIGFPE信号处理程序侧信道、通过栈帧操作实现的无调用函数链、绕过策略
patterns.md - 基础二进制模式：自定义VM、反调试、纳米陷阱、自修改代码、XOR密码、混合模式加载器、LLVM混淆、S盒/密钥流、SECCOMP/BPF、异常处理程序、内存转储、逐字节转换、x86-64陷阱、基于信号的探索、恶意软件反分析、多阶段shellcode、计时侧信道、带诱饵+信号处理程序MBA的多线程反调试、INT3补丁+核心转储暴力破解预言机、信号处理程序链+LD_PRELOAD预言机
patterns-ctf.md - 竞赛特定模式（第一部分）：隐藏的仿真器操作码、LD_PRELOAD密钥提取、SPN静态提取、图像XOR平滑度、逐字节密码、数学收敛位图、Windows PE XOR位图OCR、两阶段RC4+VM加载器、内核模块迷宫求解、多线程VM通道、通过字符串对比检测后门共享库、带RC4扁平二进制文件的自定义binfmt内核模块、哈希解析导入/无导入勒索软件、用于反分析的ELF节头损坏
patterns-ctf-2.md - 竞赛特定模式（第二部分）：多层自解密暴力破解、嵌入式ZIP+XOR许可证、栈字符串反混淆、前缀哈希暴力破解、用于整数验证的CVP/LLL格、决策树函数混淆、GF(2^8)高斯消元、ROP链混淆分析（ROPfuscation）
patterns-ctf-3.md - 竞赛特定模式（第三部分）：Z3单行Python电路、滑动窗口popcount、通过ioctl实现的键盘LED摩尔斯电码、C++析构函数隐藏验证、系统调用副作用内存损坏、MFC对话框事件处理程序、VM顺序密钥链暴力破解、Burrows-Wheeler变换反转、OpenType字体连字利用、带自修改代码的GLSL着色器VM、作为密码状态的指令计数器、通过objdump实现批量crackme自动化、fork+pipe+死分支反分析、通过sigmoid层反转实现TensorFlow DNN反转、通过内核JIT转x64汇编实现BPF过滤器分析
languages.md - 特定语言：Python字节码&操作码重映射、特定Python版本字节码、Pyarmor静态解包、DOS存根、HarmonyOS HAP/ABC、Brainfuck/esolangs（+BF逐字符静态分析、BF侧信道读取计数预言机、BF比较习语检测）、UEFI、转译为C、代码覆盖率侧信道、OPAL函数逆向、非双射替换、FRACTRAN程序反转
languages-platforms.md - 特定平台/框架：Rust serde_json schema恢复、Android JNI RegisterNatives混淆、通过/proc/self/maps实现Android DEX运行时字节码补丁、通过新项目绕过Android原生.so加载、Frida Firebase Cloud Functions绕过、Verilog/硬件RE、前缀逐前缀哈希反转、Ruby/Perl多语言约束满足、Electron ASAR提取+原生二进制分析、Node.js npm运行时自省
languages-compiled.md - Go二进制逆向（GoReSym、goroutines、内存布局、通道操作、embed.FS、用于C2枚举的Go二进制UUID补丁）、Rust二进制逆向（解混淆、Option/Result、Vec、panic字符串）、Swift二进制逆向（解混淆、协议见证表）、Kotlin/JVM（协程状态机）、用于递归结构分析的Haskell GHC CMM中间语言、C++（vtable重建、RTTI、STL模式）
platforms.md - 特定平台RE：macOS/iOS（Mach-O、代码签名、Objective-C运行时、Swift、dyld、越狱绕过）、嵌入式/IoT固件（binwalk、UART/JTAG/SPI提取、ARM/MIPS、RTOS）、内核驱动（Linux .ko、eBPF、Windows .sys）、汽车CAN总线
platforms-hardware.md - 硬件与高级架构RE：HD44780 LCD控制器GPIO重建、高级RISC-V（自定义扩展、特权模式、调试）、ARM64/AArch64逆向与利用（调用约定、ROP gadgets、qemu-aarch64-static仿真）
field-notes.md - 快速参考笔记：二进制类型、反调试绕过、特殊模式、CTF案例笔记

When to Pivot

何时切换方向（When to Pivot）

If you already understand the binary and now need heap, ROP, or kernel exploitation, switch to
```
/ctf-pwn
```
.
If the challenge is really about recovering deleted files, PCAP data, or disk artifacts, switch to
```
/ctf-forensics
```
.
If the target is a web app and you are only reversing a small client-side helper script, switch to
```
/ctf-web
```
.
If the binary implements a machine learning model and the challenge is about model attacks or adversarial inputs, switch to
```
/ctf-ai-ml
```
.
If the reversed binary's core logic is a cryptographic algorithm or math problem, switch to
```
/ctf-crypto
```
.
If the binary is a real malware sample with C2, packing, or evasion behavior, switch to
```
/ctf-malware
```
.
If the challenge is a toy VM, encoding puzzle, or pyjail rather than a real binary, switch to
```
/ctf-misc
```
.

如果你已理解二进制文件，现在需要堆、ROP或内核利用，请切换到
```
/ctf-pwn
```
。
如果挑战核心是恢复删除文件、PCAP数据或磁盘痕迹，请切换到
```
/ctf-forensics
```
。
如果目标是Web应用，你仅需逆向一个小型客户端辅助脚本，请切换到
```
/ctf-web
```
。
如果二进制文件实现了机器学习模型，挑战核心是模型攻击或对抗输入，请切换到
```
/ctf-ai-ml
```
。
如果逆向二进制文件的核心逻辑是密码学算法或数学问题，请切换到
```
/ctf-crypto
```
。
如果二进制文件是带有C2、打包或规避行为的真实恶意软件样本，请切换到
```
/ctf-malware
```
。
如果挑战是玩具VM、编码谜题或pyjail而非真实二进制文件，请切换到
```
/ctf-misc
```
。

Problem-Solving Workflow

问题解决工作流（Problem-Solving Workflow）

Start with strings extraction - many easy challenges have plaintext flags
Try ltrace/strace - dynamic analysis often reveals flags without reversing
Try Frida hooking - hook strcmp/memcmp to capture expected values without reversing
Try angr - symbolic execution solves many flag-checkers automatically
Try Qiling - emulate foreign-arch binaries or bypass heavy anti-debug without artifacts
Map control flow before modifying execution
Automate manual processes via scripting (r2pipe, Frida, angr, Python)
Validate assumptions by comparing decompiler outputs (dogbolt.org for side-by-side)

从提取字符串开始 - 许多简单挑战包含明文flag
尝试ltrace/strace - 动态分析通常无需逆向即可获取flag
尝试Frida挂钩 - 挂钩strcmp/memcmp以捕获预期值，无需逆向
尝试angr - 符号执行可自动解决许多flag检查器
尝试Qiling - 仿真异架构二进制文件或绕过重度反调试，无痕迹
先映射控制流再修改执行逻辑
通过脚本自动化手动流程（r2pipe、Frida、angr、Python）
验证假设 - 对比反编译器输出（使用dogbolt.org进行并排对比）

Quick Wins (Try First!)

快速见效技巧（先试试这些！）

bash

undefined

bash

undefined

Plaintext flag extraction

明文flag提取

strings binary | grep -E "flag{|CTF{|pico" strings binary | grep -iE "flag|secret|password" rabin2 -z binary | grep -i "flag"

Dynamic analysis - often captures flag directly

动态分析 - 通常可直接捕获flag

ltrace ./binary strace -f -s 500 ./binary

Hex dump search

十六进制转储搜索

xxd binary | grep -i flag

Run with test inputs

使用测试输入运行

./binary AAAA echo "test" | ./binary

undefined

./binary AAAA echo "test" | ./binary

undefined

Initial Analysis

初始分析（Initial Analysis）

bash

file binary           # Type, architecture
checksec --file=binary # Security features (for pwn)
chmod +x binary       # Make executable

bash

file binary           # 类型、架构
checksec --file=binary # 安全特性（用于pwn）
chmod +x binary       # 设置为可执行

Memory Dumping Strategy

内存转储策略（Memory Dumping Strategy）

Key insight: Let the program compute the answer, then dump it. Break at final comparison (

b *main+OFFSET

), enter any input of correct length, then

x/s $rsi

to dump computed flag.

核心思路： 让程序计算出答案，然后转储它。在最终比较处设置断点（

b *main+OFFSET

），输入任意正确长度的内容，然后使用

x/s $rsi

转储计算出的flag。

Decoy Flag Detection

诱饵Flag检测（Decoy Flag Detection）

Pattern: Multiple fake targets before real check. Look for multiple comparison targets in sequence with different success messages. Set breakpoint at FINAL comparison, not earlier ones.

模式： 在真实检查前有多个虚假目标。寻找带有不同成功消息的连续多个比较目标。在最终比较处设置断点，而非较早的比较。

GDB PIE Debugging

GDB PIE调试（GDB PIE Debugging）

PIE binaries randomize base address. Use relative breakpoints:

bash

gdb ./binary
start                    # Forces PIE base resolution
b *main+0xca            # Relative to main
run

PIE二进制文件会随机化基地址。使用相对断点：

bash

gdb ./binary
start                    # 强制解析PIE基地址
b *main+0xca            # 相对于main的偏移
run

Comparison Direction (Critical!)

比较方向（至关重要！）

Two patterns: (1)

transform(flag) == stored_target

— reverse the transform. (2)

transform(stored_target) == flag

— flag IS the transformed data, just apply transform to stored target.

两种模式：(1)

transform(flag) == stored_target

— 反转转换逻辑。(2)

transform(stored_target) == flag

— flag就是转换后的数据，只需对存储的目标应用转换即可。

Common Encryption Patterns

常见加密模式（Common Encryption Patterns）

XOR with single byte - try all 256 values
XOR with known plaintext (
```
flag{
```
,
```
CTF{
```
)
RC4 with hardcoded key
Custom permutation + XOR
XOR with position index (
```
^ i
```
or
```
^ (i & 0xff)
```
) layered with a repeating key

单字节XOR - 尝试所有256个值
已知明文XOR（
```
flag{
```
、
```
CTF{
```
）
硬编码密钥的RC4
自定义置换+XOR
与位置索引异或（
```
^ i
```
或
```
^ (i & 0xff)
```
）叠加重复密钥

Quick Tool Reference

快速工具参考（Quick Tool Reference）

bash

undefined

bash

undefined

Radare2

r2 -d ./binary # Debug mode aaa # Analyze afl # List functions pdf @ main # Disassemble main

r2 -d ./binary # 调试模式 aaa # 分析 afl # 列出函数 pdf @ main # 反汇编main函数

Ghidra (headless)

Ghidra（无头模式）

analyzeHeadless project/ tmp -import binary -postScript script.py

IDA

ida64 binary # Open in IDA64

undefined

ida64 binary # 在IDA64中打开

undefined

Deep-Dive Notes

深入分析笔记（Deep-Dive Notes）

Use field-notes.md after the first round of triage when you know what kind of target you have.

Target formats: Python bytecode, WASM, Android, Flutter, .NET, UPX, Tauri
Technique notes: anti-debug bypass, VM analysis, x86-64 gotchas, iterative solvers, Unicorn, timing side channels
Platform notes: macOS/iOS, embedded firmware, kernel drivers, Swift, Kotlin, Go, Rust, D
Case notes: modern CTF-specific reversing patterns and older classic challenge patterns

当你知道目标类型后，在第一轮分诊后使用field-notes.md。

目标格式：Python字节码、WASM、Android、Flutter、.NET、UPX、Tauri
技术笔记：反调试绕过、VM分析、x86-64陷阱、迭代求解器、Unicorn、计时侧信道
平台笔记：macOS/iOS、嵌入式固件、内核驱动、Swift、Kotlin、Go、Rust、D
案例笔记：现代CTF特定逆向模式和旧版经典挑战模式

路由上下文

上游入口:

skills/SKILL.md

（总控）、

routing.md

下游出口:

需要 IDA 反编译 →
```
ida-reverse/
```
需要 radare2 CLI 分析 →
```
radare2/
```
需要 APK 层分析 →
```
apk-reverse/
```
需要 Frida/angr 动态执行 →
```
tools-dynamic.md
```
需要绕过反调试 →
```
anti-analysis.md
```
遇到特定语言（Go/Rust/Python/WASM）→
```
languages*.md
```
遇到 CTF 模式 →
```
patterns*.md
```

同级关联模块:

apk-reverse/

（APK 定位到 .so 时可切回本模块的 Frida/radare2 分支）

上游入口:

skills/SKILL.md

（总控）、

routing.md

下游出口:

需要IDA反编译 →
```
ida-reverse/
```
需要radare2 CLI分析 →
```
radare2/
```
需要APK层分析 →
```
apk-reverse/
```
需要Frida/angr动态执行 →
```
tools-dynamic.md
```
需要绕过反调试 →
```
anti-analysis.md
```
遇到特定语言（Go/Rust/Python/WASM）→
```
languages*.md
```
遇到CTF模式 →
```
patterns*.md
```

同级关联模块:

apk-reverse/

（APK定位到.so时可切回本模块的Frida/radare2分支）

任务完成自检（声称完成前 MUST 通过）

任务完成自检（声称完成前必须通过）

我是否执行了工作流中的每一步（而不是只阅读）？
我是否基于
```
tool-index
```
使用了真实工具路径？
我是否产出了可复现证据（命令/脚本/截图/报告）？
我是否完成并回写了 RULES 要求的 Checklist 项？

我是否执行了工作流中的每一步（而不是只阅读）？
我是否基于
```
tool-index
```
使用了真实工具路径？
我是否产出了可复现证据（命令/脚本/截图/报告）？
我是否完成并回写了RULES要求的Checklist项？