用 REA 進行第一次分析
開始之前
你需要先在 agent 裡設定好 REA（見安裝指南），並準備一個你有權檢視的目標：你自己的應用程式、開源專案、CTF 題目的二進位檔，或專為練習設計的目標。以下指令取自 REA 專案公開的 README、CLI 說明與 agent 提示；若有變動，請以原文為準。
從 JavaScript 或 Electron 應用程式開始
靜態 JavaScript 分析不需要原生分析引擎，是拿到第一份結果最快的路。把 REA 指向解開後的應用程式目錄或 ASAR 檔：
npx -y rea-agents@latest analyze-javascript-application /absolute/path/to/app --json
結果會列出模組、import、Electron 邊界，以及各自的證據。請使用絕對路徑；在 Windows 上類似 "D:/apps/example"。靜態檢視只讀取檔案，不會執行應用程式。
直接問你的 agent
在 agent 裡說清楚目標、功能與你想拿到什麼。README 的範例：
Understand how search works in the Notes app, show me the evidence, and build a
similar feature for my project.
agent 會透過 MCP 呼叫 REA、追蹤相關程式碼，並取得附證據的發現。第一個問題越窄越好：一個功能、一個目標、要求附上證據。也可以請 agent 把「觀察到的」、「推論出的」和「仍然未知的」分開寫。
引導式調查
REA 也透過 MCP prompts 提供六種調查流程。支援 MCP prompts 的用戶端會依名稱列出：
| Prompt | 用途 |
|---|---|
investigate_feature | 從找到功能一路追到相關函式 |
compare_application_versions | 比較兩個已發布的版本 |
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 輔助分析可能不完整或有錯。依賴任何結論之前，先檢查背後的證據；也要記得，分析報告或類似原始碼的輸出並不會讓你取得原程式的任何權利。執行期流程會以你的使用者權限執行或操作目標，來路不明的目標請放在合適的環境裡測。詳見安全與合法使用。