[发明专利]一种基于控制流的数据竞争误报降低方法

权利要求书

1.一种基于控制流的数据竞争误报降低方法，其特征在于步骤如下：

（1）对C源程序中的共享变量进行搜索，获得所有共享变量的集合S；

（2）对于S中的每个元素v，查找同时满足以下四个条件的元素v，构成检测共享变量集合S1；所述的四个条件为：

（A）C源程序的主程序和中断服务程序中对v的写操作均有且只有一处；

（B）主程序和中断服务程序分别对v赋值为不同的常量；

（C）中断服务程序中对v没有读操作；

（D）主程序中对v有且只有一处读操作；

（3）针对检测共享变量集合S1中的每个元素v1，查找满足以下三个条件中的任何一个条件的元素v1，构成无害共享变量集合S2；所述的三个条件为：

（E）主程序中将v1用于if条件并且主程序中对v1的写操作位于if的分支中；

（F）主程序中将v1用于循环条件并且主程序中对v1的写操作位于循环体中；

（G）主程序中将v1用于循环条件并且主程序中对v1的写操作是循环语句之后的第一个语句；

（4）将无害共享变量集合S2中的每个元素作为无害共享变量，并解出对无害共享变量的数据竞争报警。