用 REA 把编码智能体接上 Ghidra：无源码逆向分析二进制、APK 与 Electron 应用实操

# 前置：Node.js 22.19+（或 24.11+ / 26+）与 npm
npx rea-agents setup

这是官方主推的接入方式。命令会交互式地列出它探测到的智能体（支持 Claude Code、Codex、Cursor、Gemini CLI 等），你勾选要接入的、复核它提出的配置改动并批准。Setup 会做三件事：写入 REA 的 MCP Server 配置、安装配套的工作流指令（让智能体知道怎么组织一次逆向调查）、并对已有配置做备份。完成后重启你的智能体。

{
  "mcpServers": {
    "rea": {
      "command": "npx",
      "args": ["-y", "rea-agents@latest", "mcp"]
    }
  }
}

REA 能分析的对象远不止原生二进制。动手前先对一遍官方目标矩阵，确认你的场景需要哪个引擎、哪个平台：

# 官方目标矩阵（节选，详见 README「What you can analyze」表）
# 原生二进制（Mach-O/ELF/PE） : 伪代码/汇编/符号/调用关系  -> 需 Hopper 或 Ghidra 或 IDA
# JavaScript / Electron 应用   : 模块/导入/source map/路由/IPC -> 仅需 Node.js 与 npm（免引擎）
# .NET 程序集                  : 元数据/CIL 指令/原生依赖    -> 静态检查，免引擎
# Android APK                  : Manifest/类/反编译方法      -> 无头 JADX + 完整 JDK（Linux/macOS）
# 固件                         : 分区/提取结果               -> Binwalk / Unblob（Linux）
# 网站                         : 页面结构/脚本/网络观察       -> Chrome 系浏览器
# 离线 ELF 布局/录制的崩溃      : 段/符号/寄存器              -> 调用方自备 pwntools

两条高频结论提前说：如果你只是想拆 Electron 应用的前端逻辑（模块图、路由、IPC 通道、构建间差异），什么都不用装，Node 环境就够；如果你想拆原生二进制，才需要装分析引擎。

# Ghidra 路线（免费开源）：先装 JDK 21+，再装 Ghidra
# 以 Linux 为例（macOS/Windows 从官网下载发行包解压即可）
sudo apt install openjdk-21-jdk
# 然后从 ghidra-sre.org 下载发行包解压到任意目录，
# REA 通过环境变量或配置定位你的 Ghidra 安装

# Hopper 路线：运行 setup 时按提示批准，REA 可代为安装
npx rea-agents setup

三个引擎怎么选：Ghidra 免费开源、覆盖格式最全，是大多数人的默认选择；Hopper 是付费的 macOS/Linux 工具，在大体积二进制上明显更快，setup 可以在你批准后代为安装；IDA Pro 有现成安装的可以用 REA 的只读适配器接入。Hopper 由 REA 拉起时，macOS 上头一回运行可能弹出选择演示模式或激活许可的对话框，按提示处理一次即可。

重启智能体后，用官方 README 给的指令公式描述任务——说清目标应用、想理解的功能、要证据、以及是否要复刻：

Understand how search works in the Notes app, show me the evidence,
and build a similar feature for my project.

# 把 Notes 换成你的目标应用，把 search 换成你想理解的功能

智能体会自动组织调查：调用 REA 工具检查目标、顺着相关代码追（原生目标追伪代码与汇编，Electron 目标追模块与 IPC 边界），每一步都带回证据。官方展示了三个完整案例可以对照学习：DX-Ball 案例 reconstruct 出声音声像计算，重建代码通过了 3205 个原始 x86 用例并逐字节复现了 63 个编译后函数；Notion 案例从渲染进程的剪贴板 API 一路追过 preload 与 IPC 到主进程；TH04 案例从 16 位指令里恢复了 DOS 游戏的子弹环计算。

# 全局安装 rea 命令，日常使用更顺手
npm install --global rea-agents
rea --help

# 例：静态分析一个解包后的 Electron 应用目录或 ASAR，输出 JSON
npx -y rea-agents@latest analyze-javascript-application /absolute/path/to/app --json

# Windows 路径写法（官方示例）
npx -y rea-agents@latest analyze-javascript-application "D:/apps/example" --json

CLI 命令与 MCP 工具调用的是同一套工作流，返回结构一致：模块、导入、Electron 边界与各自的证据。把命令塞进脚本或 CI 里做版本间 diff（比如对比两个构建的模块与路由变化）是常见用法。原生分析的命令、引擎选择、快照与导入导出，见官方「CLI and Evidence」指南。

# npm 全局安装的 CLI 更新
rea update

# 用 npx 的：刷新智能体注册与技能
npx rea-agents@latest setup

# 一次性命令直接带版本号
npx rea-agents@latest <command>

更新 CLI 之后，要按 update 命令输出的提示重新跑一遍 setup 刷新智能体注册与工作流指令，然后重启智能体。遇到 bug 的官方建议顺序也是：先更新、重试、再开 issue（附 REA 版本、目标类型、复现步骤与错误输出）。项目处于发版冲刺期，两天内连出 4.0.0、4.0.1、4.1.0 多个版本，动手前对一眼 npm 上的当前版本号。