多核处理器的普遍化使得并发程序的需求日益提升,并发编程技术对于提高CPU的利用率有着不可或缺的作用。尽管Java已经为多线程并发程序的设计提供了强大的语言支持,但并发程序内部所固有的并发性和不确定性仍然会带来一些难以避免的缺陷问题。并发缺陷主要包括死锁、数据竞争、原子性违背和顺序违背4类,并且它们都不容易被检测、调试以及修复。数据竞争在所有种类的并发缺陷中占有较大的比例,而且常常是引起其他非死锁类缺陷的根本原因。针对数据竞争检测过程中的误报和漏报现象,本文对产生误报和漏报的原因进行了进一步的研究,提出以Soot软件分析框架为基础的静态数据竞争检测方法,该方法自动构造线程内和线程间函数调用图,进而收集线程内变量访问事件信息,分析并检测出所有可能产生竞争的情况。检测过程中对别名变量和别名锁情况进行分析以降低漏报率和误报率;此外,通过控制流分析抽象访问事件之间的时序约束关系,并结合程序切片技术判断访问事件之间的发生序关系,以此降低因线程交互带来的误报率。依据该方法,本文使用Java语言在Eclipse PDE环境下实现了一个数据竞争检测工具。在实验中,对JGF和IBM Contest基准测试套件中的raytracer和airline等程序进行数据竞争检测,并与目前已有的数据竞争检测方法(HB方法和RVPredict方法)进行对比分析,实验结果表明本文提出的方法能够有效避免数据竞争检测过程中的漏报和误报现象。