基于缺陷模式匹配的静态源码分析技术研究

来源 :软件 | 被引量 : 0次 | 上传用户:ahcyw
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着信息技术的飞速发展,应用软件的规模不断扩大,越来越多的软件安全问题频频出现,因此如何保证和提高软件质量日益成为一个备受关注的问题。研究表明,在测试阶段修正错误所付出的成本比代码编写阶段多出10倍,因此以静态分析的方式来检测软件质量能大大降低投入成本。基于缺陷模式的软件测试是近些年发展起来的一种程序源代码静态分析技术,主要用于自动或者半自动的软件缺陷检测及预防,此类缺陷检测工具由于效率高和使用简单等特点在高可信软件测试中得到了广泛应用。所谓的缺陷模式,是指程序中经常发生的错误或缺陷所呈现出的特定规律。缺
其他文献
在《文学研究中的现实主义概念》一文中,韦勒克对现实主义下了这样一个结论:现实主义的理论是极为拙劣的美学。现实主义具有强大的历史传统,在文学史上作出过巨大的贡献,韦勒
随着信息技术的快速发展,各高校的二级部门均针对自身需求设计与开发了自己的应用系统,这些系统大都早于档案管理系统的建设,同时在建设时缺乏学校层面的整体规划和统一标准,
目的探析显微手术在矢状窦镰旁脑膜瘤中的治疗效果.方法选取我院神经外科2014年3月-2017年3月收治的42例矢状窦镰旁脑膜瘤患者进行研究,通过双色球法将其均分为对照组和观察
针对软件企业开发的业务需求,本文提出基于J2EE架构的企业信息化平台的解决方案,平台基于OSGI思想、提供组件概念、支持模块重复使用,实现了软件开发的模块化、组件化、自由定制
目的检测成人免疫性血小板减少性紫癜(immune thrombocytopenic purpura,ITP)患者外周血Th17、CD4^+CD25^+CD127^-Treg、IL23、CCL20的细胞比。方法选取本院及内蒙古医科大学
简单介绍了煤系高岭土煅烧的工艺技术及设备、回转窑在煅烧煤系高岭土方面与其他煅烧设备相比存在的优势,并详细介绍了回转窑的设备构成及运行注意事项。
BACKGROUND:The insular cortex and habenular nucleus may be a regulatory center for obstructive sleep apnea syndrome,and dyspnea may be caused by insular cortex
熵编码被广泛应用于数据压缩中,Context建模可以有效的利用信源序列中符号间的相关性使信源编码码长缩短,但是过大的Context模型会加大对信源符号的统计难度从而使编码效率降
本文构建了基于ARM11的硬件平台和嵌入式Linux开发环境,给出了一种利用Web服务器与客户端Socket通信和CGI程序程序实现门禁系统的解决方案。重点介绍了使用S3C6410开发板并配
<正>1临床资料患者男,56岁。因项部发际下痈给予静脉滴注头孢哌酮舒巴坦,4g,1次/d,配合外用药物治疗。静脉治疗10d后患处红肿消退,疼痛明显减轻,停用头孢哌酮舒巴坦。8d后,患