20个仓库，把逆向工程串成一条流水线

有人把逆向工程需要的工具列成了20个 GitHub 仓库。来源是 rob. 的推文，主角是 REA 作者 morluto 的清单。推文里配了一段工作站视频，界面把 Opus 5.5、REA workflows、Clean-room loop、ANALYZE、SPEC.md、REBUILD 这些动作摆在一起。看完更容易理解这套东西想解决什么：让 agent 接入反编译、调试、流量和验证工具，形成可重复的逆向流程。

清单按五组展开。

01 分析核心

• REA：一个 MCP 入口，连到整套工具。
• Ghidra：免费反编译器。原推链接被截断。
• GhidraMCP：让 agent 操作 Ghidra。原推链接被截断。
• ida-pro-mcp：把 agent 接到 IDA Pro。有许可证的人会先看这个。原推链接被截断。

02 移动与 App

• jadx：把 Android APK 转回 Java。
• Apktool：拆开 APK，再装回去。
• Frida：在 App 运行时挂上去。
• ILSpy：反编译 .NET。原推链接被截断。

03 二进制与底层

• radare2：住在终端里的 RE 框架。
• x64dbg：Windows 调试器。
• ImHex：带模式语言的十六进制编辑器。
• angr：符号执行引擎。

04 网络与执行

• mitmproxy：站在中间读流量。原推链接被截断。
• dnSpy：调试和编辑 .NET 应用。
• rizin：radare2 的分支。
• raddebugger：Epic Games 的调试器。原推链接被截断。

05 重建与验证

• awesome-ai-reverse-engineering：122 个仓库，全部带评分。原推链接被截断。
• awesome-reverse-engineering：由 REA 创建者精选。原推链接被截断。
• REA workflows：现成的逆向研究 prompts，随 REA 提供。
• clean-room loop：用 SPEC.md、oracles 和 checks 反复比对，直到匹配。

工作流写得很短：binario -> REA -> SPEC.md -> 重建 -> oracle -> retry。评论区里有人盯上这个闭环，说 binario 到 SPEC.md 再到 reconstruir 是个漂亮的想法。也有人问 REA 在本地跑得怎么样，是否必须走 API，以及遇到混淆二进制时表现如何。这些问题比工具数量更关键。

这些工具大多不新。Ghidra、jadx、Frida、radare2 在各自圈子里都有年头。变化在编排：agent 负责调用、记录、对照 SPEC.md，oracle 负责判定重建是否等价。一键破解的想象容易跑偏。真正有价值的是把读二进制、写规格、重建、验证变成可重试的闭环。工具越多，越需要边界感。逆向工程有法律和授权限制，能读二进制不等于能随便碰别人的软件。

收藏清单前先想清楚目标。审计自己的应用、学习二进制、处理恶意样本，路径不一样。推文给的是工具箱，不是许可证。