[发明专利]一种基于可调对象分析的程序漏洞检测方法

摘要

一种基于可调对象分析的程序漏洞模型检测方法，步骤包括：1）漏洞模型载入流程，建立漏洞模型的数据结构；2）程序状态特征检测处理过程，以函数为单位进行模型检测工作，并报告漏洞的存在性；为提高检测和处理速度，需要将漏洞模型从数据库中装入内存，在分析程序时，作为参考依据；漏洞模型检测过程中，以函数为单位根据漏洞相关操作状态逐步进行检测分析工作；漏洞模型检测工作从主函数开始进行检测，根据漏洞相关操作以及逐级函数的模型检测结果，进行状态检测并报告漏洞的存在性；漏洞模型由漏洞相关操作的集合构成；操作表示引起状态发生变化的动作，每个操作具有操作号、动作、特征、输入变量和输出变量的集合等属性。

主权项

一种基于可调对象分析的程序漏洞模型检测方法，其特征是步骤包括：1）漏洞模型载入流程，建立漏洞模型的数据结构；2）程序状态特征检测处理过程，以函数为单位进行模型检测工作，并报告漏洞的存在性；为提高检测和处理速度，需要将漏洞模型从数据库中装入内存，在分析程序时，作为参考依据；漏洞模型检测过程中，以函数为单位根据漏洞相关操作状态逐步进行检测分析工作；漏洞模型检测工作从主函数开始进行检测，根据漏洞相关操作以及逐级函数的模型检测结果，进行状态检测并报告漏洞的存在性；漏洞模型由漏洞相关操作的集合构成；操作表示引起状态发生变化的动作，每个操作具有操作号、动作、特征、输入变量和输出变量的集合等属性；操作的动作指具体的程序动作。操作的特征有产生、转移、刷新和使用等值。可调对象指程序中漏洞相关操作所涉及的需检测的变量，输入变量和输出变量为可调对象；操作的集合存储在数据库中的一个表中：操作表；为方便模型检测处理，在内存中建立由操作动作进行检索的操作变量关系表。每个操作动作对应一个链表，链表的结点为一个输入输出变量关系，表示一个输出变量与其输入变量的关系。