让AI拆开一个App,三步看懂它怎么跑

三件真事，动手的都不是程序员

第三个案例最实用。有人嫌语音输入工具 Typeless 订阅越来越贵，用 REA 加 Claude 花 25 分钟做了个本地版，不用登录，也不用再交订阅费。

一位逆向工程师的自测数字更直观。他把熟悉的 SketchUp 文件读写模块交给 AI，7 分钟出结论；当年人工分析这个模块，他花了一个月。AutoCAD 里上万行的核心函数，AI 十几分钟给出结果，当年卡了他两三天。

这几个人没一个靠读源码干成。先让 AI 把软件拆开看明白，再让它照着写一个，路子都一样。

它凭什么能拆

REA 本身不做反编译，干活的是 Ghidra、Hopper、IDA 这些十几年的老工具。普通人打开 Ghidra，一行都看不懂。

REA 压的就是这层门槛：把十几类工具收进一套接口契约，替 Agent 管会话（Ghidra 一次全量分析能吐几百 MB，直接丢给 Agent 要么超时要么被淹），再给一份工作流说明。装起来一句话，npx rea-agents@latest setup，接进 Claude Code、Codex、Cursor 都行。

热度是真的。4 月建仓，10 月冲上 GitHub Trending 第一；10 月 19 日各家报道的星标在 29 万到 33 万之间。

第一步：只拆一个功能

新手容易犯的错，是让 AI 分析「这个软件」。有人想移植《神偷3》，AI 一分钟反编译出一个函数，然后发现整个游戏有 3.2 万个函数，就放弃了。

范围压到一个功能上，方括号里的换掉就能用：

我要看懂【软件名】里的【一个具体功能】，用途是【我想干什么】。 只分析这一个功能，不要扩散到整个软件。 先告诉我：它的输入是什么，输出是什么，在什么条件下被触发。

第二步：要三栏证据，别要结论

REA 设计里有一条该抄。每次工具调用返回结果，它同时给一个 evidence_id，把「观察到的」「推断的」「还不知道的」分开写。kingy.ai 追踪一个导出功能，拿到 31 条观察、42 条推断，还留着 44 个 unknown。

为什么重要，看反面数据。有开发者拿有公开源码的程序对照，让 REA 分析 50 个函数的调用关系，22 个遗漏，报告上仍然标着「完整」。

它会漏，还漏了不说。所以三栏要写死在提示词里：

把结果拆成三栏，不要合并： ① 你实际观察到的：工具输出、报错、文件内容，原文贴出来。 ② 你推断的：每条写明依据上面哪一条观察。 ③ 你还不确定的：单独列，不要用推断去填空。

三栏一分开就能抽查，哪条推断站不住，一眼看得出。

第三步：让它自己出验收用例

拆完要写版本，怎么知道它写对了。Windows 计算器那个 % 键规则一直很怪，REA 从汇编常量 0x64 反推出：乘除之后按 % 表示当前值除以 100，加减之后表示当前值乘以前值再除以 100，所以 200+10% 等于 220，和微软公开源码对得上。另一个案例是 CSV 格式化器，重写后 14 个用例逐字节一致。

共同点在于，先有验收标准：

给我 10 条验收用例，覆盖正常输入、边界值，以及你认为容易出错的输入。 每条写清楚：输入、期望输出、这个期望是从哪条观察推出来的。 用例先给我，我自己跑。

注意最后一句。先交用例、再交实现，你手里就有了一把不依赖它自评的尺子。那 22 个遗漏就是这么抓出来的。

三个坑，动手前先看清楚

坑一，会一本正经地漏，照样说完整。上面那 22/50 就是，报告里没有「置信度」，只能自己抽查。

坑二，加壳、混淆、反调试的软件基本没辙，公开的成功案例都没做混淆。

坑三，烧 token。GitTested 拿 4 个去符号二进制和 3 个 Electron 应用测过：强制用 REA 得 73/75，只用 shell 工具得 74/75，自由选择得 71/75。中位 token 消耗，REA 23.4 万，shell 工具 9.5 万。评测方结论是 adopt-with-care：小目标上裸 Agent 已经接近满分，REA 多花 1.5 到 2.5 倍成本。

于是有了一条分界。目标是一个功能、一种文件格式，别上重工具，直接问 Agent 就行；目标是一整套没文档的老系统，才值得上这层封装。

能碰的和不能碰的

装前核对仓库地址，GitHub 上已经出现带木马的仿冒仓库，VirusTotal 有 8 个引擎报警。

它不算沙箱。SECURITY.md 原话是 This is not a sandbox，分析不可信程序等于让本地工具以你的权限解析它。分析结果还会传给模型服务商，本机跑不等于数据不出本机。

法律边界也写清楚：很多商业软件协议禁止逆向，项目 DISCLAIMER 明确不支持绕过 DRM 和授权校验。

放心练手的目标：自己的旧项目、没源码的遗留系统、搞清文件格式做互操作、恶意样本分析、CTF。别整包克隆商业软件，接不住，也站不住。

今天还发生的两件事

MiniMax M3.1 Flash 10 月 19 日发布，Automation-Bench 62.8 分排第一，DeepSWE v1.1 拿 73.7 分，单任务成本不到 2 元，同分的 Claude Opus 5 要 70 多元。拆这类多步任务，成本又降一档。

Meta 公开了瘦编排器做法：约 1300 行的编排器只做路由和可靠性检查，把 20 多个工作流分派给 14 个上下文隔离的子智能体，自己不做领域推理。自己搭多智能体时，别让总调度干具体的活。

参考来源