2023-InferFix: End-to-End Program Repair with LLMs over Retrieval-Augmented Prompts

[skyleaworlder]

https://arxiv.org/pdf/2303.07263.pdf

Matthew Jin Microsoft Redmond, WA, USA
Syed Shahriar UCLA Los Angeles, CA, USA
Michele Tufano Microsoft Redmond, WA, USA
Xin Shi Microsoft Redmond, WA, USA
Shuai Lu Microsoft Research Beijing, China
Neel Sundaresan Microsoft Redmond, WA, USA
Alexey Svyatkovskiy Microsoft Redmond, WA, USA

from https://scholar.google.com/scholar

[skyleaworlder]

只记录一下 Infer 在 InferFix 中扮演的角色：

1. 元数据生成器：InferFix 的训练数据是 Infer 在 2.9K 个 Java / 3.3K 个 C# 仓库中提取的，共计 1M 的 commit；
2. 程序修复框架的组件：也就是说利用静态分析来进行缺陷检测、定位和分类。其在 Infer 分析出的错误数据测试集上的 “空指针解引用、资源泄漏、线程安全” 等问题 有 76% Java 正确率和 65% C# 正确率。

对于数据的生成，就是对于仓库相邻的两个 commit 分别跑 infer，然后看 infer report 的 diff。记录 introduce (bug 引入) / fix / preexist (早就有 bug 了) 三种状态。

[skyleaworlder]

Microsoft 通过 GitHub Actions 把 InferFix 集成到仓库中。会在 pull_request 提交 commit 后跑 build-test-infer 流水线。这一步的 infer 是为了检测是否引入了新的 bug。如果引入了新的 bug，就会跑 InferFix 并把结果以 github-actions comment 形式 post 到 contributor 的 develop PR line 上。