ARTICLE · 软件编程
REA：让智能体调用逆向工具，交付可追溯的分析
一语总结REA 将逆向工具、调查流程和证据记录连接起来，使智能体的分析过程更容易调用、复核与复用。
腾讯技术工程作者 stevenzuo 拆解 REA 如何通过 MCP 桥接 Hopper、Ghidra、IDA 等现有工具，把搜索字符串、追踪引用、查看调用关系和反编译组织成调查流程。分析结果携带地址、伪代码和局限说明，工作流技能帮助复用经验。文章列举多个社区案例，也指出混淆、反调试和内核分析的限制；其中射击游戏还原案例使用的是另一套 MCP 工具。
- 工具不可调用
传统逆向工具（如 IDA、Ghidra）是独立的 GUI 应用程序，缺乏统一的编程接口，导致 AI Agent 无法直接调用它们进行自动化分析。REA 通过实现一个 MCP 服务器，将这些工具封装成标准化的 API，从而使 Agent 能够通过单一接口访问多种反编译引擎。
- 过程不可追溯
在传统逆向中，分析过程往往是隐式的，缺乏明确的记录和证据链。REA 引入了“结果契约”的概念，要求所有分析结果都必须附带详细的证据（如函数地址、调用图、伪代码），这使得整个逆向过程可被审计和复现。
- 经验不可复用
逆向工程师的经验通常是隐性的，难以传递给他人或自动化系统。REA 通过将常见的逆向工作流程（如搜索字符串、追踪 XRef）固化为可执行的“工作流指令”，使得这些专家经验可以被重复使用，并作为资产注入到新的分析任务中。
REA：让智能体调用逆向工具，交付可追溯的分析
腾讯技术工程作者 stevenzuo 拆解 REA 如何通过 MCP 桥接 Hopper、Ghidra、IDA 等现有工具，把搜索字符串、追踪引用、查看调用关系和反编译组织成调查流程。分析结果携带地址、伪代码和局限说明，工作流技能帮助复用经验。文章列举多个社区案例，也指出混淆、反调试和内核分析的限制；其中射击游戏还原案例使用的是另一套 MCP 工具。
REA 的思路并非另造反编译器，而是把已有专业工具接成智能体可调用的接口，再把调查步骤与结果证据组织起来。stevenzuo 的拆解说明，搜索、交叉引用和反编译只有接进可追溯的工作流，才更容易被复核和复用。对维护旧系统、研究兼容性或分析软件的人，这提供了一种连接专家工具与智能体的方法。文章中的社区效果仍需逐例看待，不能把一条安装命令等同于掌握专业经验，也不能将其他 MCP 项目的成绩算到 REA 名下。
文章金句
"逆向工程的本质，不是'会用工具'，而是'能调用工具并拿到带证据的结论'。
"桥接即扩展——Bridge as Extensibility。加一个引擎，加的是桥接实现，不是改上层接口。
"证据即可信——Evidence as Trust。逆向的产出不是答案，是一条能回放的证据链。
"提问即编排——Prompt as Orchestration。逆向的调查流程被固化进工作流指令，工程师只负责提问和核实。