依分類精選 REA 使用案例
依用途即時整理的清單
以下清單來自本站已上架的案例,會隨資料庫更新,不是寫死的儲存庫清單。各分類內以投票與 GitHub 星數排序;這反映的是社群關注度,不是獨立測試,也不代表本站或 REA 專案的背書。
從你想弄懂的事出發
選擇最接近目標的分類:重現某個功能、整理檔案格式或通訊協定、還原自己程式遺失的原始碼、防禦性資安工作、CTF 與學習,或圍繞 REA 打造的工具。照著做之前先讀案例的原始來源,並確認它使用的 REA 版本與分析引擎。
照著做之前
只在你擁有或獲授權檢視的軟體上重現案例,並在隔離環境中處理不受信任的目標。每個收錄的案例都通過了內容規範;空的分類只代表目前還沒有收錄。教學資源說明的是技巧,不一定提供軟體。
應用功能重現
- How Notion copies text and HTML — 在 Notion 打包的 JavaScript 裡,從頁面端 API 追到 IPC 包裝再到系統剪貼簿,說明 HTML 標記如何把富文字區塊資料連回複製內容。
- Untangle rebuilt from REA evidence only — 代理人只看開源益智遊戲的 Windows 執行檔,寫下發現並鎖定,重建成網頁版,再用真實原始碼評分(54 項主張中 52 項正確)。
- REA Research Lab: ten studies of released software — 十個針對已發佈開源元件(Monaco、Grafana、n8n、Excalidraw、Joplin、Node-RED、KeePass、7-Zip、restic、rclone)的研究,各附證據、獨立重建與大量差分比對。
修補與修復
檔案格式與協定
- ASIAIR firmware study with REA — 研究天文望遠鏡控制盒韌體的筆記與腳本:以 INDI 為核心的架構、4700 埠的明文 JSON-RPC、三代硬體差異;不附任何原廠韌體。
- A status-bar remote for a Bluetooth toilet, from its WeChat mini-program — 逆向智慧馬桶微信小程式使用的藍牙通訊協定,並用 REA 與 Codex 做出選單列遙控器(展示頁沒有附 X 原文連結)。
- QShare-linux: Quick Share for Linux — 以 AI 輔助研究 Nearby 連線後,用開源方式實作 Google Quick Share 通訊協定,讓 Linux 能傳檔給 Android。
資安與惡意程式分析(防禦)
- Outside-in leak check of a production Next.js and Stripe app — 對作者自己的入口網站做黑箱稽核:匿名訪客能看到什麼、應用有沒有外洩,用 REA 從外部檢查。
遺失原始碼還原
- Reconstructing DX-Ball 1.07 — 把九〇年代打磚塊遊戲 DX-Ball 的邏輯重建成 C,並用原版 x86 程式的差分測試與位元組等同的編譯結果驗證。
- TH04 source reconstruction — 重建 PC-98 DOS 射擊遊戲 TH04 的程式碼,把 16 位元常式對應到可讀的 C++ 與當年編譯器的輸出。
- The industrial revolution in reverse engineering — 一篇關於用代理人重建三款東方遊戲的文章:驗證怎麼做、代理人幫得上哪裡,以及經驗如何在專案之間累積。
遊戲模組與互通
- OpenBattlefield2: a clean-room engine reimplementation — 以 C++20 淨室重新實作《戰地風雲 2》背後的 Refractor 2 引擎,只做引擎、不含遊戲內容,也沒有反作弊。
CTF 與學習
- A stripped bzip2 build: what REA returned, checked against the source — 請 REA 找出被剝除符號且最佳化的 bzip2 執行檔裡哪個函式印出某則訊息;結果與 24 個被呼叫函式皆和未剝除版本與原始碼吻合,文中也列出這個實驗證明不了的部分。
- OpenBSD netcat, analysed with REA and Ghidra — 用 REA 搭配 Ghidra 對 Ubuntu 的 netcat-openbsd 執行檔做靜態分析,並附上每項發現的證據。
- rea-playbook: from evidence to file:line to recreation — 動手教學手冊:以最小的 Electron 目標為例,擷取附檔案行號的證據、探測 MCP 伺服器並重建功能。
- Hands-on: analysing your own apps with REA, Ghidra and Claude Code — 跟著一支韓文影片做的練習:自己寫小型 Electron 應用與 C 程式,再用 REA、Ghidra 與 Claude Code 分析。
- How an authenticator generates a login code — 從開源驗證器 Aegis 已發佈的 APK 追出六位數驗證碼的計算方式,並用示範時鐘說明為何每 30 秒換一次。
- Solving a CTF flag checker — 分析 DownUnderCTF 的一個執行檔,找出檢查函式、把遮罩與加總轉成方程式,並用原程式驗證解出的 flag。
工具與整合
- REA on Fedora-based Linux: setup notes and gotchas — 在 Fedora 系 Linux 上跑 REA 的實作筆記,記錄遇到的問題與待測清單。
- My local model setup for REA on Linux (one 12 GB GPU) — 在單張 12 GB 顯卡上用本地模型跑 REA 的做法,以及五個模型的比較。
- Reducing token waste in REA workflows — 討論如何在 REA 工作流程中減少 token 浪費,以及大家各自的做法。
- 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 — REA 在 Linux 上於 Node 22、24、26 的啟動時間,以及五個本地模型的比較。
- REA in depth: an MCP toolchain for source-free analysis — 以中文撰寫的深度調研,說明 REA 如何讓程式碼代理人在沒有原始碼的情況下分析軟體。