REA 实际案例。
安卓、游戏、Electron 与一个 CTF 挑战,附代码、图示和已验证的结果。
Android · APK 分析
身份验证器如何生成登录验证码
在其发布的APK中找到Aegis的六位数代码计算。 使用REA跟踪生成方法,然后移动演示时钟以查看代码每30秒更改一次的原因。
APK →
生成验证码 →
还原的规则 →
可调时钟
阅读Android案例研究
CTF · 原生分析
分析 CTF flag 检查器
用 REA 检查一个简单的 DownUnderCTF 挑战。找出它的检查函数,把掩码和总和转成方程,再用原始程序验证求得的 flag。
二进制 →
校验 flag 的代码 →
方程 →
正确!
阅读CTF案例研究
原生程序 · 重建
DX-Ball 的声像计算
从 1996 年的一款 Windows 游戏中还原声像计算。REA 的指令、调用方引用和数值常量共同指向一个很小的 C 函数,并与原始行为以及全部 63 个已编译字节逐一核对。
可执行文件 →
REA 分析结论 →
还原的 C 代码 →
验证
阅读DX-Ball案例研究
Electron · 功能追踪
Notion 如何复制文本和 HTML
在 Notion 打包后的 JavaScript 中追踪一个面向页面的 API。顺着它的 IPC 包装函数追到系统剪贴板,再看一个小的 HTML 标记如何让富内容块数据与这次复制关联起来。
打包应用程序 →
公开API →
IPC包装器 →
剪贴板
阅读Notion案例研究
PC-98 DOS · 重建
TH04 如何把环形弹幕对准玩家
用 REA 检查原始的 16 位角度辅助函数,把其中的乘法、除法和坐标运算对应到可读的 C++ 代码,然后看看它们如何生成一个朝向玩家的环形弹幕。
原始DOS代码 →
REA 指令 →
角度计算 →
环形弹幕
阅读TH04案例研究
循序渐进指南
这些指南分别讲解一次原生代码计算、一次 Electron 导出和一次浏览器请求,每一步都从一个提示词和一个具体目标开始。
阅读指南