paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Well Begun is Half Done: Location-Aware and Trace-Guided Iterative Automated Vulnerability Repair

好的开始是成功的一半:位置感知与轨迹引导的迭代式自动化漏洞修复
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 3/10 · 论文是 LLM 驱动的漏洞自动修复,侧重补丁位置与测试失败轨迹评估,属于软件工程/程序修复方向;它并未涉及静态分析在 ML/Agentic 程序中的应用,也未用于改进静态分析或形式化验证,且与浮点程序分析、贝叶斯程序分析无直接关联。引用 4 inbox
Zhenlei Ye, Xiaobing Sun, Sicong Cao, Lili Bo, Bin Li
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:提出 LoopRepair,利用补丁位置信息与测试失败轨迹评估,迭代生成更高质量的漏洞修复补丁。

现有基于大语言模型(LLM)的漏洞修复方法通常只关注补丁内容,忽略需要修补的位置,且迭代中缺乏候选补丁质量评估。论文提出 LoopRepair:提供“应先修补哪里”的位置信息,实现位置感知修复;并评估测试失败补丁的质量,选择最佳补丁进入下一轮迭代。质量评估从两个维度进行:是否引入新漏洞与污点语句覆盖率。作者在真实 C/C++ 漏洞修复数据集 VulnLoc+(含 40 个漏洞及其 PoV)上评估。结果表明,LoopRepair 生成 27 个合理补丁,比基线多 8 至 22 个;正确修复漏洞数比现有方法多 8 至 13 个。

问题
现有 LLM 漏洞修复方法只关注补丁内容而忽略需要修补的位置,且迭代修复时缺乏对候选补丁的质量评估。
方法
提出 LoopRepair,利用位置信息指导优先修补位置,并通过是否引入新漏洞和污点语句覆盖率评估测试失败补丁的质量,选择最佳补丁进行下一轮迭代。
评估
在包含 40 个 C/C++ 漏洞及 Proofs-of-Vulnerability 的真实数据集 VulnLoc+ 上,与基于 NMT、程序分析和 LLM 的 SOTA 方法比较,生成 27 个合理补丁,正确修复数多 8 至 13 个。
原文摘要(Abstract)

The advances of large language models (LLMs) have paved the way for automated software vulnerability repair approaches, which iteratively refine the patch until it becomes plausible. Nevertheless, existing LLM-based vulnerability repair approaches face notable limitations: 1) they ignore the concern of locations that need to be patched and focus solely on the repair content. 2) they lack quality assessment for generated candidate patches in the iterative process. To tackle the two limitations, we propose LoopRepair, an LLM-based approach that provides information about where should be patched first. Furthermore, LoopRepair improves the iterative repair strategy by assessing the quality of test-failing patches and selecting the best patch for the next iteration. We introduce two dimensions to assess the quality of patches: whether they introduce new vulnerabilities and the taint statement coverage. We evaluated LoopRepair on a real-world C/C++ vulnerability repair dataset VulnLoc+, which contains 40 vulnerabilities and their Proofs-of-Vulnerability. The experimental results demonstrate that LoopRepair exhibits substantial improvements compared with the Neural Machine Translation-based, Program Analysis-based, and LLM-based state-of-the-art vulnerability repair approaches. Specifically, LoopRepair is able to generate 27 plausible patches, which is comparable to or even 8 to 22 more plausible patches than the baselines. In terms of correct patch generation, LoopRepair repairs 8 to 13 additional vulnerabilities compared with existing approaches.

链接与引用

DOI 原文 · arXiv · DBLP

BibTeX
@inproceedings{abs-2512-20203,
  title = {Well Begun is Half Done: Location-Aware and Trace-Guided Iterative Automated Vulnerability Repair},
  author = {Zhenlei Ye and Xiaobing Sun and Sicong Cao and Lili Bo and Bin Li},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3744916.3773218}
}