基于源代码同源比对的缺陷检测系统设计与实现

来源 :北京邮电大学 | 被引量 : 1次 | 上传用户:junar
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机网络的快速发展和开源思想的普及,网络上开源代码、算法和功能模块等与软件开发相关的信息不断丰富着计算机软件的开发工作,并且一些软件在一定程度上会借鉴或引用网络上的相关开源代码或者开源框架以减少开发复杂度和提高开发效率。但是,网络上的这些开源代码和功能模块可能存在着各种潜在的缺陷,如:安全漏洞、后门代码和木马病毒等,在软件开发过程中,如果软件源代码中引用了有缺陷问题的代码,该软件就很可能把缺陷代码的缺陷问题引入到开发的软件中。这种软件安全问题,是当前安全领域研究的热点,也是本论文研究的重点。论文介绍了源代码同源比对及缺陷分析相关技术,在此基础上,首先对抽象语法树比对技术进行了改进,提出了基于抽象语法树剪枝比对算法。该算法能够有效地发现一些针对底层数据修改的同源代码,在一定程度上提高了源代码同源比对结果的准确度。其次,把源代码程序依赖图技术应用到缺陷代码检测之中,改进了静态污点分析技术的相关算法,提出了基于程序依赖关系的缺陷检测算法。该算法能够在程序依赖图结构基础上结合源代码静态污点分析技术来实现针对缺陷代码的检测。论文设计和实现了一种基于源代码同源比对的缺陷检测系统,该系统使用了基于文本和抽象语法树的同源比对技术,通过将参与检测的源代码文本同系统缺陷代码库中缺陷代码进行同源比对来实现针对源代码的缺陷检测;系统支持缺陷代码库的管理功能,用户能够根据自身需要选择、添加和删除相应的缺陷代码库。通过测试,验证了系统开发过程中所用到的相关技术的有效性,对系统进行了整体验证,取得了很好的效果。
其他文献
随着年龄增长,人的认知功能可能出现量和质的衰退,轻则影响生活质量,重则导致痴呆,目前尚无特效治疗方法逆转认知功能衰退甚至痴呆的发生。随着微生态学的发展,大量科学证据
随着金融智能化程度的深化,金融行业人才的数量和结构都发生了变化,金融应用型人才面临着被"替代"的危机,但同时也有了新的机遇。文章以此为切入点,在此背景下为作为金融应用
利用中国气象局上海台风研究所整编的热带气旋最佳路径资料、向外射出长波辐射(OLR)和NCEP/NCAR再分析风场资料,研究了1991年夏季西北太平洋热带气旋的群发性特征及其与大气
随着企业的不断发展壮大,如何管理好整个集团的资金运营,如何对下属子公司进行有效的控制,如何规避因企业扩张而带来的各种管理漏洞,是现代大型企业都必须思考的问题.本文以
目的探讨复方甘草酸苷片所致低钾血症及横纹肌溶解的症状及可能原因。方法回顾性分析1例服用复方甘草酸苷片后出现低钾血症及横纹肌溶解的患者临床资料,并复习相关文献,分析
在当前中学教育中,心理教育占有比较重要的地位,教育中提倡德智体美全面发展。音乐教育作为美育教育当中一个手段,占据着重要的位置,旨在培养学生心理健康的建设。文章主要阐
选择11个平房仓,开展空调仓设计试验,选用5P风管空调机,并用热像仪分析应用效果。效果证明5P风管机具有安装数量少、总体能耗低、风速大、冷气覆盖范围广、在整个粮面没有死
1975年生于安徽蚌埠。2001年7月,安徽师范大学美术学院本科毕业,获文学学士学位。2007年7月,西安美术学院国画硕士研究生毕业,获文学硕士学位。现为西安交通大学城市学院艺术设计
对稻谷储藏过程中,水分和温度的变化与真菌生长关系进行了研究,建立了一种稻谷储藏真菌危害早期预测方法。将12.5%、13.4%、14.5%、15.6%和16.2%水分稻谷样品,置于10℃、15℃
刑法设立犯罪中止的目的在于维系刑法的法规范保护目的,但“犯罪中止”在理论上处于多种有力学说针锋相对的局面,其中有刑事政策说、奖励说和责任减免说。然而在对待犯罪中止