Trail of Bits 发布两个 agent 插件：patching-bugs 写补丁，regression-hunt 查回归

安全公司 Trail of Bits 于 2026 年 10 月 21 日发布 patching-bugs 和 regression-hunt 两个插件，让工程师把补丁开发和回归检查委托给 agent，工程师负责指挥并审核结果。两个插件来自该公司与 OpenAI 的联合项目 Patch the Planet。Trail of Bits 称，在初步评估中，regression-hunt 产生的误报比基线 Codex agent 少 25%。这一数据为发布方自测。

来源与动机

Patch the Planet 已为广泛使用的开源项目合写了数百个安全补丁。Trail of Bits 审查了其工程师提交并被上游合并的 130 多个 PR，确认其中有 21 个回归：16 个功能性、1 个性能、4 个构建或测试方面，没有一个破坏安全防护。

审查过程噪声不小：单次运行在 58 个候选中识别出这 21 个已确认回归，精确率约 36%。Trail of Bits 据此得出两点结论：写补丁需要每次都执行同样检查的标准做法，查回归也需要写明「什么算回归」的标准做法。

四条设计原则

博客称，设计依据是对已合并补丁的复盘，以及工程师的数千次 Codex 会话。

1. 指导尽量精简：只记录 Trail of Bits 对好补丁和真回归的判断，给 agent 较大的自由度。
2. 步骤模块化：两个插件都包含多个 skill，可以组合使用，也可以单独使用。
3. 严格的输入输出 schema：每一步都有固定格式，包含结论、代码版本、所需检查、原始证据和未决问题，后一步可以核验前一步的工作。
4. 每个结论都要有实机 PoC：必须在实际运行的项目上用概念验证复现；做不到，结果就是 inconclusive（无定论）。

regression-hunt：用证据压低误报

regression-hunt 分四步：

• 沿改动代码追踪到真实接口，枚举候选回归。
• 在运行实例上逐个复现。
• 用全新上下文的 agent 重放 PoC。
• 由裁定步骤判断证据是否达到回归标准，排除误报、不完整的修复和既有 bug 等情况。

如果项目提供了威胁模型，编排器会把它作为全局上下文传给每一步。

评估结果

Trail of Bits 用上述 21 个已知回归，对比 regression-hunt 与用「review the PR for regressions」提示的基线 Codex agent：前者的误报少 25%，95% 置信区间为 14% 至 38%。代价是证据要求严格，部分已知回归被归为 borderline，即识别出可能的回归，但没有收集到足够证据确认。该公司表示，下一步会研究这些案例，改进取证策略。

patching-bugs：三段式证明

patching-bugs 要求「三段式证明」：同一个复现用例在三种代码上运行，原代码必须失败，打补丁后必须通过，完全回滚补丁后必须再次失败。博客称，把补丁撤掉后 bug 重新出现，能更有力地说明修复来自补丁，而不是环境或测试的变化。

该插件还会尝试修复被违反的安全不变量，而不只是单个 bug，并强制运行 regression-hunt，让每个补丁都经过同一条检查流程。

项目需要提供什么

博客建议项目提供两个文件：

• THREAT_MODEL.md：说明什么算漏洞、什么算回归。
• PATCHING_GUIDELINES.md（或 AGENTS.md）：说明项目希望怎样写修复，包括构建与测试方法、修复的大小和位置、如何呈现改动，以及回归测试必须证明什么。

Trail of Bits 的工程师已为 GPAC 编写威胁模型和项目专用的补丁 skill；liboqs 与 validator.js 也按其指南发布了威胁模型。

来源

• https://blog.trailofbits.com/2026/10/21/your-ai-agent-fixed-the-bug-but-what-else-did-it-change/