索引

从一个命令开始¶

npx rea-agents setup

选择你的智能体，查看计划中的更改，并批准设置。原生二进制分析可以使用现有的 Hopper、Ghidra 或 IDA 安装；静态 JavaScript 分析不需要原生分析引擎。

从提取的 JavaScript 应用程序或 ASAR 中获取首个结果：

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

有关要求和配置，请参阅安装与设置。

有关运行时插桩，请参阅 Frida 指南。

任务	指南
识别桌面安装	运行时候选对象、证据和后续文件
检查原生函数、引用或类型	原生二进制、Go 元数据、Rust 依赖项、CPython pyc 文件、PE 证书、PE 导入、PE TLS/加载配置、ELF 注释、Linux 内核模块、Apple IPS、Erlang BEAM、离线 ELF 布局、崩溃记录
检查原生函数、引用或类型	原生二进制、Go 元数据、Rust 依赖项、CPython pyc 文件、PE 证书、PE 导入、PE TLS/加载配置、ELF 注释、Linux 内核模块、Apple IPS、Erlang BEAM、离线 ELF 布局、崩溃记录
选择原生提供程序或导入格式	Ghidra 语义、Windows、DOS、原始字节、GameCube DOL、MIPS、PSP、NativeAOT、IDA、Kuna、JEB
分析 JavaScript 或 Electron 产物	静态分析、跟踪与比较、应用程序图、源代码恢复
比较静态 JavaScript 与运行时观察结果	运行时归因、一致性核对、Electron 观察、Electron 熔断器
检查程序集、包或固件	Godot PCK、.NET、Python 包、Android、APK 签名、Apktool 资源、ADB 采集、Apple、Harmony、固件、WASM、EVM
观察或比较浏览器场景	CDP 观察、场景、运行时证据、历史捕获
将记录的行为作为智能体环境提供	智能体环境
追踪捕获的网站源码	源码位置, 模块追踪, 脚本导出
捕获并比较命令	进程捕获
使用 CLI/MCP 并保留证据	CLI, MCP 契约, 智能体提示词, 义务台账

在开发过程中，请参阅测试、客户端验证、工具设计、准入限制与恢复、以及发布。重建就绪性描述了一个开发一致性验证器。6.2 迁移记录了该版本的兼容性变更；路线图追踪未来的工作。

REA 在 Hopper 中分析原生二进制文件

本页原文 Markdown：在 AtomGit 查看·内容源自开源项目 rea2/rea