论文部分内容阅读
随着软件产业的迅速发展,特别是随着网络技术的发展,软件中存在的微小漏洞都有可能被恶意攻击者利用,从而对企业或者普通用户造成难以估量的损失。因此,如何运用测试技术更好地发现软件中的安全漏洞问题显得尤为重要。结合最大频繁子图的数据挖掘方法来完成一个软件漏洞检测系统。将程序依赖图作为一个输入集合,挖掘出某些正确的程序规则,并用这些规则去验证系统的正确性。针对忽略条件漏洞,检测可分为数据预处理、规则挖掘和漏洞检测三个过程,详细介绍了每个过程中的关键问题及解决方案。首先将数据预处理细分了五个步骤分别进行阐述;针对规则挖掘方法提出一种基于闭频繁图与最大频繁图过滤思想的规则挖掘算法MCFSM,并且论证此算法与同类算法相比,能更好地适应针对程序依赖图的挖掘;采用图匹配算法,经过数据预处理后的输入数据集与挖掘出来的规则进行匹配,对于每一条规则从输入的数据集中查找相匹配的程序代码,最后将所有匹配的结果作为潜在的程序漏洞。设计和实现了一个原型系统,并给出了系统的功能模块和详细设计。系统实验表明,提出的漏洞检测方法是一种有效的、可行的、运行效率可被接受的方法。