morluto/rea · Agent 逆向工程工具链
REA · Reverse Engineer Anything 使用攻略
让 Agent 调用分析工具追踪证据,理解软件行为背后的实现。
REA 为编码 Agent 连接逆向工程工具,可配合已有的 Ghidra、Hopper、IDA 等分析环境。它不是“任何软件一键恢复源码”的模型;结果仍需结合目标、工具输出和人工验证来判断。
首次体验约 30 分钟资料核验 含安全检查
本轮资料更新
逆向工程 · 工具与证据
- 官方项目名为 REA,覆盖原生二进制、JavaScript / Electron、.NET 与运行行为分析。
- 通过 MCP 为编码 Agent 提供分析工具;静态 JavaScript 分析与原生反汇编的环境要求不同。
01 · 快速上手
从第一次启动,到完成一个真实任务
01
从官方源核对安装计划
在可信目录运行官方 setup,检查拟修改的 MCP 配置与所需分析工具后再确认。
02
选择一个可验证样本
优先使用自己的小程序或公开练习样本,先提一个具体功能问题。
03
先分析再做结论
要求列出工具输出、路径和推断限制;动态执行与后续修改单独确认。
建议从这个任务开始
分析我自己编译的练习程序,只解释指定输入处理函数。先做静态分析,列出证据与不确定性,不执行未知二进制,不修改程序。
先用小样本验证结果,再扩大任务范围。
02 · 基础配置
上手设置与任务模板
目标、证据与权限范围 · 分析任务说明
目标:自己编译的练习程序
问题:一个输入怎样得到对应输出
第一步:静态分析并记录证据
动态执行:先说明环境和计划
交付:观察事实 / 推断 / 尚未验证
验收:用已知输入对照实际行为命令按当前官方资料整理;选择适合自己系统的安装方式,执行前核对版本与工作目录。
03 · 实用技巧
真正拉开效果差距的使用习惯
技巧 01
每次只追一个行为
明确输入与预期输出,避免让 Agent 对整个程序泛泛猜测。
技巧 02
把事实与推断分栏
函数、调用和数据流证据与重建猜想分别记录,便于复核。
技巧 03
按目标选择分析环境
先区分脚本、托管程序集和原生二进制,再准备对应工具。
可直接复用的任务模板
分析我自己编译的练习程序,只解释指定输入处理函数。先做静态分析,列出证据与不确定性,不执行未知二进制,不修改程序。
04 · 安全边界
明确使用与执行边界
执行前检查
- 仅分析自有或获授权的目标
- 未知样本的动态分析放在隔离环境
- 不把自动重建的代码视为原始源码
05 · 学习资源
继续深入
官方资料用于确认安装、命令和权限;社区资料用于补充中文经验与案例。涉及版本的内容请以官方为准。