CRSEJun 21

VeriPort: Automated and Verified Patch Backporting at Scale

arXiv:2606.2270417.7Has Code
Predicted impact top 13% in CR · last 90 daysOriginality Incremental advance
AI Analysis

For developers and security teams managing open-source dependencies, VeriPort automates the labor-intensive and error-prone process of patch backporting at scale, reducing the risk of unpatched vulnerabilities.

VeriPort is an automated system that backports security patches to all affected versions of a package, achieving 95.3% success on 128 backporting tasks (22.7% higher than Claude Code) and generating over 5,000 verified patches for 169 CVEs, while also correcting 2,100 misreported affected versions and 127 previously unidentified vulnerable versions.

One of the key challenges for securing the software supply chain is addressing known vulnerabilities in third-party open-source dependencies. Security patches are frequently only available for the latest version of a dependency, leaving developers with the choice of either upgrading to the latest version (risking breaking changes) or manually backporting the security fix. Prior work backports to a single version that must be specified in advance and does not produce sufficient evidence to demonstrate that their patches block exploitation and preserve functionality. In this paper, we present VeriPort, an end-to-end agentic system that scalably backports a patch for a given vulnerability advisory to every affected version of the package. For each backport, VeriPort builds a chain of evidence to confirm that the patch blocks exploitation and preserves intended behavior. VeriPort reliably resolves 95.3% of 128 backporting tasks in BackportBench, outperforming the best existing solution (Claude Code) by 22.7 percentage points. We further deployed VeriPort on 169 high- and critical-severity CVEs and have generated over 5,000 verified backported patches. Moreover, VeriPort's value extends beyond simply backporting patches. It uncovered 2,100 versions incorrectly reported as affected and 127 previously unidentified vulnerable versions across 92 advisories, and 23 advisories have since been corrected upstream by removing 387 versions and adding 81.

Foundations

The foundational work for this paper's niche, ranked by how specifically the neighbourhood builds on it — not by global fame.

Your Notes