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