REA 逆向工程检查为什么宁报 unknown 不报 passfail-closed 设计的完整避坑指南【免费下载链接】reaReverse engineer anything with agents, from app behavior down to native binaries.项目地址: https://gitcode.com/GitHub_Trending/rea2/reaREAReverse Engineer Anything是在本地跑的逆向工程工具包让 AI Agent 从 App 行为一路逆向到 native 二进制并把 Hopper、Ghidra、浏览器观察这些能力统一成 MCP 接口喂给 Agent。它最反直觉的规矩是重构就绪检查里证据一缺就落unknown绝不美化成pass。这套三态检查的取舍正是本文要拆的。把没测过默认成没事会埋多大的雷先做个类比。体检报告上有一项写着未检测医生不会替你打勾填成正常——那样你就再不去补这项检查真有问题也被这行绿字盖过去了。没测就是没测。逆向工程里是同一个道理。Agent 重建一段实现时某个符号查不到多半只是调试信息没带出来不代表对应的功能真的不存在。可要是工具把没查到回成没问题Agent 就会顺着这个错前提一路重建整条实现跟着歪掉。 REA 的立场是 fail-closed不确定的宁可挂起也不放行。REA 怎么把不确定拆成能读的状态对外常叫三态实际是pass、fail之外再补三个中间态。核心思路不给结论留模糊地带把每一种没搞定单独标出来再配一条下一步建议。五种状态各管各的事状态它到底在说什么unknown证据不够下不了结论最常被缺证据触发unsupported引擎本身不支持这项分析truncated分析中途被截断skipped这一步被主动跳过了区分它们的意义在于处方不同truncated提醒你没跑完重跑一次unsupported提醒你换个引擎unknown则提醒你补证据。同是没通过下一步完全不一样。整体结论怎么定少一项就抢不回 pass汇总逻辑在 reconstructionReadiness.ts 的聚合函数里一条一条过只要有一个必需阶段挂在fail上整体直接判fail每个必需阶段都拿到pass整体才有资格pass其余情形按unknown→truncated→unsupported→skipped的先后谁先命中就返回谁全都落空时默认仍回unknown。第 2 条的反面值得注意哪怕只缺一个必需阶段整体也拿不到pass。阶段层面还更严一点——某个阶段哪怕自己填了pass只要还挂着未解决的 finding也会被压回unknown。证据本身也分了可信度档每条 Evidence 还带一个confidence字段分三档observed亲眼看到、derived推算得出、inferred靠推断补的。evidence.ts 里另有authority标明这条证据来自 shipped-artifact、controlled-replay 还是 analyst-inference 等来源。状态分层加置信度分层等于给每条证据配了一本小账本。三个边界 case看机制怎么落地空证据包义务台账文档 写得很直白——空请求只会产出一个unknown台账里面一条义务都没有源证据不到位闭环这种话根本不该说。对比不完整九阶段里的compare-authority-candidate要求只要对比被截断、权限拿不到、或撞到矛盾证据结论就强制降为unknown专治看起来等价的假阳性规则见 reconstruction-readiness 文档。阶段没交在输入里找不到的阶段不会按通过处理而是直接标成缺失并附一句Supply the missing conformance stage.——缺了这一科总分自然给不了满分。报告到手先做什么、怎么读拿到报告后按这个顺序看先看整体status。是pass就放心用是fail照着 finding 里的稳定 reason code 改。是unknown别慌那不是报错而是工具在跟你明说我还不能确定。顺着每个阶段的next_action补证据就行。想本地复算一遍跑npm run verify:readiness校验脚本 会走完整九阶段闭环并验证对陈旧、被篡改输入的拒绝。一句话收尾没验证过就别当验证过。REA 把缺证据钉死在unknown上好unknown是在提醒 Agent 还差哪块拼图坏pass才会把它架着错误前提往前冲——这正是逆向工程这条信任链的地基。【免费下载链接】reaReverse engineer anything with agents, from app behavior down to native binaries.项目地址: https://gitcode.com/GitHub_Trending/rea2/rea创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
REA 逆向工程检查为什么宁报 unknown 不报 passfail-closed 设计的完整避坑指南【免费下载链接】reaReverse engineer anything with agents, from app behavior down to native binaries.项目地址: https://gitcode.com/GitHub_Trending/rea2/reaREAReverse Engineer Anything是在本地跑的逆向工程工具包让 AI Agent 从 App 行为一路逆向到 native 二进制并把 Hopper、Ghidra、浏览器观察这些能力统一成 MCP 接口喂给 Agent。它最反直觉的规矩是重构就绪检查里证据一缺就落unknown绝不美化成pass。这套三态检查的取舍正是本文要拆的。把没测过默认成没事会埋多大的雷先做个类比。体检报告上有一项写着未检测医生不会替你打勾填成正常——那样你就再不去补这项检查真有问题也被这行绿字盖过去了。没测就是没测。逆向工程里是同一个道理。Agent 重建一段实现时某个符号查不到多半只是调试信息没带出来不代表对应的功能真的不存在。可要是工具把没查到回成没问题Agent 就会顺着这个错前提一路重建整条实现跟着歪掉。 REA 的立场是 fail-closed不确定的宁可挂起也不放行。REA 怎么把不确定拆成能读的状态对外常叫三态实际是pass、fail之外再补三个中间态。核心思路不给结论留模糊地带把每一种没搞定单独标出来再配一条下一步建议。五种状态各管各的事状态它到底在说什么unknown证据不够下不了结论最常被缺证据触发unsupported引擎本身不支持这项分析truncated分析中途被截断skipped这一步被主动跳过了区分它们的意义在于处方不同truncated提醒你没跑完重跑一次unsupported提醒你换个引擎unknown则提醒你补证据。同是没通过下一步完全不一样。整体结论怎么定少一项就抢不回 pass汇总逻辑在 reconstructionReadiness.ts 的聚合函数里一条一条过只要有一个必需阶段挂在fail上整体直接判fail每个必需阶段都拿到pass整体才有资格pass其余情形按unknown→truncated→unsupported→skipped的先后谁先命中就返回谁全都落空时默认仍回unknown。第 2 条的反面值得注意哪怕只缺一个必需阶段整体也拿不到pass。阶段层面还更严一点——某个阶段哪怕自己填了pass只要还挂着未解决的 finding也会被压回unknown。证据本身也分了可信度档每条 Evidence 还带一个confidence字段分三档observed亲眼看到、derived推算得出、inferred靠推断补的。evidence.ts 里另有authority标明这条证据来自 shipped-artifact、controlled-replay 还是 analyst-inference 等来源。状态分层加置信度分层等于给每条证据配了一本小账本。三个边界 case看机制怎么落地空证据包义务台账文档 写得很直白——空请求只会产出一个unknown台账里面一条义务都没有源证据不到位闭环这种话根本不该说。对比不完整九阶段里的compare-authority-candidate要求只要对比被截断、权限拿不到、或撞到矛盾证据结论就强制降为unknown专治看起来等价的假阳性规则见 reconstruction-readiness 文档。阶段没交在输入里找不到的阶段不会按通过处理而是直接标成缺失并附一句Supply the missing conformance stage.——缺了这一科总分自然给不了满分。报告到手先做什么、怎么读拿到报告后按这个顺序看先看整体status。是pass就放心用是fail照着 finding 里的稳定 reason code 改。是unknown别慌那不是报错而是工具在跟你明说我还不能确定。顺着每个阶段的next_action补证据就行。想本地复算一遍跑npm run verify:readiness校验脚本 会走完整九阶段闭环并验证对陈旧、被篡改输入的拒绝。一句话收尾没验证过就别当验证过。REA 把缺证据钉死在unknown上好unknown是在提醒 Agent 还差哪块拼图坏pass才会把它架着错误前提往前冲——这正是逆向工程这条信任链的地基。【免费下载链接】reaReverse engineer anything with agents, from app behavior down to native binaries.项目地址: https://gitcode.com/GitHub_Trending/rea2/rea创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
