[发明专利]一种基于代码静态分析的数据竞争检测方法及系统

摘要

本发明公开了一种基于代码静态分析的数据竞争检测方法及系统，该方法包括：读取待测软件，对待测软件源程序进行静态分析，生成待测软件的抽象语法树、控制流图、全局函数调用图；在此基础之上计算每个函数内部的别名信息、函数间出口别名信息、锁集合信息、函数内部访问可逃逸变量的访问链以及线程创建关系图；根据访问链计算每两个线程之间访问节点的初始化语句对集合；根据别名信息、锁集合信息、并发关系对该集合进行逐步删减得到最终可能发生数据竞争的语句对。本发明提供的检测方法与检测系统能对C/C++编写的多线程程序进行有效的数据竞争检测，具有测试精度高和自动化程度高的特点，适用于对两个线程或多个线程导致的数据竞争的检测。

主权项

一种基于代码静态分析的数据竞争检测方法，其特征在于，该方法包括以下步骤：A、读取待测软件，对待测软件源程序进行词法分析、语法分析及语义分析，生成待测软件的抽象语法树、控制流图、全局函数调用图；B、遍历每个源文件生成的所述抽象语法树，找出所有线程的入口函数；C、遍历每个函数的所述控制流图，计算每个函数内部的别名信息、函数间出口别名信息、锁集合信息、函数内部访问可逃逸变量的访问链以及线程创建关系图；D、遇到每个线程的入口函数时，计算当前线程的调用链以及修改所述线程创建关系图；E、计算每两个线程之间访问节点的初始化语句对集合；F、遍历初始化语句对集合，根据别名信息删除其中不存在别名关系的语句对，得到拥有别名信息的语句对集合；G、遍历所述拥有别名信息的语句对集合，根据锁集合信息，删除其中拥有别名锁的语句对，从而得到缺乏锁同步的语句对集合；H、遍历所述缺乏锁同步的语句对集合，根据所述线程创建关系图删除不可能并发执行的语句对，从而得到最终可能发生数据竞争的语句对。