REA 逆向工程工具完整指南：让 AI Agent 读懂二进制，并拿得出证据

REA 逆向工程工具完整指南让 AI Agent 读懂二进制并拿得出证据【免费下载链接】reaReverse engineer anything with agents, from app behavior down to native binaries.项目地址: https://gitcode.com/GitHub_Trending/rea2/rea如果你在找一款能接入 AI Agent 的逆向分析工具REAReverse Engineer Anything值得放进工具清单。它把二进制反汇编、JavaScript 应用分析、.NET 程序集检查等逆向能力封装成一个本地 MCP 服务器和 CLI让 Claude Code、Cursor 等 Agent 可以直接调用真实分析工具而不是凭训练数据猜代码。所有分析在你的机器上完成每条结论都附带可追溯的证据。上图是 REA 的典型工作画面Agent 通过认证桥接驱动 Hopper 反汇编一个 Mach-O 可执行文件左侧是逐段反汇编结果右侧面板显示文件加载器、地址段归属和分析进度。这类Agent 操作专业反汇编器的链路正是该项目区别于普通提示词方案的地方。 从一个真实需求说起看到功能想搞清楚它怎么做的假设你在某个 App 里看到一个不错的交互细节想在自己的产品里实现类似效果。传统做法是自己打开反汇编器从符号和字符串找线索再逐层追交叉引用耗时且依赖经验。REA 的做法是把这条链路交给 Agent你只需描述目标例如帮我理解这个应用里搜索功能是怎么工作的展示证据然后为我的项目实现类似功能。Agent 会依次完成打开目标、检索线索、追踪引用、反编译关键函数这些步骤并在最后给出解释和可运行的实现参考。官方把整个过程概括为三条主线先反编译恢复可读的字符串、符号、伪代码再理解追踪代码路径直到能解释行为最后重建把结论落到你自己的代码里。CLI 命令和 MCP 工具走的是同一套工作流所以你既可以让 Agent 全程代劳也可以在终端里单独复现某一步。 拆解核心设计本地引擎 统一工具契约REA 的架构可以用三句话概括引擎可插拔、契约统一、通信走本地。引擎可插拔。原生二进制的深度分析复用你已有的 Hopper、Ghidra 或 IDA 安装setup 流程在获得批准后还可以安装 Hopper。而静态 JavaScript 和 .NET 分析完全不需要逆向引擎——直接读取你提供的文件即可。这意味着工具成本取决于你的目标类型而不是被迫绑定某一家反汇编器。契约统一。REA 把 120 多个 MCP 工具按分析师任务而不是引擎 API来设计。工具命名对应动作和对象检查、搜索、追踪、对比、采集而不是暴露某个引擎的内部接口。设计原则写得很直白把观测事实与推导结论分开为关键关系保留证据引用未解决的边就保留为未解决详见 工具设计文档。对 Agent 来说这意味着它在 Ghidra 和 Hopper 之间切换时面对的是同一套语义。通信走本地私有通道。REA 没有托管分析服务官方安全模型的表述是当前各 provider 都在本地完成工件分析和行为捕获。它与 Hopper、Ghidra 之间通过本地私有 socket 通信不向网络端口暴露服务。如果你的环境配置有问题用一条命令体检npx -y rea-agentslatest doctordoctor会检查宿主环境、依赖、分析引擎和 Agent 注册状态但不会修改任何配置。 证据链为什么每个结论都能被追问普通让 AI 读代码的方案输出是一个自洽的答案REA 的输出是一份证据记录。每条 Evidence 至少包含四层信息观测事实实际看到了什么——反汇编指令、字符串、元数据、文件偏移工件与提供者身份分析的是哪个文件的哪个版本用的是哪个引擎的哪个版本置信度与限制结论的可信程度和适用边界未知项Unknowns明确列出没查到的部分。其中最关键的一条原则是缺失的证据算未知不算空也不算否定。重建校验只会报告通过、失败或未知三种状态没验证到永远不会被记成验证通过。这些契约在 MCP 契约文档 中有完整定义所有产出证据的工具都遵循同一结构因此不同版本、不同函数的证据记录可以直接交给对比工具做差异分析。落到使用体验上就是当 Agent 给出一个逆向结论时你可以追问证据在哪而它真的能指给你看。 能分析什么一套契约覆盖的目标类型同一套工具契约下不同目标类型的分析深度和依赖如下原生二进制Mach-O / ELF / PE伪代码、汇编、字符串、符号、调用与引用关系需要 Hopper、Ghidra 或 IDA 之一。JavaScript / Electron 应用模块结构、导入关系、Source Map、IPC 通道和原生插件边界的静态映射不需要运行目标应用也不需要逆向引擎。.NET 程序集元数据、CIL 指令、声明的原生依赖以及构建版本对比纯静态不加载不执行。Android APK清单声明、类检索、方法反编译基于无头 JADX无模拟器。网站页面结构、脚本证据、网络元数据和按需截图属于被动观察。固件Linux 固件的区域检查与显式提取依赖 Binwalk / Unblob。所有能力同时通过 CLI 和 MCP 两种形态暴露终端里单独跑一步或让 Agent 编排完整链路用的是同一套结果契约。各目标的具体前置条件可以查 安装文档 和 CLI 指南。 快速上手三步接入你的 Agent注册。安装 Node.js 和 npm 后运行npx rea-agents setup交互选择要接入的 AgentClaude Code、Codex、Cursor、Gemini CLI 等流程会先展示完整变更计划批准后才写入并备份现有配置。完成后重启 Agent。提问。直接描述目标例如研究这个 App 的搜索是怎么实现的展示证据并在我的项目里实现一个类似功能。Agent 会自动串起完整调查链路。终端验证可选。静态 JavaScript / Electron 分析零逆向依赖一条命令出结果npx -y rea-agentslatest analyze-javascript-application /绝对路径/到/app --json返回内联证据、恢复的模块图和明确标注的限制不需要 MCP 配置。需要长期使用也可以全局安装rea-agents获得rea命令完整命令集见 CLI 与证据指南。⚖️ 边界与选型REA 明确不做的事选型之前建议先看清几个边界声明不承诺恢复原始源码。REA 展示的是结论如何得出的过程返回伪代码、汇编和模块关系把它当成自动还原源码的工具会失望。数据主权在你但模型侧另有政策。分析全程本地目标文件不上传任何云端不过 Agent 收到的工具结果会进入你使用的模型服务商其数据政策需要单独评估。运行时能力有真实副作用。静态分析只读文件但浏览器观察、进程捕获这类运行时功能会以你的用户权限运行或交互目标使用前的各篇运行时指南描述了具体影响范围。失败不会被静默掩盖。引擎不可用会显式报错可用rea doctor诊断而不是悄悄换到另一个引擎给你一份看起来能用的结果。如果你要评估的是一次性、隐私敏感的目标未发布产品、内部工具、安全研究且手边已有 Hopper / Ghidra / IDA 之一REA 的本地化模型基本是为这类场景设计的。更多工作流细节可以看 文档总览 与 README。【免费下载链接】reaReverse engineer anything with agents, from app behavior down to native binaries.项目地址: https://gitcode.com/GitHub_Trending/rea2/rea创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考