VeriPort:规模化自动补丁回移植与验证
VeriPort: Automated and Verified Patch Backporting at Scale
AI 导读
论文提出端到端智能体系统 VeriPort,能把漏洞通告对应的补丁自动回移植到软件包的每个受影响版本,并为每个补丁构建证据链,确认其既能阻止漏洞利用又保留预期行为。在 BackportBench 的 128 个回移植任务中,VeriPort 解决了 95.3%,比现有最佳方案 Claude Code 高 22.7 个百分点。作者将该系统部署到 169 个高危和严重级别 CVE,生成超过 5000 个经过验证的回移植补丁。系统还在 92 个安全通告中发现 2100 个被错误报告为受影响的版本和 127 个此前未被识别的受影响版本,其中 23 个通告已在上游修正,移除 387 个版本、新增 81 个。