基于模糊测试的软件安全漏洞发掘技术研究

《基于模糊测试的软件安全漏洞发掘技术研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、中国科学技术大学硕士学位论文基于模糊测试的软件安全漏洞发掘技术研究姓名：黄奕申请学位级别：硕士专业：计算机应用技术指导教师：曾凡平20100401摘要摘要随着信息化时代的到来，计算机软件被广泛应用各个领域中，而由软件安全漏洞带来的各种危害也日益严重，因此作为能有效发现并消除漏洞的软件安全漏洞发掘技术也日益受到人们的重视。本文在研究现有软件安全漏洞发掘技术的基础上，针对安全漏洞的产生机理和现有发掘技术的不足，提出并实现--幂eo新的软件安全漏洞发掘技术，以有效提高软件安全漏洞的发掘效率。本文首先阐述了软件安全漏洞的定义和产生原因，接着总结分析了软

2、件安全漏洞的分类、特点及其形成原理，之后研究了软件安全漏洞发掘技术的各种分类及其技术特点。根据软件安全漏洞的主要产生机理，即漏洞源自外部输入数据与内部不安全函数调用的结合，针对现有软件安全漏洞发掘技术的不足，在模糊测试技术的基础上，我们提出了一种新的软件安全漏洞发掘方法，主要包括四项关键技术：(1)不安全函数定位技术：在研究总结各类不安全函数的反汇编形式和特征的基础上，利用静态逆向分析技术来自动识别和定位可执行代码中的不安全函数调用，为有针对性地进行漏洞发掘提供了可靠依据，且可应用于使用广泛的各类无源码软件。(2)基于输入的动态跟踪技术：针对多

3、数漏洞由外部输入数据引发的问题，通过在程序运行期间动态监控输入数据的获取和使用，来确定存在输入数据操作的函数，进而只针对存在输入数据操作和不安全函数调用的函数进行测试，从而大幅提高漏洞发掘效率。(3)基于漏洞类型和代码覆盖的数据生成技术：根据各类常见漏洞的特点建立相应的测试用例集，并通过搜索目标代码中比较指令引用的常量数据来指导模糊测试数据生成，有效增强了测试用例的针对性，提高了测试效率和代码覆盖率。(4)基于快照恢复的错误注入技术：针对一般测试用例不能通过软件校验和检查的问题，通过快照恢复方式在程序内部直接对目标函数进行测试，从而能绕过检查函

4、数深入程序内部挖掘漏洞。此外还能有效避免程序频繁启动退出、网络延迟和干扰等影响因素，减少了系统资源和测试时间的耗费，大幅提高了模糊测试的效率。本文设计并实现了基于此方法的原型测试工具，并运用测试工具分别对两款软件进行了软件漏洞发掘实验，实验结果表明该测试工具能有效发现软件中的安全漏洞，验证了该技术方法的可行性和有效性。关键词：安全漏洞漏洞发掘模糊测试输入追踪AbstractABSTRACTWiththeadventofinformationage，computersoitwareiswidelyusedinvariousfields．Harms

5、causedbysoftwaresecurityvulnerabilitiesareincreasinglyheavily．Moreandmorepeopleattachimportancetothediscoveringtechnologyofsol,raresecurityvulnerabilitieswhichcaneffectivelydiscoverandeliminatesoftwaresecurityvulnerabilities．Accordingtothegenerationmechanismforsecurityvulner

6、abilitiesandlimitsofexistingdiscoveringtechniques，thispaperproposedandimplementedanewdiscoveringtechniqueofsoftwaresecurityvulnerabilitiesonthebasisofthestudyaboutexistingdiscoveringtechnologyofsoftwaresecurityvulnerabilitiestoimprovethediscoveringefficiencyofsecurityvulnera

7、bilities．Thispaperfirstdescribedthedefinitionofsoftwaresecurityvulnerabilitiesandcausesofsoftwaresecurityvulnerabilities．Thenitsummarizedtheclassificationandtheprincipleofformationofsoftwaresecurityvulnerability．Thevariouscategoriesofdiscoverytechnologyofsoftwaresecurityvuln

8、erabilityanditstechnicalcharactersarestudyandanalyzed．Accordingtothemajorge