五個官方範例拆給你看：Android 登入碼、DX-Ball 音場、Notion 剪貼簿，REA 把觀察與推論分開寫

五個官方範例先看一輪：一支登入碼、一場音效、一個剪貼簿

REA 在 2026 年 10 月上旬的三天內，星數從約 2 萬漲到 7 萬 6 千多，官方儲存庫的里程碑提交就記錄了這段曲線（來源：morluto/rea，2026-10-11）。這類爆紅通常來自「看起來很神」的展示，而官網的 showcase 頁正好放了五個能逐項檢查的案例。先看一輪的價值是：不必懂逆向工程，也能判斷它交出來的東西可不可信。

根據儲存庫內的里程碑提交，10 月 8 日晚上 10 點 44 分突破 2 萬星，隔天中午 12 點 58 分就到 3 萬，之後每 10 到 14 小時增加一萬星。GitHub Trending 每日榜顯示單日新增 25,793 星，Hacker News 討論也衝到 720 分、311 則留言。

這五個案例覆蓋了行動、桌面、網頁與復古平台，對應到 REA 支援的 15 類目標中的好幾種。官方 showcase 頁把每個案例的輸入檔、使用的 provider 與最終產出都列出來，有興趣的人可以照著重跑一遍。

官方怎麼證明自己沒亂猜

每個案例官方都給了驗證方式，而且都能被第三方重做一遍。Aegis 是移動展示時鐘，確認登入碼真的每 30 秒輪替一次；DownUnderCTF 用比賽原始程式碼比對解出的 flag；DX-Ball 對照全部 63 個編譯位元組；Notion 用 HTML 標記與 rich block 資料互相印證；TH04 則跟原始 DOS 程式碼對照。

更關鍵的是資料分層。REA 把結果拆成觀察、推導、推論與未知四類，官方 AGENTS.md 明訂「fail、unknown、unsupported、truncated、skipped 永遠不得聚合成 pass」。翻成白話：它會主動標出「這段我沒查到」，而不是含糊帶過。你自己看得到的是每條結論旁標的信心值與來源工具名稱。

每一次成功的結果都會存成結構化證據，內含觀察、推導、推論、未知四類資訊，並附上信心值與 provider 名稱。這些證據可以匯出、重新匯入，也能跨版本 diff。官方 AGENTS.md 明訂「必須區分 observation、derivation、inference 與 unknown；保留 Evidence 的來源不可考性。」

五個案例合起來證明的是工作流程可重現，不是這套工具能自動解開任何東西。

觀察、推導、推論、未知：REA 把話分成四種講

AI 講得很像真的，你卻分不出哪句是真看到、哪句是腦補。REA 把每條結論貼標籤：工具實際看到的叫觀察（observation）、從觀察算出來的叫推導（derivation）、合理但未證明的叫推論（inference）、查不到的直接標未知（unknown）。

這是 Evidence v2 的固定欄位，每份結果存成獨立證據檔，綁著信心值與產出工具（如 ghidra、jadx、binwalk），可匯出 JSON、重新匯入、跨版本 diff，看出某條結論何時從推論升級成觀察。

用 Notion 剪貼簿案例看懂四種標記

讀表先問「這條結論是誰看到的」：工具跑出來的是觀察或推導，依常理的是推論；前者能寫測試或做版本比對，後者只是假設，未知是待辦清單。

官方 showcase 的 Notion 剪貼簿案例追頁面 API、IPC 包裝到系統剪貼簿，靠 HTML 標記與 rich block 互相印證。DX-Ball 音場重建把還原的 C 函式對全部 63 個編譯位元組比對；Aegis 驗證器調整展示時鐘，確認六位數登入碼每 30 秒輪替。

AGENTS.md 明訂「fail、unknown、unsupported、truncated、skipped 永遠不得聚合成 pass」：沒跑成功、沒跑完、查不到都不能算通過。

指令加 --json 會帶出每條結論的類型與信心值，整理版用 rea inspect-analysis-view。Obsidian 證據檔約 334 MB，投影成 summary view 只剩約 10 KB，這落差決定證據鏈塞不塞得進 agent 上下文。

