《计算机专业毕设演示文档优秀PPT.pptx》由会员分享,可在线阅读,更多相关《计算机专业毕设演示文档优秀PPT.pptx(18页珍藏版)》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、C语言源代码静态检测工具设计与实现姓名:刘航源班级:04010101学号:指导老师:郑志勇书目第一章:系统简介其次章:总体功能模块第三章:系统具体设计及实现第四章:总结第一章:系统简介 随着信息社会的发展,网络的担忧全问题越来越严峻,其中很多平安问题都是由于软件本身存在平安漏洞所引起的,并且造成了巨大的经济损失。一方面是程序员编程上的疏忽,一方面也是相关语言没有供应完整的平安机制。在众多的语言中,C语言也被认为是最简洁遭到攻击的语言。所以代码的平安检查就变得极其重要。但是由于现代软件工程越来越困难,致使传统的检查方法在精确度和效率上都不能满足要求,所以代码的静态平安检测工具应运而生。选题背景:
2、主要内容:静态源代码扫描是近年被人提及较多的软件应用平安解决方案之一,它是指在软件工程中,程序员在写好源代码后,无需经过编译器编译,而干脆运用一些扫描工具对其进行扫描,找出代码当中存在的一些平安漏洞的解决方案。本项目探讨任务如下:1静态代码分析工具调研,探讨目前主流的静态代码分析工具和平安漏洞原理,调研目前最新的探讨成果并形成探讨报告。2静态代码分析工具研制:检查C语言程序潜在的平安隐患,并发觉编译器不能发觉的事情。设计思路:我首先调研了国内外的关于静态平安检测的探讨现状以及代码平安检测技术的主要趋势,然后提出我们的构想与设计目标,具体论述了系统的需求分析、概要设计、具体设计与实现、系统测试等
3、相关过程,编程语言运用Python语言,并且运用了PyQt类库作为图形开发工具。通过运用Python语言整合开源的静态检测工具Splint和Flawfinder,并实现代码的静态平安检查,参数设定以及生成分析图表等功能。技术简介:Python语语言:言:Python是一种是一种说说明型、面明型、面对对对对象、象、动态动态数据数据类类型的高型的高级级程序程序设计语设计语言。自从言。自从20世世纪纪90年年头头初初Python语语言言诞诞生至生至今,它今,它渐渐渐渐被广泛被广泛应应用于用于处处理系理系统统管理任管理任务务和和Web编编程。程。Python已已经经成成为为最受最受欢欢迎的程序迎的程序
4、设计语设计语言之一。言之一。PyQt类库类库:PyQt是一个是一个创创建建GUI应应用程序的工具包。它是用程序的工具包。它是Python编编程程语语言和言和Qt库库的成功融合。的成功融合。Qt库库是目前最是目前最强强大的大的库库之一。它有超之一。它有超过过300类类,将近,将近6000个函数和方法。它是个函数和方法。它是一个多平台的工具包,可以运行在全部主要操作系一个多平台的工具包,可以运行在全部主要操作系统统上,包括上,包括UNIX,Windows和和Mac。其次章:总体功能模块系统总体功能图界面功能图第三章:系统具体设计及实现代代码显示框示框书目列表目列表显示示检测结果果显示示显示框示框显示示结果果图自定义模式下的参数配置统计图形形统计表格表格第四章:总结 本系统已经实现了预期的功能,并在用户友好性上做出了很多的改进。为用户供应了更多的便利,并且添加了参数选择功能,这样用户就可以依据自己的须要将不必要的检查结果去掉。这样就可以在源头上消退代码检查工具中普遍存在的错报误报漏洞的状况。但是,本系统也存在着很多的不足,比如参数的设定功能不够完善,静态检测工具核心代码接受开源代码。但这个探讨项目既是我的毕设项目,也是我将来的探讨项目,我确定会在各个方面上完善系统的功能。致 谢感谢我的指导老师郑志勇老师的指导感谢各位评审和老师的耐性批阅感谢我的学长和同学对我的帮助