REA case studies.

Game reconstruction, Electron analysis and a CTF challenge, with code, figures and checked results.

CTF · Native analysis

Solve a CTF flag checker

Inspect an easy DownUnderCTF challenge with REA. Find its checking functions, turn masks and sums into equations, then verify the solved flag with the original program.

Binary Checking code Equations Correct!
Read the CTF case study

Native · Reconstruction

DX-Ball's sound-pan calculation

Recover a sound-pan calculation from a 1996 Windows game. REA's instructions, caller references and numeric constants lead to a small C function, checked against the original behavior and all 63 compiled bytes.

Executable REA findings Recovered C Validation
Read the DX-Ball case study

Electron · Feature tracing

How Notion copies text and HTML

Trace a page-facing API through Notion's packaged JavaScript. Follow its IPC wrappers to the system clipboard, then see how a small HTML marker keeps rich block data connected to a copy.

Packaged app Exposed API IPC wrappers Clipboard
Read the Notion case study

PC-98 DOS · Reconstruction

How TH04 aims a ring of bullets

Inspect the original 16-bit angle helper with REA. Match its multiply, divide and coordinate operations to readable C++, then see how they produce a ring aimed at the player.

Original DOS code REA instructions Angle calculation Bullet ring
Read the TH04 case study

Step-by-step guides

The guides walk through a native calculation, an Electron export and a browser request. Each starts with a prompt and a concrete target.

Read the guides

Top