Trail of Bits 开源两款插件:让 Agent 自证补丁正确并追捕回归
JiaweiLiu_ · x · 2026-11-14
Trail of Bits 发布两个开源 agent 插件 patching-bugs 和 regression-hunt,把数百个 Patch the Planet 补丁和数千次内部 Codex 会话积累的补丁最佳实践编码进去。
- patching-bugs:要求 agent 证明每个修复——原始代码能复现失败、打补丁后通过、完整 revert 后再次失败,三步缺一不可;
- regression-hunt:检查改动是否破坏了其他功能,为每个回归提供可运行的 PoC 证据;初步评估中比基线 Codex agent 的误报少 25%。
该项目源于其与 OpenAI 合作的 Patch the Planet 计划。对已合并的 130+ PR 的复盘确认了 21 个回归(16 个功能性、1 个性能、4 个构建/测试),未破坏任何安全防护。维护者可注入自己的安全假设与补丁要求,让 agent 在项目规则内工作。
「编程与Agent」频道最新
- Infinitty 全面重写:语音驱动的 AI 终端,支持 20 个 agent 并行协作 — jasonkneen · 2026-11-14
- Together AI 举办研讨会,拆解 65B 小型编码模型 Ripple 的构建决策 — togethercompute · 2026-11-14
- YC F26 推出 Anywhere:让 AI Agent 直接读写你的地图与位置 — ycombinator · 2026-11-14
- 蚂蚁 Mara Chain:失败编辑留证据,AppWorld 少 6 千次_rollout 追平 GEPA — jiqizhixin · 2026-11-14
- Claude 写 4 万行代码:机甲对战游戏 Brontide 开放新地图 Cavern — clockspammer4life · 2026-11-14
- Zach Lloyd 提出「软件工厂栈」:工厂即代码等五大组件 — blaizedsouza · 2026-11-14