指针分析对语义冲突检测的影响
软件工程
2025-07-29 v1
摘要
当前的合并工具不检测语义冲突，这类冲突发生在来自不同开发者的更改在文本上被集成但在语义上相互干扰的情况下。尽管研究人员提出了用于检测语义冲突的静态分析方法，但这些分析方法 suffers from 显著的误报率。为了解是否可以通过在语义冲突静态分析实现中使用指针分析来减少误报，我们进行了一次实证研究。我们实现了带和不使用指针分析的相同分析，在两个数据集上运行，观察它们之间的差异，并比较其准确性和计算性能。尽管指针分析已知能提高静态分析的精度，但我们发现其在语义冲突检测中的影响可能是巨大的：我们观察到超时和误报显著减少，但也出现了显著的误漏和召回率和 F1 分数的大幅下降。这些结果表明，在语义冲突检测的语境下，我们应该探索混合分析技术，结合我们比较的两种实现方式的某些方面。
引用
@article{arxiv.2507.20081,
title = {The Effect of Pointer Analysis on Semantic Conflict Detection},
author = {Matheus Barbosa and Paulo Borba and Rodrigo Bonifácio and Victor Lira and Galileu Santos},
journal= {arXiv preprint arXiv:2507.20081},
year = {2025}
}