ghidra-skill-for-dsh

简体中文 | English | 日本語

面向 dsh（DeepSeek Harness）的逆向工程 agent skill 家族：Ghidra 12.x headless 常驻 daemon（~0.2s/命令，无 Jython/GUI/MCP 依赖）+ 八场景方法论。覆盖 CTF 逆向、crackme、恶意样本分诊、漏洞预筛、二进制利用（pwn）、pcap 取证、APK 分析。

Reverse-engineering agent skills for dsh: a Ghidra headless RPC daemon (vendored ghidra-rpc + dsh patches) plus eight scenario skills — triage / unpack / static / vuln-audit / dynamic / pwn / traffic / android-re — for CTF reverse engineering, unpacking, malware triage, binary exploitation, pcap forensics and APK analysis.

实测性能

全部结果为真实 CTF 题独立求解（不参考旧台账/WP），经原程序正负对照验证、session 逐行审计确认。

同题三轮回放（Reverse-chal，2026-09-30）——每次失败都归因落地为机械修复，直到解出：

1. 4ccec36c 骨架弃用投降（121 min 无 flag）→ 落地四处修复：骨架使用闸 / 否定论断强制落账 / stop_check 带路径投降闸 / cone_invert.py 锥形反推
2. 29bf99c0 谎称「上下文将尽」投降（19 min 无 flag，实测 1M 窗口占用不足三成）→ 再落三处修复：矛盾分类判词 / --diff-symbolize 输入字面量自动符号化 / 未收敛投降闸
3. ddf11a87 30 min 解出，两道机械闸门按设计拦截

持续硬化指标（多轮真题复盘 + 第三方对抗审计，happyVm / DEFCON26 quals 等）：

• 伪码 fatal 误判基线 6.0% → 2.8%（尾调用甄别）
• 跳转表 / 栈帧 / 常量三类「手读 asm」高危动作全部脚本化
• 台账从 observe/conclude 扩展为 observe / conclude / anomaly / hypothesis / plan / stuck 六种对象——假设与枚举预算不再只活在聊天里

结构（1 底座 + 8 场景）

边界规则：执行代码在 core，场景 skill 只有方法论；知识存 references/ 可 grep 的纯数据文件，路由靠触发点指针，不建"知识库 skill"。

安装

0. 作为 dsh Skill 市场安装：市场源填仓库地址 + git 引用 v0.9-market（收录版，不含尚在实测的 pwn-exploit；见 Release 页）；手动安装走下面：
1. 九个目录拷到 ~/.dsh/skills/（pwn-exploit / traffic-analysis / android-re 独立可选；pwn-exploit 的 exp 执行依赖 WSL 工具链，见 TOOLCHAIN.md）
2. 建引擎 venv（Python ≥ 3.11）并 editable 安装引擎：

   python3.12 -m venv ~/ghidra-rpc-venv
   ~/ghidra-rpc-venv/Scripts/python.exe -m pip install -e ~/.dsh/skills/ghidra-core/engine/ghidra-rpc

3. 工具层见 TOOLCHAIN.md（Tier A/B/C 分级清单；已装状态以 doctor.py toolchain 节为准）
4. 设 GHIDRA_INSTALL_DIR（Ghidra 12.x 安装目录）与 JAVA_HOME（JDK 21+）；可选 DSH_GHIDRA_WS 指定工作区
5. 自检：python ~/.dsh/skills/ghidra-core/scripts/doctor.py（全绿 exit 0）

Windows 注意：Ghidra 的 ProjectLocator 拒绝以 . 开头的路径元素，~/.dsh/... 不能直接传给 JVM——底座自动走 junction ~/dsh-ghidra-workspace。

用法（30 秒）

SK=~/.dsh/skills/ghidra-core/scripts

python "$SK/rpc_driver.py" ensure /path/to/binary          # daemon 起停 + 导入分析（幂等）
python "$SK/rpc_driver.py" triage /path/to/binary          # 一键分诊
python "$SK/rpc_driver.py" decompile /path/to/binary main  # 反编译
python "$SK/rpc_driver.py" rename-function /path/to/binary FUN_00401000 check_flag
python "$SK/rpc_driver.py" version-track old.exe new.exe --changed-only

@绝对路径 作首个参数 = 完整 JSON 落盘；写操作即刻生效并自动存盘。完整命令清单见 ghidra-core/SKILL.md。

设计要点

