[发明专利]基于程序切片和频繁模式提取的代码缺陷检测方法及装置

摘要

本发明公开了一种基于程序切片和频繁模式提取的代码缺陷检测方法及装置，此方法包括自定义或者从目标源程序获取一个或多个敏感线索，所述敏感线索包含敏感操作和与所述敏感操作相应的参数；针对每个敏感线索对所述目标源程序应用程序切片技术消除所述目标源程序中与所述敏感线索无关的代码，生成相应的切片结果集；根据所述切片结果集提取频繁模式；在所述频繁模式的基础上生成关联规则，检测违反所述关联规则的代码并生成缺陷报告。本发明在代码挖掘的过程中引入敏感线索，利用程序切片消除那些与敏感线索无关的代码，减少软件代码中的噪声，在此基础上提取频繁模式，可以有效消除噪声代码缺陷挖掘过程的干扰，达到有效地降低误报和漏报的目的。

主权项

一种基于程序切片和频繁模式提取的代码缺陷检测方法，其特征在于，所述方法包括：自定义或者从目标源程序获取一个或多个敏感线索，所述敏感线索包含敏感操作和与所述敏感操作相应的参数；针对每个敏感线索对所述目标源程序应用程序切片技术消除所述目标源程序中与所述敏感线索无关的代码，生成相应的切片结果集；根据所述切片结果集提取频繁模式；在所述频繁模式的基础上生成关联规则，检测违反所述关联规则的代码并生成缺陷报告；所述根据所述切片结果集提取频繁模式包括：对所述切片结果集应用数据挖掘技术提取所述频繁模式；所述对所述切片结果集应用数据挖掘技术提取所述频繁模式的方法包括：规范化变量名，具体包括：对于能够确定变量函数来源的变量使用此变量的函数来源重命名此变量，对于不能够确定变量函数来源的变量使用此变量的变量类型重命名此变量；所述对所述切片结果集应用数据挖掘技术提取所述频繁模式的方法包括：规范化程序语句，具体包括：枚举程序语句的等价语句集合，用此集合代替所述程序语句；所述从目标源程序获取敏感线索的方法包括：判断所述目标源程序中一操作的参数的有效性被验证的概率大于预设时，将此操作及相应的参数作为敏感线索；对参数的验证包括直接验证和间接验证方式，如果变量直接出现在验证语句中，称为直接验证；如果对与变量相关的其他变量进行了验证，则对该变量的验证为间接验证。