REA ではじめての解析

始める前に

必要なのは、エージェントに REA をセットアップ済みであること（インストールガイドを参照）と、調べる許可がある対象です。自分のアプリ、オープンソースのプロジェクト、CTF のバイナリ、学習用に作られた練習用ターゲットなどが該当します。以下のコマンドは REA プロジェクトが公開している README、CLI ガイド、エージェント用プロンプトに基づいています。変更があった場合は原文を確認してください。

まずは JavaScript / Electron アプリから

JavaScript の静的解析にはネイティブ解析エンジンが要らないので、最初の結果を得る一番の近道です。展開済みのアプリのディレクトリか ASAR ファイルを REA に渡します。

npx -y rea-agents@latest analyze-javascript-application /absolute/path/to/app --json

結果には、モジュール、インポート、Electron の境界と、それぞれの根拠が含まれます。パスは絶対パスで指定してください。Windows なら "D:/apps/example" のような形です。静的な調査はファイルを読むだけで、アプリは実行しません。

エージェントに頼む

エージェントの中で、対象、知りたい機能、返してほしいものを伝えます。README の例：

Understand how search works in the Notes app, show me the evidence, and build a
similar feature for my project.

エージェントは MCP 経由で REA を呼び出し、関連するコードを追跡して、根拠つきの発見を受け取ります。最初の質問は絞り込むのがコツです。機能はひとつ、対象もひとつ、そして根拠を求めること。観察したこと、推測したこと、まだ分からないことを分けて示すよう、エージェントに頼みましょう。

ガイド付きの調査

REA は MCP プロンプトとして 6 つの調査ワークフローも提供しています。MCP プロンプトを表示できるクライアントでは、名前で一覧に出てきます。

プロンプト	用途
investigate_feature	機能の発見から関連する関数までを追跡する
compare_application_versions	出荷済みの 2 つのビルドを比較する
verify_reconstruction	再構成した結果を保存済みの根拠と照合する
trace_crash	クラッシュの症状をコードパスと結びつける
audit_residual_unknowns	まだ分かっていない点を見直す
prepare_bounded_process_capture	何かを実行する前に、制御された実行時の実験を計画する

ネイティブバイナリ

ネイティブ解析には Hopper、Ghidra、IDA のいずれかを使います。エンジンの準備ができているか確認し、REA が認識しているプロバイダーを一覧し、対象に対応するものが複数あればひとつ選びます。

rea doctor --provider ghidra --json
rea providers --json
rea analyze /absolute/path/to/program --provider hopper

rea doctor は設定を読むだけで、何も変更しません。REA_ANALYSIS_PROVIDER を設定して、常に使うプロバイダーを決めておくこともできます。ネイティブ解析の結果には、疑似コード、アセンブリ、文字列、シンボル、呼び出し、参照が含まれます。

レビューする目で結果を読む

プロジェクトの免責事項ははっきり書いています。逆コンパイル、再構成、AI による解析は、不完全だったり誤っていたりすることがあります。結論に頼る前にその根拠を確かめてください。また、解析レポートやソースのような出力を得ても、元のプログラムに対する権利は何も得られません。実行時のワークフローはあなたの権限で対象を実行したり操作したりするので、信頼できない対象は適切な環境で試してください。安全で合法的な使い方もご覧ください。

見つけたことを共有する

REA で面白いことをしましたか？元の情報源へのリンクを添えて、本サイトに事例を投稿してください。REA プロジェクトも Issue で事例を歓迎しています。