聚类关系线索模块化的本地抽象解释
摘要：借助共用互斥锁进行保护的可能重叠的全局变量的关系信息，我们构建了一种新颖的线程模块化分析方法。我们提供了一个框架，通过基于本地跟踪的抽象将控制位置进行分割，从而系统性地增加了聚类关系分析的准确性。作为一种实例，我们得到了动态线程创建和加入的分析。有趣的是，对全局变量跟踪较少关系信息可能导致更高的准确性。我们考虑了可分解为2个子集的领域类，包括许多弱关系领域（例如八边形）。针对这些领域，我们证明了最大精确度已经在最多包含2个全局变量的聚类上达到。
作者：Michael Schwarz, Simmo Saan, Helmut Seidl, Julian Erhard, Vesal Vojdani
论文ID：2301.06439
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-01-18