计算机专业毕设演示文档.pptx

C语言源代码静态检测工具设计与实现 姓名 刘航源 班级 04010101 学号 2010040101015 指导教师 郑志勇 目录 第一章 系统简介 第二章 总体功能模块 第三章 系统具体设计及实现 第四章 总结 第一章 系统简介 随着信息社会的发展 网络的不安全问题越来越严重 其中许多安全问题都是由于软件本身存在安全漏洞所引起的 并且造成了巨大的经济损失 一方面是程序员编程上的疏忽 一方面也是相关语言没有提供完整的安全机制 在众多的语言中 C语言也被认为是最容易遭到攻击的语言 所以代码的安全检查就变得极其重要 但是由于现代软件工程越来越复杂 致使传统的检查方法在准确度和效率上都不能满足要求 所以代码的静态安全检测工具应运而生 选题背景 主要内容 静态源代码扫描是近年被人提及较多的软件应用安全解决方案之一 它是指在软件工程中 程序员在写好源代码后 无需经过编译器编译 而直接使用一些扫描工具对其进行扫描 找出代码当中存在的一些安全漏洞的解决方案 本项目研究任务如下 1 静态代码分析工具调研 研究目前主流的静态代码分析工具和安全漏洞原理 调研目前最新的研究成果并形成研究报告 2 静态代码分析工具研制 检查C语言程序潜在的安全隐患 并发现编译器不能发现的事情 设计思路 我首先调研了国内外的关于静态安全检测的研究现状以及代码安全检测技术的主要趋势 然后提出我们的构想与设计目标 详细论述了系统的需求分析 概要设计 详细设计与实现 系统测试等相关过程 编程语言使用Python语言 并且使用了PyQt类库作为图形开发工具 通过使用Python语言整合开源的静态检测工具Splint和Flawfinder 并实现代码的静态安全检查 参数设定以及生成分析图表等功能 技术简介 Python语言 Python是一种解释型 面向对象 动态数据类型的高级程序设计语言 自从20世纪90年代初Python语言诞生至今 它逐渐被广泛应用于处理系统管理任务和Web编程 Python已经成为最受欢迎的程序设计语言之一 PyQt类库 PyQt是一个创建GUI应用程序的工具包 它是Python编程语言和Qt库的成功融合 Qt库是目前最强大的库之一 它有超过300类 将近6000个函数和方法 它是一个多平台的工具包 可以运行在所有主要操作系统上 包括UNIX Windows和Mac 第二章 总体功能模块 系统总体功能图 界面功能图 第三章 系统具体设计及实现 代码显示框 目录列表显示 检测结果显示显示框 显示结果图 自定义模式下的参数配置 统计图形 统计表格 第四章 总结 本系统已经实现了预期的功能 并在用户友好性上做出了许多的改进 为用户提供了更多的方便 并且添加了参数选择功能 这样用户就可以根据自己的需要将不必要的检查结果去掉 这样就可以在源头上消除代码检查工具中普遍存在的错报误报漏洞的情况 但是 本系统也存在着许多的不足 比如参数的设定功能不够完善 静态检测工具核心代码采用开源代码 但这个研究项目既是我的毕设项目 也是我未来的研究项目