你拿到的是可回頭查證的證據鏈。社群質疑「行為不等於實作」：外部行為算觀察，內部快取策略、衝突解決、離線資料模型沒挖到就標推論或未知。

自己跑一次：從 Notion 這種不用花錢的，到 DX-Ball 這種要裝工具的

前面拆的案例，其實都能自己重跑一遍，差別只在你要分析的目標是什麼。如果目標是 Notion 這類用網頁技術寫成的桌面軟體，門檻低到讓人意外；如果目標是 1996 年的 DX-Ball，或 PC-98 上的 TH04 這種直接在機器上執行的老程式，就得先選一套反編譯工具。以下分兩條路線走。

路線一：JavaScript 與 Electron，裝好 Node.js 就能跑

Notion 剪貼簿的案例完全不碰原生引擎，因此不需要付費工具。REA 官方需求寫得很清楚：這一類只要 Node.js，版本要 22.19 以上或 24.11 以上，23 與 25 版不支援（官方安裝文件，2026 年）。裝好之後，一行指令就能對整個應用程式資料夾做靜態分析。

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

真正的坑在檔案大小。官方拿 Obsidian 示範，完整證據檔有 334 MB，這種體積餵不進 agent 的上下文。解法是「先存檔、再投影」：把完整結果寫成檔案保存，另外產生一份只留摘要的視圖，同一個應用程式瞬間縮到約 10 KB。原文出處在 CLI 文件，建議直接抄下來備用。

路線二：原生執行檔，先想清楚要花多少錢

DX-Ball、TH04、DownUnderCTF 三個案例都屬於原生分析。REA 本身不反編譯，它負責呼叫你電腦上已經裝好的工具，所以第一個問題是：你要用哪一套？

• Ghidra：美國國安局釋出的開源工具，免費，也是目前 Windows 上唯一的選擇。
• Hopper：macOS 生態的主力，個人授權 99 歐元、單機 129 歐元，一次買斷（工具比較）。
• Binary Ninja：個人版 199 美元、商業版 1,799 美元（官方定價頁）。

只想試水溫，就從 Ghidra 開始，零成本。這裡有個很多人會踩的雷：Windows 的原生分析目前只支援 Ghidra，而且官方標示為實驗性。要在 Windows 上跑這條路線，心裡先有個底。若你手上是 Linux，還要確認系統版本落在 Ubuntu 24.04 以上的支援基線內，公司裡常見的 22.04 並不在名單上。

替代方案有限公司觀點：證據鏈幫台灣團隊省下哪一段工

先說我們的結論：REA 這類工具在台灣不會讓你的團隊變成逆向高手，它省下的是「把工具串起來」那一段。以我們接案的經驗，這段工往往佔掉一個工程師好幾天，流程還很難交接。REA 的證據模型把觀察、推導、推論與未知分開記錄，這件事對交付品質的幫助，比它能不能反編譯更關鍵（官方 AGENTS.md，2026）。

三個我們每季都會碰到的場景

• 客戶交付的舊系統沒有原始碼：要先摸清介面才敢動。以前得靠工程師憑經驗翻，現在可以先讓 agent 產出一份帶信心值的介面清單，我們再人工複核。
• 交接的軟體沒有文件：靠行為觀察補規格。這裡要老實說，行為不等於實作，快取策略、離線資料模型這種東西推不出來，補出來的規格只能當起點。
• 內部稽核要看某支程式連去哪裡：以前是土法煉鋼抓封包，現在用 HAR 或程序行為捕捉，證據可以直接存檔、跨版本比對。

我們的工作機是 Linux Mint 22.3，底層是 Ubuntu 24.04，搭配 Node v22.23.3，剛好落在官方支援基線內，靜態分析這條路線可以直接跑。台灣企業裡更常見的 Ubuntu 22.04 或 CentOS 系就不在名單上，要嘛升級、要嘛另外開一台。

所以我們的建議很直白：先挑 JavaScript、Electron、.NET 這三類不用付費工具的目標，拿一個真實案子試跑，再決定要不要碰原生執行檔。原生路線要花錢買 Hopper 或自備 Ghidra，還要接受 Windows 只有實驗性支援。對已經有逆向方法論的人，它省的是串接時間，不是能力躍升；對沒有方法論的人，它給的是一份看起來很完整的報告，風險得自己承擔。

