CTF & learning

Asks REA which function prints one message in a stripped, optimised bzip2 binary; the answer and 24 callees matched an unstripped build and the source, and the post lists what this does not prove.

Practice code for a Korean online book that walks from analysing software with an agent to rebuilding a feature.

A static analysis write-up of Ubuntu's netcat-openbsd binary using REA with Ghidra, with the evidence behind each finding.

Follows the six-digit code calculation of the open-source Aegis authenticator through its released Android APK, and uses a demo clock to show why the code changes every 30 seconds.

A hands-on teaching playbook using a minimal Electron target: extract evidence with file and line references, probe the MCP server and recreate the feature.

Explains the familiar percent-key quirk and checks the explanation against the public, open-source Calculator code.

Follow-along exercises from a Korean video: build your own small Electron app and C program, then analyse them with REA, Ghidra and Claude Code.

Short write-ups that each follow the same discipline: a target, a method and the evidence REA produced.