ctf-reverse

用途

该技能面向 CTF 逆向工程场景。当挑战提供未知二进制文件需要分析算法逻辑、游戏客户端需要破解验证、混淆代码需要还原、自定义 VM 需要解释执行时使用。覆盖 Ghidra/IDA 静态分析、GDB/Frida 动态调试、反调试绕过，以及 WASM、.NET、APK、Python 字节码、Go、Rust 多平台逆向。

主要能力与参考结构

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

静态分析工具（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）。
常见模式：逐字符校验 → 逐字节爆破/约束求解；矩阵变换 → numpy/Z3 逆运算；自定义 VM → 提取 opcode 表 → 反汇编；迷宫 → BFS/DFS 自动求解。
反调试处理：ptrace → LD_PRELOAD hook；/proc/self/status → 修改返回值；时间检测 → 跳过或 patch。

快速启动命令示例：

# 基础分析
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))
"

常见反调试绕过对应关系：ptrace(PTRACE_TRACEME) → LD_PRELOAD hook 返回 0；/proc/self/status → 修改 TracerPid；时间检测 → patch 掉 rdtsc/clock；IsDebuggerPresent (Win) → PEB.BeingDebugged = 0。

工具速查：Ghidra（免费反编译器，支持多架构）、GDB + pwndbg（Linux 动态调试）、Frida（运行时 hook，跨平台）、angr（符号执行引擎）、dogbolt.org（在线多反编译器对比）。

适用场景

CTF 逆向题分析、游戏客户端验证破解、混淆代码还原、自定义 VM 解释执行、多平台（WASM/.NET/APK/Python 字节码/Go/Rust）逆向、反调试与反分析对抗、仿真与侧信道分析、硬件与特殊架构逆向。

限制

资料未提供该技能的收费标准、许可协议、安装方式及具体版本信息，暂未提供。

技能介绍

用途

主要能力与参考结构

使用方式

适用场景

限制