随着多核处理器在现在计算机设备中的流行,软件中使用多线程和并发程序的程度也随之增加。多线程程序给我们带来的好处是程序的运行效率得到了很大的提升,但是由于多线程程序的不确定性,在程序运行过程中难免会出现数据竞争、原子性违背等并发问题,这些问题不容易被发现和修复,一旦在生产运行中暴露了,可能会带来极大的损失。由于大部分的并发问题根本原因是数据竞争,因此对于数据竞争的检测是十分必要的。针对以上问题,本文提出了一种多线程程序数据竞争静态检测方法。使用LLVM/Clang编译技术对源代码进行信息采集,提取出多线程源代码中的变量、函数、表达式、语句等信息,通过对信息的预处理将源码信息和编程环境的配置文件信息进行整合,最终构建出XML读写模型;采用基于深度优先遍历的方法对XML读写模型进行搜索空间的构建,模拟在多线程程序运行时调度生成的所有路径信息;根据数据竞争产生条件构建出竞争序列模型并对竞争序列模型进行分类,对于每一条路径,采用一种竞争序列模型匹配算法,获取发生数据竞争的所有可疑序列;最后针对所有可疑的数据竞争序列,结合用户标注信息,提出一个基于用户可接受度的竞争结果分析方法,对数据竞争结果进行过滤,提高了数据竞争静态检测的准确度。本文基于以上数据竞争静态检测模型的研究,开发了一个数据竞争静态检测工具Detector,使用该工具对嵌入式平台C6678多个缺陷源代码进行检测,结果表明Detector能够很好的检测源代码的数据竞争问题,符合用户的个性化需求。与数据竞争检测工具Thread Sanitizer进行对比,实验结果表明Detector检测的竞争报告的可读性比较强,并且考虑到了用户对某些竞争序列的可接受度,降低了数据竞争检测的误报。