用 REA 完成第一次分析

开始之前

你需要先在 agent 中配置好 REA（见安装指南），再准备一个你有权检查的目标：你自己的应用、开源项目、CTF 题目，或者专门用来练习的目标。下面的命令都取自 REA 项目公开的 README、CLI 指南和 agent 提示词文档；如有变化，请以原文为准。

从 JavaScript 或 Electron 应用入手

静态 JavaScript 分析不需要原生分析引擎，是拿到第一份结果最快的路径。把 REA 指向一个已解包的应用目录或 ASAR 文件：

npx -y rea-agents@latest analyze-javascript-application /absolute/path/to/app --json

结果会列出模块、导入关系、Electron 边界，以及每一项的证据。路径要用绝对路径，在 Windows 上形如 "D:/apps/example"。静态检查只读取文件，不会运行应用。

向 agent 提问

在 agent 里说清楚目标、功能，以及你想得到什么。README 中的示例：

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

agent 会通过 MCP 调用 REA，追踪相关代码，拿到附带证据的发现。第一个问题最好问得窄一些：一个功能、一个目标、要求给出证据。也可以让 agent 把观察到的、推断出的和仍然未知的内容分开说明。

引导式调查

REA 还通过 MCP prompts 提供六种调查流程。支持 MCP prompts 的客户端会按名称列出它们：

Prompt	用途
investigate_feature	从发现入口一路追踪某个功能到相关函数
compare_application_versions	比较两个已发布的版本
verify_reconstruction	对照保留的证据检查重建结果
trace_crash	把崩溃症状关联到代码路径
audit_residual_unknowns	梳理仍然未知的部分
prepare_bounded_process_capture	在运行任何东西之前，先规划受控的运行时实验

原生二进制文件

原生分析使用 Hopper、Ghidra 或 IDA。先确认其中一个已就绪，列出 REA 能识别的分析引擎，当多个引擎都支持目标时再指定一个：

rea doctor --provider ghidra --json
rea providers --json
rea analyze /absolute/path/to/program --provider hopper

rea doctor 只读取你的配置，不做任何改动。你也可以设置 REA_ANALYSIS_PROVIDER 作为默认偏好。原生分析的结果包括伪代码、汇编、字符串、符号、调用和引用。

像审稿人一样看结果

项目的免责声明说得很直接：反编译、重建和 AI 辅助分析的结果可能不完整，也可能有错。依赖某个结论之前，先核对背后的证据；另外要记住，分析报告或类似源代码的输出，并不会让你获得原程序的任何权利。运行时流程会以你的用户权限运行目标或与之交互，所以不受信任的目标请放在合适的环境中试。详见安全与合法使用。

分享你的发现

用 REA 做了有意思的事？欢迎提交案例到本站，并附上原始来源链接。REA 项目也欢迎在它的 issues 中分享案例。