基于图挖掘的程序忽略条件漏洞检测方法的研究.doc

A Thesis Submitted in Partial Fulfillment of the Requirements for the Degree of Master of Engineering Research of Neglected Conditions Defects Discovery Method based on Graph Data Mining Candidate : YangYang  Major  : Computer Software and Theory  Supervisor : Associate Prof. Qu Binbin Huazhong University of Science and Technology Wuhan 430074, P. R. China January, 2012 独创性声明 本人声明所呈交的学位论文是我个人在导师指导下进行的研究工作及取得的研 究成果。尽我所知，除文中已经标明引用的内容外，本论文不包含任何其他个人或 集体已经发表或撰写过的研究成果。对本文的研究做出贡献的个人和集体，均已在 文中以明确方式标明。本人完全意识到本声明的法律结果由本人承担。 学位论文作者签名：  日期：  年  月  日  学位论文版权使用授权书 本学位论文作者完全了解学校有关保留、使用学位论文的规定，即：学校有权 保留并向国家有关部门或机构送交论文的复印件和电子版，允许论文被查阅和借阅。 本人授权华中科技大学可以将本学位论文的全部或部分内容编入有关数据库进行检 索，可以采用影印、缩印或扫描等复制手段保存和汇编本学位论文。 保密□，在_______年解密后适用本授权书。 本论文属于 不保密□。 （请在以上方框内打“√”）  学位论文作者签名：  指导教师签名：  日期：  年  月  日  日期：  年  月  日 华 中 科 技 大 学 硕 士 学 位 论 文  摘  要  随着软件产业的迅速发展，特别是随着网络技术的发展，软件中存在的微小漏 洞都有可能被恶意攻击者利用，从而对企业或者普通用户造成难以估量的损失。因 此，如何运用测试技术更好地发现软件中的安全漏洞问题显得尤为重要。 结合最大频繁子图的数据挖掘方法来完成一个软件漏洞检测系统。将程序依赖 图作为一个输入集合，挖掘出某些正确的程序规则，并用这些规则去验证系统的正 确性。 针对忽略条件漏洞，检测可分为数据预处理、规则挖掘和漏洞检测三个过程， 详细介绍了每个过程中的关键问题及解决方案。首先将数据预处理细分了五个步骤 分别进行阐述；针对规则挖掘方法提出一种基于闭频繁图与最大频繁图过滤思想的 规则挖掘算法 MCFSM，并且论证此算法与同类算法相比，能更好地适应针对程序依 赖图的挖掘；采用图匹配算法，经过数据预处理后的输入数据集与挖掘出来的规则 进行匹配，对于每一条规则从输入的数据集中查找相匹配的程序代码，最后将所有 匹配的结果作为潜在的程序漏洞。 设计和实现了一个原型系统，并给出了系统的功能模块和详细设计。系统实验 表明，提出的漏洞检测方法是一种有效的、可行的、运行效率可被接受的方法。 关键词：最大频繁子图，闭频繁子图，忽略条件，漏洞检测 I 华 中 科 技 大 学 硕 士 学 位 论 文 ABSTRACT With the rapid development of the software industry, the little defects in the software almost used by malicious attackers, and cause huge loss to enterprise and ordinary users. Therefore, the problem of safety in the software is more and more important. In recent years, some methods combined Data Mining with Software Testing, and this become a kind of new software test ideas. In this paper will finish a software testing system using Mining Maximal Frequent Subgraphs. The Program Dependence Graph sets as the inputs, and mining the correct rules in software, finally, with these rules to ve