CTF 与学习

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.

一本韩语在线书籍的练习代码，该书讲解从使用智能体分析软件到重建一个功能的全过程。

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.

解释熟悉的百分号键怪癖，并结合公开、开源的计算器代码来验证该解释。

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.