AI 逆向工程与代码理解实战 · 第 00 章 导览

AI 逆向工程与代码理解实战 · 第 00 章 导览

章节摘要：本章回答两个进门问题：AI 在逆向工程这张桌子旁到底坐在哪，以及这本书怎么读。0.1 节先还原逆向工程师的真实工作流——静态阅读、动态调试与命名直觉三件事——再对照大模型的长短板：读伪代码、起名、找模式是它的强项，幻觉与进制偏移错误是它的硬伤；EnIGMA（ICML 2025，arXiv:2409.16165）的实验说明，把 GDB 与反编译器这类交互式工具交给语言模型智能体后，解题能力大幅提升，这奠定了全书「AI 提假设、人与工具做验证」的立场。0.2 节给出全书四篇地图、三条阅读路径与可勾选的环境清单（Ghidra 12.1.4、radare2、Python 3.12、隔离环境），并划清与《语义代码检索》的分工：那边讲有源码的检索，这边讲只有二进制的理解。

学习目标

• 说出逆向工程师工作流的三个组成部分及各自的产出。
• 对照表格说出大模型在逆向中擅长与不擅长的各三件事。
• 复述 EnIGMA 的核心结论及其对本书方法论的意义。
• 记住全书立场：AI 提假设，人与工具做验证。
• 选定一条适合自己的阅读路径并完成环境自检。
• 说清本书与《语义代码检索》的分工边界。

核心概念速览

老手艺 + 新助手的分工

  ┌─────────────── 逆向工程师 ───────────────┐
  │   静态阅读        动态调试        命名直觉  │
  └───────┬───────────────┬────────────┬─────┘
          │ 反汇编/伪代码  │ 断点/轨迹   │ 语义猜测
          ▼               ▼            ▼
  ┌─────────────── 大模型助手 ──────────────┐
  │  擅长：读伪代码  起名  找模式  写脚本     │
  │  硬伤：幻觉  进制/偏移算错  上下文有限    │
  └───────────────────┬────────────────────┘
                      │ 产出：假设清单
                      ▼
  ┌──────────── 验证工具（人执掌） ──────────┐
  │  反汇编器  交叉引用  调试器  符号执行     │
  └─────────────────────────────────────────┘
​

一句话金句：模型负责把「可能是」变成一张假设清单，工程师负责把清单变成「确实是」。

子章节导航

• 第 0.1 节《逆向的老手艺与AI的新位置》：工作流还原、大模型长短板对照、EnIGMA 论据、全书立场。
• 第 0.2 节《全书地图与环境准备》：四篇地图、三条阅读路径、环境清单与隔离提醒、与《语义代码检索》的分工。

两节按序读：0.1 给你立场，0.2 给你路线与环境。之后各章支柱页可以直接当地图翻。

子章节之间的逻辑关系

┌──────────────────────┐   立场：AI提假设   ┌──────────────────────┐
│ 0.1 老手艺与AI的新位置 │ ───────────────▶ │ 0.2 全书地图与环境准备 │
│ 静态 / 动态 / 直觉     │   路线：怎么读    │ 路径 / 环境 / 分工边界 │
└──────────────────────┘                   └──────────┬───────────┘
                                                      │ 产出：环境就绪
                                                      ▼
                                     第 01 章 Ghidra地基（从安装开始）
​

前置知识与后续延伸

• 前置：会用命令行，Python 能读会改；不需要任何逆向经验。
• 延伸阅读：《语义代码检索》第 1 章《为什么 grep 不够》——有源码时符号检索怎么做，与本书互为镜像；EnIGMA 论文（arXiv:2409.16165）可作立论细读。
• 后续：第 01 章《Ghidra地基》——把第一个自己编译的程序导入 Ghidra，开始动手。

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