[发明专利]一种基于漏洞模型的软件漏洞模型检测方法

摘要

基于漏洞模型的软件漏洞模型检测方法，步骤如下：1)将漏洞模型从数据库中载入流程即装入内存、建立漏洞模型的数据结构，在分析程序时作为参考依据；2)模型检测前段步骤，以函数为单位根据漏洞相关操作进行模型检测工作；3)模型检测后段步骤对主函数进行模型检测，根据漏洞相关操作以及前段对函数的模型检测结果，进行状态检测并报告漏洞的存在性；所述漏洞模型载入流程：漏洞模型由漏洞状态的状态结点、有向边的集合所构成；在内存中建立由有向边类型进行检索的操作转换表的流程；通过对程序抽象提取处理，过滤去除无关的操作，进行提取与漏洞模型相关的操作序列的流程；每个函数程序特征对应一个操作序列链表。

主权项

1.基于漏洞模型的软件漏洞模型检测方法，其特征是步骤包括：1)将漏洞模型从数据库中载入流程即装入内存、建立漏洞模型的数据结构，在分析程序时作为参考依据；2)模型检测前段步骤，以函数为单位根据漏洞相关操作进行模型检测工作；3)模型检测后段步骤对主函数进行模型检测，根据漏洞相关操作以及前段对函数的模型检测结果，进行状态检测并报告漏洞的存在性；所述漏洞模型载入流程：漏洞模型由漏洞状态的状态结点、有向边的集合所构成；状态结点有启始、中间过渡和漏洞识别3种类型，每个状态结点具有状态号、类型和描述等属性；有向边表示引起状态变化的操作，每个有向边具有边号、类型、原状态、新状态和描述等属性；状态结点、有向边的集合分别存储在数据库中的一个表中：状态结点表和有向边表；为方便模型检测处理，在内存中建立由有向边类型进行检索的操作转换表；每个类型的有向边对应一个链表，链表的结点为一个有向边，表示一个原状态到新状态的转换关系；在内存中建立由有向边类型进行检索的操作转换表的流程：步骤20：初始动作；步骤21：在数据库有向边表中取一个有向边的记录；步骤22：若取到记录转步骤23，否则，转步骤26；步骤23：判断取得有向边类型的操作转换表头是否已存在，若已存在转步骤24，否则，转步骤25；步骤24：创建一个有向边结点，结点的边号为该有向边的边号；把此结点连接到对应有向边类型的链表尾部，转步骤21，直到在数据库有向边表中取完有向边的记录；步骤25：创建该有向边类型的操作转换表头，创建一个有向边结点，结点的边号为该有向边的边号；把此结点作为该有向边类型的第一个结点，转步骤21；直到在数据库有向边表中取完有向边的记录；步骤26：结束，操作转换表建立完成；通过对程序抽象提取处理，过滤去除无关的操作，进行提取与漏洞模型相关的操作序列的流程：每个函数程序特征对应一个操作序列链表，程序特征链表以函数为单位进行组织，操作序列链表的结点为一个与漏洞状态相关的操作或函数；函数程序特征载入时，将磁盘中程序特征链表装入内存，初始函数处理标志为INI(值为0)。