rea 快速指南:三条命令逆向你的第一个二进制,每个结论带证据

发布时间:2026/11/5 6:38:02

rea 快速指南:三条命令逆向你的第一个二进制,每个结论带证据 rea 快速指南三条命令逆向你的第一个二进制每个结论带证据【免费下载链接】reaReverse engineer anything with agents, from app behavior down to native binaries.项目地址: https://gitcode.com/GitHub_Trending/rea2/reaFunctions 窗口一片空白符号一个没有你盯着这个.so发了十分钟呆。rea 是一个面向 AI Agent 的逆向工程编排层它替你驱动 Ghidra、Hopper 这类分析引擎把打开 IDE 空转变成一条终端命令返回的每个结论都附证据。按下面的 4 步走完15 分钟左右你能拿到第一次完整逆向——从概览到证据链闭环。项目坐标它是编排层不是反编译器先把话说清楚rea 不是反编译器不是调试器也不是 IDE。它是把谁来当分析引擎和谁来提问解耦的一层分析引擎可插拔Hopper、Ghidra、IDA、Kuna你本地装哪个它就用哪个双入口AI Agent 走 MCP一种让模型调用工具的标准协议人走终端 CLI证据先行每个结论都带观察、推断边界与未解问题而不是给你一个看起来对的答案。成熟度不用猜仓库 README 提供 22 个语言的本地化版本Discord 社区日常答疑docs/目录有 80 余篇专题文档还维护着一份逐条审核的用户可见错误清单docs/user-visible-errors.csv。它的典型形态是下面这张图——引擎 GUI 照常打开但操作和取数全部由桥接层代劳。坐标定了别急着装——先看一条不装任何东西就能跑通的路。先跑通零安装的最小闭环运行时要求Node.js 22.23.4、24.22.1 或 26.12.1package.json的engines字段23、25 不支持。JavaScript/Electron 静态解析完全不需要任何反编译引擎一条命令先拿到第一次成功# 免安装单次运行静态解析一个 JS/Electron 应用目录或 .asar npx -y rea-agentslatest analyze-javascript-application /absolute/path/to/app --json返回模块、导入、Electron IPC 边界及各自的证据。拿到结果后再回头补正式安装与环境自检# 全局安装 CLI得到 rea 命令 npm install --global rea-agents # 把 MCP 注册给你的 Agent 客户端先列出改动计划你确认后才写入 npx rea-agents setup # 严格只读体检逐项检查 Node 版本、引擎可执行文件失败项附修复命令 rea doctor --jsonsetup支持 Claude Code、Codex、Cursor、Gemini CLI 等客户端且永远不替你安装 Node、Java、Ghidra 这类外部依赖。另外在 Linux 上跑 Ghidra、JADX 或 JS 分析需要PATH里有 procps 的ps缺了看docs/installation.md的 Linux owned-process prerequisite 一节。环境就绪进入主线给一个 stripped 二进制做完整逆向。主线实战逆向仓库自带的 17 行 C 程序练手目标选scripts/fixtures/binary-layout.c17 行源码两个全局变量、一个线程局部变量、一个noinline辅助函数read_values()和一个main。为什么选它一是小输出几分钟能看完二是把它 strip 掉符号表后依然能完整走完符号、字符串、函数、引用四条证据线——stripped 目标最能体现 rea 的价值三是它是仓库自带夹具任何编译器下都可复现。# 编译出调试版与 stripped 版两份后者没有符号表 gcc -O0 -g -o hello_debug scripts/fixtures/binary-layout.c gcc -O0 -s -o hello_stripped scripts/fixtures/binary-layout.c假设本机已配置好 GhidraGHIDRA_INSTALL_DIR指向安装目录。第一步analyze 拿概览# 原生概览工件身份、符号、字符串、函数清单 rea analyze /absolute/path/to/hello_stripped --provider ghidra --json结果先看artifact字段路径、SHA-256、大小是后续所有结论的锚点目标字节一变身份就失配。再看coverage与unknowns前者说明哪些分析是完整观察、哪些只是部分结果后者列的是确实没解出来而不是被悄悄忽略。limitations还会反复提醒伪代码是反编译器输出永远不是原始源码。第二步给 main 建档案# 函数档案、伪代码、原始汇编三种不同粒度的东西 rea function /absolute/path/to/hello_stripped main --provider ghidra --json rea decompile /absolute/path/to/hello_stripped 0x401146 --provider ghidra --json rea instructions /absolute/path/to/hello_stripped main --provider ghidra --jsonfunction返回档案dossier入口地址、调用者与被调用者、控制流信息decompile给可读伪代码instructions只读引擎 Listing 的原始指令根本不启动反编译器。注意0x401146是样例环境里的入口地址换成你analyze结果里main的实际地址。三者语义边界被严格区分这正是它和一把梭反编译最大的不同。第三步xrefs 与 search 闭环证据链# 谁引用了 main搜字面量字符串按正则搜 read_ 开头的函数名 rea xrefs /absolute/path/to/hello_stripped 0x401146 --provider ghidra --json rea search /absolute/path/to/hello_stripped source-owned --provider ghidra --json rea search /absolute/path/to/hello_stripped ^read_ --mode regex --kind procedures --provider ghidra --jsonxrefs返回有界列表调用、跳转、数据等分类保留引擎原始类型search支持字面量--mode literal与正则两种模式--kind切换字符串或函数名。在这份 17 行源码上你能看到main到read_values的调用边以及source-owned字符串的落点——从入口到数据一条证据链闭环。第四步零引擎的离线诊断不是每次都值得启动 Ghidra。inspect-binary-layout完全不碰反编译引擎直接回答这个文件里有什么# 离线 ELF 布局诊断需指向自带 pwntools 4.15.0、pyelftools 与 Unicorn 的隔离 Python REA_PWNTOOLS_PYTHON/absolute/isolated-env/bin/python \ rea inspect-binary-layout /absolute/path/to/hello_stripped --json返回节区/段布局、原始符号与重定位外加 canary、PIE、NX、RELRO 的静态推断。官方验证覆盖 Linux x64 的 ELF64 等 profiledocs/binary-diagnostics.md刚编译的hello_stripped就是标准练手目标。跑通了也难免撞坑下面是退出码对照和三个高频问题的标准解法。排障退出码对照与三个高频卡点退出码含义0完成结果仍可能含部分证据或警告1未完成输入无效、权限、取消、超时等128 N被信号 N 终止SIGINT 为 130SIGTERM 为 143现象一analyze报capability_unavailabledetails.selection_reason是ambiguous——多个引擎都支持该目标rea 不替你猜。定位# 列出可用引擎及支持的操作doctor 严格只读 rea providers --json rea doctor --provider ghidra --json解法从错误里的details.candidate_ids挑一个用--provider显式指定想设长期默认就配REA_ANALYSIS_PROVIDERghidra命令行--provider优先于环境变量。现象二大二进制启动超时。Ghidra 启动期限默认 330000 ms约 5.5 分钟超时返回provider_timeout。解法# 把 Ghidra 启动期限提到 30 分钟再重试 REA_GHIDRA_STARTUP_TIMEOUT_MS1800000 rea analyze /absolute/path/to/big.bin --provider ghidra --json备注期限覆盖导入、自动分析与桥接就绪三个阶段小内存机器同时用GHIDRA_HEADLESS_MAXMEM512M压低 JVM 堆。现象三行为与文档不符疑似 bug。解法# 更新 npm 拥有的 CLI 到最新rea update 只更新拥有当前 CLI 的全局安装 rea update备注仓库维护着docs/user-visible-errors.csv这份逐条审核的错误清单每条带恢复建议遇到 Retry once; if it continues, runrea doctor 的提示就照做。收束快照复用与脚本化写法见 CLI 文档Agent 侧的会话生命周期与证据契约见 MCP 契约文档。下次 Functions 窗口空白敲下analyze证据自己会浮出来。【免费下载链接】reaReverse engineer anything with agents, from app behavior down to native binaries.项目地址: https://gitcode.com/GitHub_Trending/rea2/rea创作声明:本文部分内容由AI辅助生成(AIGC),仅供参考
延伸阅读

