paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Automated patch backporting in Linux (experience paper)

Linux 中的自动化补丁向后移植(经验论文)
ISSTA Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis2021匹配度 2/10 · 论文聚焦 Linux 补丁自动回移与程序变换/合成,属于软件维护和程序修复方向;与研究画像中的静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析没有直接关联,仅能作为程序变换类工作的泛化参考。引用 33 inbox
Ridwan Shariffdeen, Xiang Gao, Gregory J. Duck, Shin Hwei Tan, Julia Lawall, Abhik Roychoudhury
crossref: 2026-09-12

AI 速览

一句话:提出自动补丁回移技术并实现 FixMorph,在 350 个 Linux 主线补丁上正确回移 75.1%,优于已有方法。

Linux 内核的修复或漏洞补丁通常先进入主线,而大量用户仍在使用旧稳定版,因此补丁需要被“回移”到这些旧版本,但该过程容易出错且常延迟逾一个月。经验研究显示,约 8% 的主线提交会被回移,且往往滞后一个月以上。为此,作者提出一种自动补丁回移技术:先根据主线补丁合成一条部分变换规则,再通过分析主线版本与目标版本之间的对齐关系来泛化该规则,最后将泛化后的规则应用到目标版本以生成回移补丁。该技术实现为工具 FixMorph,并在 350 个 Linux 主线补丁上评估,正确回移率达 75.1%,精度与召回率均优于现有方法。除自动化软件维护外,该工作还有助于减少旧稳定版内核暴露于已知安全漏洞的风险。

问题
Linux 内核修复补丁进入主线后需回移到旧稳定版,但手工回移容易出错且常延迟一个多月才可用。
方法
基于主线补丁合成部分变换规则,通过分析主线与目标版本的对齐来泛化规则,再将泛化规则应用于目标版本生成回移补丁,实现为工具 FixMorph。
评估
在 350 个 Linux 主线补丁上进行评估,FixMorph 正确回移 75.1% 的补丁,精度与召回率均优于现有技术。
原文摘要(Abstract)

Whenever a bug or vulnerability is detected in the Linux kernel, the kernel developers will endeavour to fix it by introducing a patch into the mainline version of the Linux kernel source tree. However, many users run older “stable” versions of Linux, meaning that the patch should also be “backported” to one or more of these older kernel versions. This process is error-prone and there is usually along delay in publishing the backported patch. Based on an empirical study, we show that around 8% of all commits submitted to Linux mainline are backported to older versions,but often more than one month elapses before the backport is available. Hence, we propose a patch backporting technique that can automatically transfer patches from the mainline version of Linux into older stable versions. Our approach first synthesizes a partial transformation rule based on a Linux mainline patch. This rule can then be generalized by analysing the alignment between the mainline and target versions. The generalized rule is then applied to the target version to produce a backported patch. We have implemented our transformation technique in a tool called FixMorph and evaluated it on 350 Linux mainline patches. FixMorph correctly backports 75.1% of them. Compared to existing techniques, FixMorph improves both the precision and recall in backporting patches. Apart from automation of software maintenance tasks, patch backporting helps in reducing the exposure to known security vulnerabilities in stable versions of the Linux kernel.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot6680,
  title = {Automated patch backporting in Linux (experience paper)},
  author = {Ridwan Shariffdeen and Xiang Gao and Gregory J. Duck and Shin Hwei Tan and Julia Lawall and Abhik Roychoudhury},
  booktitle = {ISSTA},
  year = {2021},
  doi = {10.1145/3460319.3464821}
}