用 REA 看懂软件，
然后做出了什么？

DX-Ball：恢复声音左右声道计算

画面中的位置怎样转换成音效声像？

来源：REA 官方案例团队；原项目作者见来源

来源记录：该函数通过 3,205 个原始 x86 差分用例，历史编译器重编译后的完整 63 字节匹配。

Notion：追踪 Electron 富文本剪贴板桥

网页编辑器如何通过桌面端写入富文本剪贴板？

来源：REA 官方案例团队；原项目作者见来源

公开案例展示了 renderer → preload → IPC → main 的源码级解释，以及独立模块探针中的富文本标记与 Markdown 表格处理。

TH04：恢复 PC-98 弹幕环形角度算法

环形弹幕如何均匀展开，并叠加瞄准玩家的方向？

来源：REA 官方案例团队；原项目作者见来源

案例给出 REA 新检查结果，并引用历史 Turbo C++ 检查：包含该辅助函数的 2,139 字节范围匹配。

Aegis：从 Android APK 找出动态验证码算法

每 30 秒变化的六位登录码是怎么计算的？

来源：REA 官方案例团队；原项目作者见来源

官方页面报告：提取方法与独立实现对照 133 个用例，并核对 RFC 6238 的六个 SHA-1 参考样例。

DownUnderCTF：从二进制恢复 flag 检查方程

没有符号和源码，如何找出输入校验逻辑？

来源：REA 官方案例团队；原项目作者见来源

官方记录了正确候选输出 Correct! / exit 0、错误候选输出 Incorrect! / exit 255；求解后再对照主办方源码与 metadata。

Desktop Games：把砸桌面小游戏移植到 macOS 和浏览器

怎样理解 Peter 解释器和程序树，并移植交互与资源？

来源：ucodia

公开仓库包含 Swift macOS 版、浏览器版、反编译程序树及资源处理脚本。

Ski or Die：用 Rust 重建 Snowball War

怎样从旧 DOS 程序恢复投掷、碰撞、刷怪与计分规则？

来源：tuunanet

作者公开了 Rust + SDL2 可玩重建、行为规格、逆向笔记与资产提取工具。

paper-rs：研究 Paper 后构建 Rust 无限画布

怎样理解画布、布局和编辑器交互，并实现独立设计工具？

来源：michaelshimeles

公开项目包含无限画布、页面、布局、矢量编辑、白板与 MCP 接口，并列出测试与功能差异。

rec-rs：研究 OBS 后做原生 macOS 录屏工具

怎样做更聚焦的屏幕、摄像头与音频录制工具？

来源：michaelshimeles

项目公开屏幕/摄像头录制、音频混合、回放缓冲与直播功能；作者报告在 Apple Silicon Mac 上开发和测试。

terminal-rs：研究 TradingView 交互后做行情终端

如何把图表交互调查转化为独立 Rust 行情界面？

来源：michaelshimeles

项目公开 Rust GPU 图表、键盘命令、面板布局与数据接入；界面采用 Bloomberg 风格。

Wispr Flow：拆解语音输入链路并做本地小原型

录音、转写、上下文和粘贴是如何串起来的？

来源：az9713

公开拆解报告、Ghidra 补充调查、开发过程与本地 flowlite.py 原型。

hexgrab：从 PowerToys 二进制研究取色器

全局快捷键、像素取色和剪贴板怎样配合？

来源：iammukeshm

公开源码与 docs/rea-findings.md；作者报告 9 条发现中 8 条完全正确。

AdamTerm：研究 Ghostty 外壳后做自己的终端

终端核心、原生窗口、菜单和服务之间怎么分工？

来源：AdamLinCodes

作者以 AppKit + SwiftTerm 做了带原生标签页的精简 macOS 终端，并提供自检命令。

Ledger Reborn：研究 QuickBooks 后做本地账本

如何理解桌面会计工作流，并做独立本地应用？

来源：lxistired

公开 preview 包、源码和案例记录；作者列出发票、付款、库存、银行对账和报表等已实现流程。

VSL-DSP：把厂商库分析用于声卡 DSP 工具

厂商控制程序如何发现设备、注册参数和表示增益？

来源：grisuno

作者将调查结果用于 dB 命令、参数命名和线性/dB 转换，并提供 CMocka 测试。

Virtual Desktop Streamer：替换平台层实现 Linux 移植

如何保留协议库，把采集、编码、音频和输入换成 Linux 实现？

来源：cudanexus

公开 Linux 移植源码、构建与模拟头显测试，使用 PipeWire/X11、GStreamer 和 uinput。

OpenBSD netcat：静态审计已发布 ELF

已发布 netcat 包含哪些网络、代理和安全相关实现？

来源：NullLabTests

公开函数/字符串/调用路径调查、results.txt 与 files/ 下的原始 JSON 结果。

REA on REA：分析工具自身并检验预测

REA 如何选择原生分析 provider，又怎样判断 provider 不可用？

来源：az9713

公开完整过程与测试回执；作者报告四个回答都只部分正确，八个 Ghidra 检查结果中预测错了三个。

rea-groundtruth：对照已知源码找分析盲点

工具报告零个 IPC/窗口时，是程序真的没有，还是分析漏掉了？

来源：UnknownHacker1

作者公开一键复现：特定 webpack 形态的 Electron API 没被识别，并记录签名后 ASAR integrity mismatch 的处理方式。

rea-lab：测量 REA 对 Windows 逆向任务的实际帮助

加上 REA 后，代理解决任务的成功率、耗时和成本怎样变化？

来源：pablodiazjorge

Study 1 报告两组均解出 28/30；Study 2 为无 REA 11/24、用 REA 4/24；Study 3 为 71/72 与 68/72。作者报告 REA 组耗时与成本更高。

rea-playbook：把 Electron Evidence 变成可读报告与重建

拿到巨大 Evidence JSON 后，怎样提取可读事实并验证重建？

来源：jinshi666888

公开脱敏 Evidence fixture、file:line 报告、recreate 与断言；作者报告 10/10 重建检查通过。