更多相关文章

2026/11/5 6:38:02

入侵检测系统(3)

加密流量早已是互联网的默认形态。HTTPS、SSH、TLS 包裹下的业务流量,让传统“打开包看载荷”的思路越来越难落地。然而,入侵检测并不因此失效。哪怕只能看到密文,连接何时建立、对谁、用什么端口、证书由谁签发、TCP 序列号是否异常,这些协议元数据依然能暴露出攻击痕迹。…

2026/11/5 7:33:10

Univer开源在线表格实战:从Canvas渲染到私有化部署的完整指南

第一次注意到 Univer,是在一个很现实的场景里:我们要给内部 ERP 系统加一个数据预览模块,老板要求“像 Excel 一样、但必须在浏览器里用”,最好还能直接嵌进现有页面。一开始我们想过直接用表格组件硬渲染,但拖到十万行…

2026/11/5 7:33:10

Univer 表格集成实战:从选型、性能优化到上线踩坑

不知从什么时候起,"给内部后台系统做一套像 Excel 的在线表格"这种需求,成了前端团队绕不开的坎。我之前接过一个数据填报项目,甲方要求不低:要能直接粘贴 Excel 内容、要支持公式联动、要在大几万行数据里滚动不卡&…

2026/11/5 7:33:10

DOSBOX-Windows98使用说明:模拟器配置、安装与故障排查

