[发明专利]基于图挖掘的软件逻辑漏洞检测方法

权利要求书

1.基于图挖掘的软件逻辑漏洞检测方法，其特征在于，包括以下步骤：

步骤一、加载客户端软件源代码，构建基于源码的抽象语法树、控制流图和程序依赖图这三种中间表示，并将抽象语法树优化处理获得简化型抽象语法树，将程序依赖图增强处理获得增强型程序依赖图；

步骤二、将步骤一获得的简化型抽象语法树、增强型程序依赖图连同控制流图一起整合构建出系统属性图，然后将系统属性图存储到图数据库中；

步骤三、对SSL/TLS协议软件库接口的正确使用模式进行抽象提取，得到接口逻辑规则；

步骤四、将步骤三中的接口逻辑规则采用人工分析的方式，手动构建遵循系统属性图规范的图模型；

步骤五、用CQL语言编码步骤四的图模型，在图数据库中将编码后的图模型与步骤二所得的系统属性图执行规则进行匹配，若匹配成功，则该图模型就是客户端软件系统属性图的子图，即满足接口逻辑规则而无逻辑漏洞；否则，客户端软件存在逻辑漏洞。