REA 本地逆向分析：没有源码，如何把 App 行为追到二进制层？-云帆数科

REA 本地逆向分析没有源码如何把 App 行为追到二进制层【免费下载链接】reaReverse engineer anything with agents, from app behavior down to native binaries.项目地址: https://gitcode.com/GitHub_Trending/rea2/reaREAReverse Engineer Anything把本地逆向分析做成了两种可互换的形态一个只在你机器上跑的本地 MCP 服务器加一套能直接敲的 CLI。它替你做的核心动作是——拿一个没有源码的目标Electron 应用、原生二进制、.NET 程序集、固件返回行为结论并且给每条结论附上可追溯的证据记录。整个过程不依赖任何远端上传。从一个痛点开始想搞懂一个功能手上却只有二进制看到别人产品里一个你也很想做的功能第一反应往往是它到底怎么实现的。没有源码时多数人卡在这一步反编译工具甩给你一堆汇编和伪代码可这行为为什么这么走这个值从哪来仍要自己拼。REA 的定位就是把拼证据这件事交给工具链——你用 agent 或终端发一个问题它去检查目标、追踪相关代码再把发现连同证据一起交回来agent 接着可以追问、解释甚至写一个能跑的实现。两种形态走同一套工作流区别只在入口MCP 喂给 agentCLI 留给你和脚本。它能覆盖的目标、各自的成本与硬边界先一张表看全目标类型直接产出前置成本硬边界JS / Electron模块、导入、Source Map、路由、IPC、原生插件关系仅 Node.js npm无需逆向引擎只读文件、不运行应用原生二进制伪代码、汇编、字符串、符号、调用与引用需 Hopper / Ghidra / IDA / Kuna 之一伪代码不等于源码.NET 程序集元数据、CIL 指令、声明的原生依赖无纯静态不加载、不执行程序Go / Rust编译器版本、模块与构建设置 / crate 依赖边内置静态检查无需工具链缺段记为空元数据PE / ELF 静态项证书、导入表、note、build-id内置静态检查表缺失未被观察到Android APK清单声明、类、反编译方法、引用Headless JADX 完整 JDK依赖外部工具就绪固件区域、提取结果、原生交接Linux 上 Binwalk / Unblob不同操作绑定不同工具零引擎起步一条命令完成静态逆向分析最省事的一条路是静态分析——一个逆向引擎都不用装。JS/Electron 直接把模块、导入、Source Map、路由、IPC 和原生插件关系算出来README 把这条明确标成无需 native 分析引擎。.NET 只读元数据与 CIL 指令不加载也不执行程序Go、Rust、PE、ELF 走内置静态检查连对应工具链都省了。# 指向解包后的应用目录或 .asar结果自带完整证据 npx -y rea-agentslatest analyze-javascript-application /absolute/path/to/app --json有个坑要提前知道真实应用的完整 Evidence 能到几百 MBdocs/cli.md 举的例子是 334 MB 的 Obsidian。官方建议是——先落盘再投一个摘要视图去读而不是一把梭扫原始输出rea analyze-javascript-application /absolute/path/to/app --json app-evidence.json # 把几百 MB 的证据投影成约 10 KB 的摘要再交给视图命令去读 jq -c {source:{kind:inline,evidence:.},view:{kind:summary}} app-evidence.json app-view.json rea inspect-analysis-view app-view.json开跑前过一遍这份自检清单能少踩一半的报错Node.js 版本达标22.23.4 / 24.22.1 / 26.12.1README 要求Linux 上 PATH 里有 procps 兼容的ps进程归属检查用目标给对目录 /.asar/.dll/ 二进制路径用绝对路径大输出先落盘再用summary/page视图分页不直接读全量要碰原生二进制复用你已有的分析引擎策略不是让 REA 帮你装引擎而是复用你手上已有的那套。Hopper、Ghidra、IDA、Kuna 用哪个都行setup 也可以在批准后帮你把 Hopper 装上README。rea providers --json # 列出可用引擎及其支持的操作 rea analyze /absolute/path/to/program --provider ghidra --json # 显式绑定引擎引擎选择有几个讲究。多个引擎都能吃下同一个目标时要么显式指定要么设REA_ANALYSIS_PROVIDER作为长期偏好一旦选定这个引擎就绑死在当前会话直到你显式切换或关闭。冷启动慢的大文件可以靠REA_GHIDRA_STARTUP_TIMEOUT_MS或REA_HOPPER_STARTUP_TIMEOUT_MS抬高启动截止时间。和 Ghidra 的进程通信也不开公网端口docs/installation.md 说明桥接走的是仅限当前用户的本地 socket 加文件描述符。重复查询还能省——用--snapshot把成功结果存成本地文件owner-only 权限当目标字节、操作、参数、引擎、设置全部对上时下次直接复用很多情况下在启动引擎进程之前就命中缓存见 docs/cli.md。边界与契约REA 明确不做什么这一节是全文的可信度锚点值得单独看。它把自己不做什么写进了契约而不是让你猜选定的引擎运行时挂了不会自动换另一个顶上失败按原始原因返回docs/mcp-contracts.md、docs/ghidra-provider.md。伪代码永远不当作原始源码跨引擎比较也不会把 Hopper 和 Ghidra 的文本当成等价语义事实docs/installation.md。静态 JS / .NET 检查只读你给的文件不运行目标应用README。查不到记成未知绝不冒充没有docs/tool-design.md——这是硬规则。商业引擎IDA / Hopper / JEB你得自己持合法授权REA 不发 key也不认可破解README。未知和空的区分是这套契约最容易被人误读的地方。下面这张对照表列的都是官方明确给出的情形你遇到的情形REA 怎么记你不能据此得出Rust 的.dep-v0段缺失空元数据null这个程序没有依赖docs/cli.md某函数反编译失败卷宗仍返回伪代码 facet 标为不可用并带失败原因汇编等 facet 照常采集整个函数没法分析docs/mcp-contracts.md空调用列表且覆盖度不全 / 未知保留该覆盖度状态这个函数没有调用docs/mcp-contracts.mdPE import 目录缺失记录为该表未被观察到程序不依赖任何 DLLdocs/cli.md资源速查文档入口docs/cli.md全量命令、引擎选择、快照、导入导出、退出码。docs/mcp-contracts.md工具输出契约、Evidence 身份与比较、超时恢复。docs/installation.mdagent 注册、引擎配置、本地桥接、doctor 体检。关键命令rea doctor --json # 结构化环境诊断严格只读 rea doctor --provider ghidra --json # 只诊断某一个引擎 rea providers --json # 看可用引擎 rea compare left.json right.json # 对比两份 Evidence rea update # 升级 CLI怎么校验先跑rea doctor --json拿到只读体检报告确认环境与目标就绪碰原生目标前再用rea doctor --provider id单独验证那一台引擎。每条结论都可回溯到它附带的 Evidence 记录——工件身份、来源位置、观察与推断都写在里面读不懂的字段宁可当未知处理也别当没有。【免费下载链接】reaReverse engineer anything with agents, from app behavior down to native binaries.项目地址: https://gitcode.com/GitHub_Trending/rea2/rea创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考