1. 先把“DOSBOX-Windows98”拆开看,它到底是什么拿到“DOSBOX-Windows98 使用说明”这个题目的时候,我第一反应不是去写下载链接,而是想先把话说清楚:这五个字里藏着两个互相打架的东西。DOSBox是个 DOS 环境模拟器,它…

2026/11/5 7:33:10

J-Link V9.40驱动安装验证与版本管理排障指南

嵌入式调试这活儿,最怕的不是代码写错,而是工具链在你看不见的地方掉链子。上周三晚上十一点,我在实验室连着三块板子,插上调试器,设备管理器里蹦出一个黄色感叹号,Keil 里点下载,提示找不到调试…

2026/11/5 7:33:10

前端数据采集利器:navigator.sendBeacon详解

1. 前端埋点终极方案:navigator.sendBeacon 深度解析作为一名长期奋战在前端监控领域的老兵,我深知数据采集的痛点和难点。页面关闭时的数据上报问题困扰了无数开发者,今天我要分享的 navigator.sendBeacon 可能是这个领域最优雅的解决方案。…

2026/11/5 7:28:09

数字加密技术解析:从基础原理到解码实践

1. 项目概述这个看似由数字组成的"5111111555555599999999"标题实际上是一个典型的加密信息案例。在信息安全领域,这种数字串常被用作加密通信或数据存储的载体。作为一名从事数据安全领域多年的从业者,我经常遇到类似需要解码和分析的案例。2…

2026/11/4 12:38:23

面向复杂光照与角度的宠物面部识别鲁棒性增强策略

在智慧养宠时代,基于视觉的宠物身份识别技术正逐步从实验室走向家庭应用。然而,与配合度高的人类不同,宠物是典型的“非合作生物识别对象”——它们不会主动配合摄像头调整姿态,更无法控制光照环境。实际应用中,我们常…

2026/11/4 21:04:25

SSM电子书店源码全解析:结构、原理、部署与排错实战

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

2026/11/5 0:02:07

多智能体协作系统架构设计与实践优化

1. 多智能体协作系统的时代背景2017年Transformer架构的诞生彻底改变了人工智能的发展轨迹。当行业还沉浸在单一大模型带来的性能突破时,Anthropic的研究团队已经将目光投向了更前沿的领域——如何让多个智能体通过协作产生超越单体能力的系统智能。这就像交响乐团中…

2026/11/5 0:02:07

大模型系统性入门实战指南:从原理到部署微调的全链路路线

提到大模型的系统性入门,我先说个结论:这事真不难,难的是资料太散、路线太多,今天这个框架明天那个工具,新人很容易在“收藏夹吃灰”和“教程看到一半放弃”之间反复横跳。市面上关于大模型的内容少说有几十万篇&#…

2026/11/5 0:02:07

鸿蒙文件系统沙箱机制解析与开发实践

1. 鸿蒙文件系统沙箱机制深度解析作为一名从Android转向鸿蒙开发的工程师,我深刻体会到文件系统访问是迁移过程中最先遇到的"拦路虎"。在Android上运行良好的文件读写代码,在鸿蒙真机环境却频频出现文件写入后神秘消失或直接抛出权限拒绝错误的…

2026/11/4 12:38:23

面向复杂光照与角度的宠物面部识别鲁棒性增强策略

在智慧养宠时代,基于视觉的宠物身份识别技术正逐步从实验室走向家庭应用。然而,与配合度高的人类不同,宠物是典型的“非合作生物识别对象”——它们不会主动配合摄像头调整姿态,更无法控制光照环境。实际应用中,我们常…

2026/11/4 21:04:25

SSM电子书店源码全解析:结构、原理、部署与排错实战

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

还想了解更多?直接咨询顾问

免费诊断 + 免费方案 + 透明报价。

全国咨询热线400-8866-253
免费获取方案
☎咨询二维码 ☎ ↑