REA Safe Agent：在兩個受限程序之間轉發靜態分析
分析目標: REA 6.7.0、Ghidra 12.1.4 與 JADX 整合；無害 ELF 測試樣本及 F-Droid APK
作者 / 歸屬: dagoSte
核對日期:
收錄狀態: 已閱讀公開原文，未獨立復跑作者測試。
想解決什麼問題
怎樣讓代理查詢 REA，同時約束輸入、主機工具和模型請求的訪問範圍？
REA 具體做了什麼
實現將 REA 與接收結果的代理放在兩個獨立 Docker 容器，由主機控制器轉發允許的 MCP 呼叫；凍結輸入副本、工具路徑檢查和結果大小限制約束跨界資料，實際靜態分析由 REA 提供。
原作者報告的成果
帶日期的 macOS ARM64 回執報告：Claude 對同一無害 ELF 成功呼叫 REA 11 次，Codex 成功呼叫 9 次，並與已知原始碼核對雜湊、FNV-1a 常量及解碼字串；驗證記錄另報告對 F-Droid 2.0.2 的實時分析成功呼叫 REA 39 次。
侷限與未驗證項
這是作者公開的回執，不是獨立安全認證。靜態分析不執行目標。隔離依賴 Docker 與主機控制器；分析文字會送到模型服務，Windows Docker 整合仍為實驗性。整映象仍有漏洞掃描發現，不能與單獨的乾淨 npm 審計混為一談。
可以借鑑什麼
區分模擬策略測試、真實工具呼叫和實時模型執行，將每項結論繫結到帶日期的目標、主機和回執。
原文中的 REA 使用證據
"rea_version": "6.7.0",短摘錄簡化了排版，完整上下文以原文為準。
原始來源
本頁為獨立整理，成果歸原作者。目標軟體、安裝包和完整反編譯輸出不在此分發。