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

摘要

本发明提出一种并行程序共享数据类漏洞的检测方法，包括以下步骤：为软件不变量中的各条指令的动态实例定义瞬时Fetter集，其中，软件不变量是指程序中执行顺序预先固定的指令集合；获取瞬时Fetter集的包含集和义务集；将包含集和义务集进行剪枝以获取剪枝后的结果，并将剪枝后的结果存储在不变量数据库中；利用检测组件检测各个瞬时Fetter集是否出现不满足对应的包含集和义务集的第一瞬时Fetter集，如果是，则判断第一瞬时Fetter集包含漏洞，检测组件生成违例报告；暂停当前运行的线程以阻止检测到的漏洞的运行。本发明的方法，可以自动地检测以及防止程序中潜在的共享数据类漏洞。本发明还提出一种并行程序共享数据类漏洞的检测系统。

主权项

一种并行程序共享数据类漏洞的检测方法，其特征在于，包括以下步骤：为软件不变量中的各条指令的动态实例定义瞬时Fetter集，其中，软件不变量是指程序中执行顺序预先固定的指令集合；获取所述瞬时Fetter集的包含集和义务集；将所述包含集和义务集进行剪枝以获取剪枝后的结果，并将所述剪枝后的结果存储在不变量数据库中；利用检测组件检测各个所述瞬时Fetter集是否出现不满足对应的所述包含集和义务集的第一瞬时Fetter集，如果是，则判断所述第一瞬时Fetter集包含漏洞，检测组件生成违例报告；以及暂停当前运行的线程以阻止检测到的所述漏洞的运行。