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",短摘录简化了排版，完整上下文以原文为准。
原始来源
本页为独立整理，成果归原作者。目标软件、安装包和完整反编译输出不在此分发。