您的 AI 代理修复了该 bug,但它还改变了什么? 笔记

您的 AI 代理修复了该 bug,但它还改变了什么?

Trail of Bits 发布了两个新插件 patching-bugs 和 regression-hunt,旨在为工程师自动化补丁开发及回归检查。patching-bugs 插件负责识别漏洞、生成修复方案并进行测试;regression-hunt 插件则用于验证代码变更不会破坏现有功能。这两款工具是“修复地球”(Patch the Planet)倡议的产物,基于对安全补丁及工程师会话的深入分析。它们为维护者提供了结构化的流程、证据及最佳实践,以提升补丁修复效率。初步评估显示,regression-hunt 在减少误报方面显著优于基础 AI 代理。该公司在自身安全补丁中出现回归问题后,意识到需要标准化的补丁创建与回归检测方法,从而实施了这些插件。插件采用了模块化步骤、严格的输入/输出模式,并对每一项声明执行实时的概念验证。regression-hunt 对回归进行了严格定义,并纳入威胁模型以确保全面性,虽以牺牲部分边缘情况为代价,但有效降低了误报率。patching-bugs 则从数千次 AI 会话中提炼最佳实践,强调包含完整三臂证明及不变量引导的修复。未来的开发将聚焦于评估 patching-bugs、从代理轨迹中学习以及提高可配置性。为最大化插件效果,需结合项目特定知识,如 THREAT_MODEL.md 和 PATCHING_GUIDELINES.md。行业日益需要 AI 驱动的方案以加速漏洞修复进程,在速度与质量之间取得平衡,而这些插件正致力于实现这一目标。开发者被鼓励安装并使用这些插件,提供项目上下文并分享反馈,以塑造未来版本。
CdXz5zHNQW_Mr80aUUNoO.webp