這些案例證明什麼、不證明什麼：限制、成本與工具對照

官方 showcase 上五個案例，像是把 DX-Ball 的音場計算還原成 C 函式、追出 Android 登入碼的六位數是怎麼算出來的，確實好看。但第三方分析指出，它們證明的是「工作流程可重現」，不是「工具能自動解開任何東西」（explainX 案例拆解，2026）。

官方自己列的限制，比行銷文案誠實

• 這不是沙箱。官方 SECURITY.md 寫得很白，它不防禦已經在你帳號下執行的惡意程式。
• 會用你的權限真的執行程式。做程序行為捕捉時，目標程式是真的被跑起來，不是只讀檔。
• 結果會出門。分析在本機做，但整理好的證據會送進你 agent 背後的模型供應商。
• 平台與版本有洞。Node.js 23 與 25 不支援，Windows 原生分析仍為實驗性；macOS 缺 get-task-allow 就擷取不到。

社群端的質疑也要並陳：能模仿外部行為，推不出內部的快取策略或衝突解決；反編譯出來的程式碼缺少「為什麼這樣設計」的脈絡，規模一大就容易重寫。也有團隊直言，對已有逆向方法論的人，它省的是工具串接時間，不是能力躍升，而且深度調查很吃 token，成本得另外算。

什麼情況下多一層編排才划算

REA 不取代 Ghidra、IDA 或 Binary Ninja，它是在這些工具前面加一層編排，幫 agent 挑工具、下參數，把結果整理成統一證據。純手工派認為多這層沒必要，目標單一、想快點看到結果時確實如此。但當你要一次比對多個版本、要把觀察與推論分開留痕，或讓沒受過逆向訓練的同事也能複製同一套流程，這層編排就划得來。成本上，Ghidra 免費，Hopper 個人版 99 歐元、Binary Ninja 個人版 199 美元，真正要花錢的只有原生執行檔這條路。

常見問題 FAQ

Q：這跟我直接叫 AI 猜一猜，到底差在哪？
差在「有沒有附證據」。直接叫 AI 猜，它會給你一段看起來很合理的說明，但你分不出哪一句是它真的看到、哪一句是它自己推的。REA 把結論分成四類：觀察（工具實際看到什麼）、推導（從觀察算出來什麼）、推論（合理但還沒證明什麼）、未知（明確標示沒查到的地方），每個結論都附信心值，也記下是哪個工具給的。官方原則還寫明：fail、unknown 這些狀態永遠不能合成一個 pass。所以它交出來的是一條可以回頭查證的證據鏈，而不是一段漂亮的猜測。

Q：分析的資料會不會傳出去？會不會動到我電腦？
REA 官方講得很白：分析是在你的本機跑，但結果會進到你用的 AI 模型供應商那邊，不是完全不出門。另外它也不是沙箱，執行時會用你自己的使用者權限真的去跑那支程式，不防禦已經在你帳號下執行的惡意程序。聽起來有點嚇人，但換個角度想，你叫 Claude 自己裝 Ghidra 來做，同樣的事一樣會發生。所以重點不是工具多神，而是你要清楚自己餵進去的是誰家的東西、以及那些結果會流到哪裡。

Q：我沒學過逆向工程，這樣能用嗎？要花錢嗎？
不用花錢。只做 JavaScript、Electron、.NET 這三類，完全不需要額外付費工具，裝好 Node.js 就能跑，版本要 22.19 以上或 24.11 以上（Node.js 23、25 不支援）。真正要花錢或花時間設定的只有原生執行檔那條路，其中開源的 Ghidra 免費，Hopper 個人版 99 歐元一次買斷。不過門檻低不等於什麼都能自動解出來，官方那五個案例證明的是工作流程可以重現，不是魔法，對已經有逆向方法論的人來說，主要價值是省下工具串接的時間。

📩 有任何問題或需要協助，歡迎聯絡我們：[email protected]