Trail of Bits 发布 patching-bugs 与 regression-hunt,分别帮助开发补丁和寻找补丁造成的新缺陷。“回归”在这里有严格含义:原来正确且受支持的行为,被这次改动破坏,而且真实用户或攻击者能够触达那条路径。旧缺陷、修复不完整和不受支持的用法,不能都算成新回归。
修补流程先复现报告,再围绕被破坏的安全约束修改代码,并采用三组验证:旧代码失败、补丁后通过、完全撤销补丁后再次失败。这样能更有力地区分“补丁确实修好”与环境或测试恰好变化。回归检查则从改动追到调用方和实际入口,在实际运行环境中复现前后差别,换一个新上下文的 Agent 重放,再由裁定步骤检查证据是否符合定义。每一步传递代码版本、原始证据和未解问题。
作者复查自己参与且已合入的 130 多个 PR,确认 21 个回归,涉及功能、性能、构建或测试。在这些已知案例上的初步比较中,regression-hunt 比仅提示基础 Agent 审查回归少产生 25% 的误报,报告的 95% 置信区间为 14%–38%。严格举证也使部分真实回归停留在证据不足状态;这个结果不能读成整体检出能力提高 25%。