跳到正文
原文
arXiv· arXiv:2606.22704· Jonah Ghebremichael, Wenxin Jiang, Mikola Lysenko, Benjamin Barslev Nielsen, William Enck, Alexandros Kapravelos·本站收录· 原文发表

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 个。

阅读原文arxiv.org