paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Detecting Build Conflicts in Software Merge for Java Programs via Static Analysis

通过静态分析检测 Java 程序软件合并中的构建冲突
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 2/10 · 论文属于静态分析在软件合并/构建冲突检测中的应用,虽与静态分析相关,但并未涉及用户核心关注的 PL→AI、AI→PL、浮点程序分析、贝叶斯程序分析或 LLM/Agent 交叉方向。引用 8 inbox
Sheikh Shadab Towqir, Bowen Shen, Muhammad Ali Gulzar, Na Meng
crossref: 2026-09-12

AI 速览

一句话:针对 Java 软件合并,提出用静态分析检测构建冲突,以定位冲突根源而非仅报告构建错误。

在软件合并中,不同分支的编辑可能文本重叠,也可能引发构建和测试错误,即构建与测试冲突,威胁程序员生产力和软件质量。现有工具主要关注文本冲突,少数检测构建/测试等高阶冲突;已有构建冲突检测器依赖自动构建,通常只报告构建错误而不识别根源,开发者需人工定位冲突编辑,并且仅在待合并分支不存在文本冲突时有效。论文针对 Java 程序,提出通过静态分析检测构建冲突,以克服上述局限。摘要未报告具体分析技术、实现与评估结果。

问题
软件合并中,分支编辑可能导致构建冲突;现有检测器依赖自动构建,只能报告构建错误而非冲突根源,且仅在待合并分支没有文本冲突时有效。
方法
论文提出面向 Java 程序的静态分析方法来检测构建冲突(标题所示),但摘要未展开具体方法细节。
评估
摘要未提供评估方式与实验结果。
原文摘要(Abstract)

In software merge, the edits from different branches can textually overlap (i.e., textual conflicts) or cause build and test errors (i.e., build and test conflicts), jeopardizing programmer productivity and software quality. Existing tools primarily focus on textual conflicts; few tools detect higher-order conflicts (i.e., build and test conflicts). However, existing detectors of build conflicts are limited. Due to their heavy usage of automatic build, current detectors (e.g., Crystal) only report build errors instead of identifying the root causes; developers have to manually locate conflicting edits. These detectors only help when the branches-to-merge have no textual conflict.

链接与引用

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

BibTeX
@inproceedings{paperbot7154,
  title = {Detecting Build Conflicts in Software Merge for Java Programs via Static Analysis},
  author = {Sheikh Shadab Towqir and Bowen Shen and Muhammad Ali Gulzar and Na Meng},
  booktitle = {ASE},
  year = {2022},
  doi = {10.1145/3551349.3556950}
}