企业数字化 ERP 产品动态

相关推荐

不手写 API 文档：用 Trae Agent 从 docstring 一路生成 OpenAPI

不手写 API 文档：用 Trae Agent 从 docstring 一路生成 OpenAPI 【免费下载链接】trae-agent Trae Agent is an LLM-based agent for general purpose software engineering tasks. 项目地址: https://gitcode.com/gh_mirrors/tr/trae-agent 发版前&#xff… · 2026/11/4 2:05:03

阅读书源导入三步搞定：22个书源开箱即用

阅读书源导入三步搞定：22个书源开箱即用【免费下载链接】Yuedu 📚「阅读」自用书源分享项目地址: https://gitcode.com/gh_mirrors/yu/Yuedu 这篇文章带你完成Yuedu书源导入。书源是一套小说网站的解析规则，导入后「阅读」APP即可在… · 2026/11/4 2:05:03

RAG系统如何选对LLM？RAG-Interview-Questions-and-Answers-Hub梳理框架选型、提示词设计与推理超参数考点

【免费下载链接】RAG-Interview-Questions-and-Answers-Hub 100 RAG interview questions with answers. 项目地址： https://gitcode.com/gh_mirrors/ra/RAG-Interview-Questions-and-Answers-Hub 点击查看免费下载 RAG-Interview-Questions-and-Answers-Hub 是一… · 2026/11/4 2:04:03

高效学习日记：提升知识留存与认知迭代的实践指南

1. 项目概述"学习日记（2026年3月26日）"这个标题看似简单，实际上蕴含着一个高效学习者的完整知识管理体系。作为一名坚持写学习日记7年的实践者，我发现这种记录方式远比普通笔记更能提升学习效果。2026年3月26日这天的学… · 2026/11/4 2:54:20

智能汽车安全威胁全景：从API滥用、AI投毒到跨域攻击

1. 智能汽车与泛终端安全威胁全景解析作为一名在汽车电子安全领域摸爬滚打十年的老兵，我亲眼见证了车载系统代码量从百万行激增到上亿行的过程。记得2016年参与某德系品牌ECU开发时，我们还在为CAN总线加密算法争得面红耳赤，如今却要面对整车数… · 2026/11/4 2:54:20

软考数据库系统工程师复习：三层知识地图与易漏点清单

简介：面向软考数据库系统工程师考试的复习资料完全版，适合备考中级资格的在职开发者与计算机专业学生系统梳理考点。全书以单一 docx 文档整合十五章内容，压缩包约 2.93MB、共 1 个文件，按章节顺序编排，并附页码目录&a… · 2026/11/4 2:54:20

MySQL数据查询实验训练2：六类SQL查询骨架与避坑

简介：这份PDF实验指导书对应国家开放大学MySQL数据库应用课程实验训练2，聚焦数据查询操作，适合正在学习SQL基础、需要按实验步骤完成课堂练习与课后复盘的初学者。内容围绕字段查询、多条件筛选、DISTINCT去重、ORDER BY排序、GROUP BY分组及… · 2026/11/4 2:54:20

2026实时录音转文字工具实测与优化指南

1. 录音转文字技术现状与需求分析2026年的实时录音转文字市场已经进入成熟期，各类工具在准确率、响应速度和成本控制方面都有了显著提升。作为长期关注语音技术发展的从业者，我最近对市面上主流的7款工具进行了为期3个月的深度测试，发现不同工… · 2026/11/4 2:54:20

MySQL复合查询实战：从基础到高级优化

1. 复合查询基础概念解析MySQL中的复合查询是指通过组合多个简单查询语句构建更复杂的数据检索操作。这种查询方式在实际业务场景中极为常见，特别是当我们需要从多个维度分析数据或处理关联性较强的数据集时。复合查询的核心价值在于它能够：合并多个查询… · 2026/11/4 2:53:20

双极步进电机控制实战：DRV8818PWPR与PIC18F86K22驱动调试

/* MD / 富文本中的 .toc（含博客园搬家等嵌套结构）；.toc-box 在侧栏，不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p（:empty 仍占 20px），一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views … · 2026/11/2 13:10:28