c语言源代码静态检测工具设计与实现 毕业论文

《c语言源代码静态检测工具设计与实现 毕业论文》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、C语言源代码静态检测工具设计与实现学院计算机学院专业计算机科学与技术班级04010101学号2010040101015姓名指导教师负责教师沈阳航空航天大学2014年6月沈阳航空航天大学毕业设计（论文）摘要随着信息社会的发展，网络的不安全问题越来越严重，其中许多安全问题都是由于软件本身存在安全漏洞所引起的，并且造成了巨大的经济损失。一方面是程序员编程上的疏忽，一方面也是相关语言没有提供完整的安全机制。在众多的语言中，C语言也被认为是最容易遭到攻击的语言。所以代码的安全检查就变得极其重要。但是由于现代软件工程越来越复杂，致使传统的检查方法在准确度

2、和效率上都不能满足要求，所以代码的静态安全检测应运而生。本文将首先调研并介绍国内外的关于静态安全检测的研究现状以及代码安全检测技术的主要趋势，然后提出我们的构想与设计目标，详细论述了系统的需求分析、概要设计、详细设计与实现、系统测试等相关过程，通过使用Python语言整合开源的静态检测工具Splint和Flawfinder，实现代码的静态安全检查以及生成分析图表等功能。关键词：安全检测；C源代码；静态代码分析39沈阳航空航天大学毕业设计（论文）DevelopmentofClanguagesourcecodestaticanalysistool

3、AbstractWiththedevelopmentoftheinformationsociety,theproblemofInternetinsecurityisbecomingmoreandmoreserious.Manyoftheseproblemsareduetotheflawofthesoftwareitselfandthereforecausehugeeconomiclosses.Ononehand,itisbecauseoftheprogrammer’snegligenceonsoftwareproducing,andonthe

4、otherhand,itisalsobecausetherelativelanguagesdosenotprovideacompletesecuritymechanism.Amongmanylanguages,Clanguageisbelievedasthemostvulnerableonetobeattacked.Asaresult,thecodesafetycheckseemsveryimportant.However,becausethemodernsoftwareengineeringisbecomingmoreandmorecomp

5、licated,thetraditionalcheckmethodscannotmeettherequirementinaccuracyandefficiency,sothestaticcodeanalysisemergeasthetimesrequire.Thispaperwillfirstinvestigatethecurrentsituationandmaintrendofthestaticcodeanalysisathomeandabroad.Andthenputforwardourideasanddesignobjectives.D

6、iscussesindetailaboutthesystemrequirementsanalysis,preliminarydesign,detaileddesignandimplementation,systemtestingandotherrelatedprocesses,integratingopensourcestaticdetectiontoolsSplintandFlawfinderthroughtheuseofthePythonlanguage,implementstaticsecuritycheckcodeandgenerat

7、eanalyticchartsandotherfunctions.Keywords:Safetytesting;Csourcecode;staticcodeanalysis39沈阳航空航天大学毕业设计（论文）目录1绪论61.1研究背景61.2设计目标71.2.1主要内容71.2.2设计要求71.3国内外现状71.3.1模型检验81.3.2携带源代码81.3.3词法扫描81.3.4简单语义分析81.4软件代码风险介绍与原理91.4.1内存访问错91.4.2缓冲区溢出101.4.3竞争条件111.4.4随机数滥用121.4.5异常处理121.4.

8、6空指针引用121.5技术简介131.5.1Python语言简介131.5.2PyQt图形类库简介131.5.3SQLite数据库简介132需求分析152.1用户需