CTF・学習

ストリップされ最適化された bzip2 バイナリにおいて、1 つのメッセージを出力する関数はどれかと REA に尋ねる；その回答と 24 個の呼び出し先は、ストリップされていないビルドおよびソースコードと一致し、この記事はこれが証明しないことを列挙している。

エージェントを使ってソフトウェアを分析することから、機能を再構築するまでの流れを解説する韓国語のオンライン書籍の練習用コード。

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.

おなじみのパーセントキーの癖を説明し、その説明を公開されたオープンソースの Calculator コードと照らし合わせて確認します。

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.