[发明专利]并行程序共享数据类漏洞的检测方法及系统

权利要求书

1.一种并行程序共享数据类漏洞的检测方法，其特征在于，包括以下步骤：

为软件不变量中的各条指令的动态实例定义瞬时Fetter集，其中，软件不变量是指程序中执行顺序预先固定的指令集合；

获取所述瞬时Fetter集的包含集和义务集；

将所述包含集和义务集进行剪枝以获取剪枝后的结果，并将所述剪枝后的结果存储在不变量数据库中；

利用检测组件检测各个所述瞬时Fetter集是否出现不满足对应的所述包含集和义务集的第一瞬时Fetter集，如果是，则判断所述第一瞬时Fetter集包含漏洞，检测组件生成违例报告；以及

暂停当前运行的线程以阻止检测到的所述漏洞的运行。

2.如权利要求1所述的方法，其特征在于，所述瞬时Fetter集具体是指：在所有先于所述指令执行的指令中，与所述指令相邻且与所述指令访问了同一内存的指令集合。

3.如利要求1所述的方法，其特征在于，所述包含集是指所述指令的所有动态实例的所述瞬时Fetter集的并集；

所述义务集是指所述指令的所有动态实例的所述瞬时Fetter集的交集。

4.如权利要求1所述的方法，其特征在于，所述暂停当前运行的线程以阻止检测到的所述漏洞的运行，当暂停时间达到预设时间阈值或暂停次数达到预设次数阈值时，暂停状态解除。

5.如权利要求1所述的方法，其特征在于，还包括：判断触发集是否包含于所述义务集，如果否，则暂停当前运行的线程，并生成违例报告，其中，所述触发集是所述义务集的镜像集合。

6.一种并行程序共享数据类漏洞的检测系统，其特征在于，包括：

提取模块，用于计算瞬时Fetter集的包含集和义务集，并不断更新所述包含集和义务集；

剪枝模块，用于去除所述包含集和义务集中置信度低的部分，以获取剪枝后的结果；

检测模块，用于利用检测组件检测各个所述瞬时Fetter集是否出现不满足对应的所述包含集和义务集的所述第一瞬时Fetter集，如果是，则判断所述第一瞬时Fetter集包含漏洞，检测组件生成违例报告；

防治模块，用于暂停当前运行的线程以阻止检测到的所述漏洞的运行；

发掘模块，用于发掘多线程运行指令中隐藏的漏洞。

7.如权利要求6所述的系统，其特征在于，所述瞬时Fetter集具体是指：在所有先于所述指令执行的指令中，与所述指令相邻且与所述指令访问了同一内存的指令集合。

8.如权利要求6所述的系统，其特征在于，所述瞬时Fetter集的包含集是指所述指令的所有动态实例的所述瞬时Fetter集的并集；

所述瞬时Fetter集的义务集是指所述指令的所有动态实例的所述瞬时Fetter集的交集。

9.如权利要求6所述的系统，其特征在于，所述防治模块还用于，当暂停时间达到预设时间阈值或暂停次数达到预设次数阈值时，暂停状态解除。

10.如权利要求6所述的系统，其特征在于，所述发掘模块还用于，判断触发集是否包含于所述义务集，如果否，则暂停当前运行的线程，并向生成违例报告，其中，所述触发集是所述义务集的镜像集合。