APP下载
[00040606]一种基于可调对象分析的程序漏洞检测方法
联系人： 南京大学
所在地：江苏 南京市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
一种基于可调对象分析的程序漏洞模型检测方法，步骤包括：1）漏洞模型载入流程，建立漏洞模型的数据结构；2）程序状态特征检测处理过程，以函数为单位进行模型检测工作，并报告漏洞的存在性；为提高检测和处理速度，需要将漏洞模型从数据库中装入内存，在分析程序时，作为参考依据；漏洞模型检测过程中，以函数为单位根据漏洞相关操作状态逐步进行检测分析工作；漏洞模型检测工作从主函数开始进行检测，根据漏洞相关操作以及逐级函数的模型检测结果，进行状态检测并报告漏洞的存在性；漏洞模型由漏洞相关操作的集合构成；操作表示引起状态发生变化的动作，每个操作具有操作号、动作、特征、输入变量和输出变量的集合等属性。
