用 REA 做逆向工程，一次讲透一个真实流程。

一条 npx rea-agents setup 安装 REA 并接入 Claude Code、Cursor、Codex，检查 providers 与 capabilities，完成第一次分析。

用免费 Ghidra 作 REA 后端分析自编译的 C 程序，按 analyze、search、decompile、xrefs、trace 演示 CLI 与 agent 用法。

用 REA 静态分析 Electron 应用：读取 app.asar、梳理模块与 import、利用 source map、追踪 preload 与 IPC，处理原生 addon。

用 REA 分析开源 Android APK：用 JADX 反编译类和方法，用 Apktool 解码资源，通过 ADB 拉取已安装的包，并识别 Flutter 的 Dart 快照。

自己写一道 crackme，再用 REA 配合编码 agent 定位校验逻辑、读出数据表、写求解脚本，并用 Evidence ID 和进程捕获验证 flag。

用 REA 连接浏览器截图、观测网络请求，离线读取 HAR 和 Fiddler SAZ 抓包，并在前端 bundle 里定位每个 API 调用的源代码位置。

不运行程序，用 REA 分析 .NET 程序集：识别 PE/CLI 产物、读取元数据和 CIL、跨版本对比成员，并说明 NativeAOT 为什么要走原生分析路线。

用 REA 的 Evidence 体系对比开源程序两个版本：快照保存分析、证据包校验与导出、compare 差异对比，并导入历史源码作参照。

用 REA 调用 Binwalk、Unblob 解包 OpenWrt 镜像，再把提取的 ELF 交给 Ghidra 分析，讲清 Linux x64 平台限制、资源预算和结果解读。

截至 2026-10，对比 REA 与 GhidraMCP、ida-pro-mcp、r2mcp、Binary Ninja MCP 的覆盖范围、后端、安装、价格许可和适用场景。