论文部分内容阅读
多线程并发程序的广泛使用引发了更多的数据竞争问题，竞争检测对于提高软件质量具有重要意义。论文将竞争静态检测和静态切片分析结合起来，提出了一种类层次的Java数据竞争静态检测算法，该算法利用函数调用层次获得函数调用链，对类域进行分析，找出可能数据竞争，通过静态切片缩小程序分析范围，并结合数据竞争的必要条件，去掉不可能数据竞争。实例表明，该算法可用于指导修复程序中的竞争缺陷。