• 常驻 daemon：JVM 只起一次，温热后每条命令亚秒级；长任务（load / version-track）走后台 + @out 落盘
• 机械闸门，不靠自觉：14 条铁律的执行载体是脚本——ledger.py（同区回访强制 --delta、结论写入即锁定、resolve 缺证据 exit 2 的反向门、hypothesis/plan 落账、--kind model 结论强制 --anchor L2 左逆锚定实测、hypothesis 三态闭环 confirmed/killed/waived）、read_views.py（渲染文本 vs 真实字节对照）、crypto_sanity.py（求逆前后合法性检查），违规一律 exit 2
• 判定性实验优先：参数角色/因子参与度不靠调用约定猜——oracle_family.py 打桩隔离单因子（基线无输出自动抑制因果判词）、model_diff.py 模型对拍输出分歧指纹（宽度级 16/32 位半块规律 + 字节级 nibble 规律 ⇒ 接口错不是算法错；宽度级命中绝不落"疑似算法错"）
• 验证独立性：结论强制独立来源，无则标 ⚠UNVERIFIED——Google P0 Naptime 的 Perfect Verification 原则
• 能力边界：动态调试外包 Frida/GDB/Qiling/angr；协作式项目不做（ghidra-core/SKILL.md §8）

准则强制层（dsh-hooks/，可选）

catalog 只注入 skill 的 description，SKILL.md 正文和铁律不在上下文里——"AI 不遵守 skill 准则"多源于此。dsh-hooks/ 用 dsh 内置的 hooks-claude-code 桥把关键纪律变成机械门：

• SessionStart/SubagentStart：会话创建即注入压缩版纪律卡（10 条，不依赖 agent 自觉读 SKILL.md）
• PreToolUse（Pwsh|Bash）：gate_sample.py 对无台账样本的分析类直读（xxd/strings/objdump…）exit 2 阻断并给出流程指引（建台账后放行，pcap 修头等合法开局已豁免）；gate_explore.py 熔断 heredoc/cat 落盘式探索——angr 禁项（无帧槽位/仿真证据不许上符号执行）、Cython 前置、变体枚举熔断（直指 model_diff.py）、30min ≥25 次探索且零 stuck 强制落账；gate_longrun.py 长任务强制落盘
• PreToolUse（Pwsh|Bash|Write|Edit|Read）：gate_stuck.py 卡点自述熔断——会话日志近 45min 内自述卡住（强措辞 1 次/弱措辞 ≥2 条）而台账零 stuck → exit 2 强制落账（判例 b781ff3c：4 次自述零落账，两个半边事实 30min 未接线，38min 零 exploit）；每 episode 只拦一次，无活跃台账不执勤
• PreToolUse（Write）：gate_churn.py 拟合熔断——目录 24h ≥8 个 .py 且活跃台账零 stuck → 逼 stuck 落账或升级 z3/emulate；可重触发：一次台账接触换 8 个脚本额度，用尽重新熔断（判例 116cdc04：stuck 落账一次后旧版永久放行，之后又堆 20+ 脚本）
• Stop：stop_check.py 收尾核对（默认启用，会话归属判定）——本会话台账有 observe 无下文 / flag 结论缺 program_accept / 存在 open hypothesis → deny 强制核对

安装：dsh-hooks/ 拷到 ~/.dsh/hooks/，在 profile 的 cordis.patch.yml 插入 hooks-claude-code 挂载条目（完整 YAML 与排障回滚见 dsh-hooks/README.md）。改动需重启 dsh 服务 + 新开会话生效。

许可与致谢

本仓库代码以 MIT 发布。衍生自以下来源，感谢原作者：

• Cellebrite Labs ghidra-rpc（MIT，执行引擎）
• zhaoxuya520/reverse-skill（MIT，方法论）
• wgpsec/AboutSecurity ctf-reverse 知识库
• Und3rf10w/ai-ghidra-tools（ghidra_scripts 脚本集，现为 legacy 冻结层）
• mukul975/Anthropic-Cybersecurity-Skills（Apache-2.0，Go/Rust/crypto 识别/JS 反调试知识片段）
• ljagiello/ctf-skills（MIT：ctf-forensics → traffic-analysis 配方；ctf-pwn → pwn-exploit 知识配方库 18 篇 + pwntools 模板 5 件）
• yaklang/hack-skills traffic-analysis-pcap（MIT，决策树骨架）