カテゴリ別・REA 活用事例のおすすめ

用途別の最新リスト

下のリストは本サイトに公開中の事例から作られ、データベースの更新に合わせて変わります。固定したリポジトリの一覧ではありません。カテゴリ内は投票数と GitHub スター数の順です。これはコミュニティの関心度で、独立した検証でも、本サイトや REA プロジェクトによる推薦でもありません。

目的に近いカテゴリを選びましょう：機能の再現、ファイル形式やプロトコルの文書化、自分のプログラムの失われたソースの復元、防御的セキュリティ、CTF と学習、REA を中心にしたツール。事例をなぞる前に元の情報源を読み、使われた REA のバージョンと解析エンジンを確認してください。

事例を再現するのは、自分が所有するか調べる許可を得たソフトウェアだけにし、信頼できない対象は隔離した環境で扱ってください。掲載事例はすべて掲載ルールを満たしています。空のカテゴリは、まだ掲載がないことを示すだけです。資料の項目は手法の解説で、ソフトウェアを提供するとは限りません。

How Notion copies text and HTML — Traces a page-facing API in Notion's packaged JavaScript through its IPC wrappers to the system clipboard and shows how an HTML marker links rich block data to a copy.
Untangle rebuilt from REA evidence only — An agent analysed only the shipped Windows binary of an open-source puzzle game, wrote its findings, froze them, rebuilt the game as a web page and was graded against the real source (52 of 54 claims correct).
REA Research Lab: ten studies of released software — Ten bounded studies of released open-source components (Monaco, Grafana, n8n, Excalidraw, Joplin, Node-RED, KeePass, 7-Zip, restic, rclone), each with evidence, an independent reconstruction and thousands of differential checks.

ASIAIR firmware study with REA — Notes and scripts from studying how a telescope controller's firmware is built: its INDI-based stack, plain JSON-RPC on port 4700 and the three hardware generations; no vendor firmware is included.
WeChatミニプログラムから作るBluetoothトイレのステータスバーリモコン — スマートトイレのWeChatミニプログラムが話すBluetoothプロトコルをリバースエンジニアリングし、REAとCodexでメニューバーリモコンを構築（元のX投稿はショーケースからリンクされていない）。
QShare-linux: Linux 向け Quick Share — Linux 上で Google の Quick Share プロトコルをオープンソースで実装したもの。AI の支援を受けながら Nearby 接続を研究して構築され、Linux から Android へファイルを送信できる。

Outside-in leak check of a production Next.js and Stripe app — A black-box audit of the author's own portal: what can an anonymous visitor see, and what does the app leak, checked with REA from the outside.

Reconstructing DX-Ball 1.07 — Rebuilds the 1990s Breakout game's logic in C and checks it against the original x86 program with differential tests and byte-exact compiled output.
TH04 source reconstruction — Reconstructs a PC-98 DOS shooter's code, matching its 16-bit routines to readable C++ and the historical compiler's output.
The industrial revolution in reverse engineering — An essay on rebuilding three Touhou games with agents: what verification looks like, where agents help, and how knowledge carries from one project to the next.

OpenBattlefield2: a clean-room engine reimplementation — A C++20 clean-room reimplementation of the Refractor 2 engine behind Battlefield 2, an engine rather than a game; no game content is redistributed and there is no anti-cheat.

A stripped bzip2 build: what REA returned, checked against the source — 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.
OpenBSD netcat, analysed with REA and Ghidra — A static analysis write-up of Ubuntu's netcat-openbsd binary using REA with Ghidra, with the evidence behind each finding.
rea-playbook: from evidence to file:line to recreation — 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.
Hands-on: analysing your own apps with REA, Ghidra and Claude 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.
How an authenticator generates a login code — 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.
Solving a CTF flag checker — Inspects a DownUnderCTF binary, finds its checking functions, turns the masks and sums into equations and confirms the solved flag against the original program.

REA on Fedora-based Linux: setup notes and gotchas — Practical setup notes for running REA on Fedora-based Linux, with the problems hit along the way and a queue of tests.
My local model setup for REA on Linux (one 12 GB GPU) — How to run REA with local models on a single 12 GB GPU, and how five models compared.
Reducing token waste in REA workflows — A show-and-tell thread on keeping token use down in REA workflows and what other people are using.
REA (Reverse Engineer Anything) — Reverse engineer anything with agents, from app behavior down to native binaries.
Benchmarks: REA on Linux across Node versions and five local models — Start-up timings of REA on Node 22, 24 and 26 on Linux, plus a comparison of five local models.
REA in depth: an MCP toolchain for source-free analysis — A Chinese-language technical survey of how REA lets a coding agent analyse software without its source code.