AI 逆向工程与代码理解实战 · 第 09 章 反编译专用模型与命名恢复

AI 逆向工程与代码理解实战 · 第 09 章 反编译专用模型与命名恢复

章节摘要：第 08 章的闭环有一个没说破的前提：模型读得懂伪代码。本章把这个前提翻出来夯实，并解决逆向最日常的痛点——名字。9.1 节对比通用与专用两条路线：通用大模型读 Ghidra 伪代码的解释力已经不错，学术脉络可溯至 DeGPT（NDSS 2024）；专用路线以 LLM4Decompile 为代表——首个反编译专用开源大模型系列（1.3B 到 33B，EMNLP 2024，MIT 许可证，约 7.1k stars），提供 End 直接反编译与 Ref 精修 Ghidra 输出两种模式，官方宣称可执行率超过 GPT-4o 与 Ghidra 百分点以上（官方口径）。9.2 节落地命名恢复：LLM 依据调用、字符串、被调关系等上下文为 stripped 函数建议名字，binsync 用 git 让人与 AI 的重命名成果在 Ghidra、IDA、Binary Ninja 之间共享，可审计、可回滚。读完本章，你的分析对象从「匿名指令堆」变成「有名字的代码」，后续一切分析都因此提速。

学习目标

• 说明通用大模型在伪代码理解上的真实定位与局限。
• 讲清 LLM4Decompile 家族、End 与 Ref 两模式及官方口径的可执行率。
• 梳理 DeGPT 到 LLM4Decompile 的学术脉络。
• 用结构化提示词让 LLM 为 stripped 函数建议命名。
• 用 binsync 组织团队级命名协作并说明其可审计性。
• 遵守「命名是假设、验证后转正」的纪律。

核心概念速览

# ch09_pipeline.txt —— 命名恢复流水线：从命名荒漠到团队资产

  stripped 二进制
       │ 反编译（第 01 章）
       ▼
  伪代码（FUN_ 与 sub_ 的荒漠）
       │ LLM 读上下文：调用、字符串、被调关系
       ▼
  命名建议（结构化 JSON，仍是假设）
       │ 行为验证（第 08 章闭环）→ 人工确认
       ▼
  binsync 提交（git 底座：跨反编译器共享、可审计、可回滚）
       │
       ▼
  团队命名资产 → 反哺检索与后续分析
​

一句话金句：在逆向里，一个好名字不是注释，是索引——它让后面所有分析都少走弯路。

（文字流程图）stripped ──▶ 伪代码 ──▶ AI 命名建议 ──▶ 验证转正 ──▶ binsync 共享。

子章节导航

• 第 9.1 节《专用模型与通用模型》：通用模型的真实水位、LLM4Decompile 家族与两种模式、可执行率官方口径、DeGPT 脉络、选型建议。
• 第 9.2 节《命名恢复与人机协作》：命名荒漠问题、LLM 命名提示词骨架、binsync 协作流、命名即索引的复利。

两节是「理解」与「改造」的关系：9.1 让伪代码更可读（模型侧），9.2 让分析成果落回工具链（人与流程侧），合起来才完成知识沉淀。

子章节之间的逻辑关系

# ch09_logic.txt —— 两节关系：模型侧提升可读性，流程侧沉淀资产

┌────────────────┐   更可读的伪代码    ┌────────────────┐
│ 9.1 专用模型    │ ────────────────▶ │ 9.2 命名恢复    │
│ End/Ref 提升    │                   │ 建议转正与共享  │
│ 可读性与可执行性│                   │ binsync 落资产  │
└────────────────┘                   └────────────────┘
        │ 模型读得准                         │ 名字回写工具链
        └──────────── 第 08 章闭环整体提速 ─────────────┘
​

前置知识与后续延伸

• 前置：第 01 章《Ghidra地基》的反编译与重命名操作；第 03 章《GhidraMCP实战》的工具化思路；第 08 章的行为验证闭环（命名转正的裁判）。
• 延伸阅读：LLM4Decompile 官方仓库与论文（EMNLP 2024）、DeGPT 论文（NDSS 2024）、binsync 官方文档；模型能力与版本以官方来源为准。
• 后续：第 10 章把命名恢复后的可读代码交给 AI 漏洞挖掘方法论；第 11.3 节把「人机协作命名」写进团队 SOP。

合规声明：本节内容仅用于授权范围内的安全研究与教育目的；未经授权对他人软件进行逆向工程可能违反法律与许可协议。