一个可半自动化扩展的静态代码缺陷分析工具

来源 :计算机学报 | 被引量 : 0次 | 上传用户：mihu0907

【摘要】

：

基于缺陷模式的代码缺陷分析技术根据预先设定的缺陷模式知识对受检代码进行缺陷分析．这种分析技术具有使用简单、查找速度快等优点，是近年来静态代码缺陷分析方法中发展比较迅

【作者】

：

梁广泰孟娜李进辉钟浩张路王千祥

【机构】

：

北京大学信息科学技术学院高可信软件技术教育部重点实验室

【出处】

：

计算机学报

【发表日期】

：

2011年6期

【关键词】

：

静态分析缺陷分析半自动化扩展缺陷模式 static analysis defect analysis semi-automatic extensibl

【基金项目】

：

本课题得到国家自然科学基金重点项目（61033006）、国家“九七三”重点基础研究发展规划项目基金（2009cB320703）、国家自然科学基金（60773160）、国家创新研究群体科学基金（60821003）资助.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

基于缺陷模式的代码缺陷分析技术根据预先设定的缺陷模式知识对受检代码进行缺陷分析．这种分析技术具有使用简单、查找速度快等优点，是近年来静态代码缺陷分析方法中发展比较迅速的新技术．但是目前基于这种分析技术的大多数工具并没有为用户提供足够易用、高效的扩展方式以扩充其缺陷检测能力．针对这一问题，作者提出了一个“可半自动化扩展”的代码缺陷静态分析方法，设计并实现了一个支持该方法的工具——CODA（COde Defect Analysis tool）. CODA不仅提供了“缺陷模式描述模板”以帮助用户快速地手工扩充缺

其他文献

产后出血64例临床分析

目的分析产后出血的病因及防治措施。方法对本院64例产后出血的患者资料进行临床分析。结果宫缩乏力52例占81.25%,胎盘因素7例占10.93%,软产道损伤4例占6.25%,凝血功能障碍1

期刊

产后出血宫缩乏力分娩方式

“CS”—企业长久发展的经营大旗

一支队伍没有旗帜不行,一个企业就是一支队伍,这个队伍的生产经营活动就需要有一面旗帜,只讲目标不讲旗帜就要出问题,就拿长期目标来说,其到达目标的道路并非笔直的,如果直行

期刊

企业经营管理顾客满意企业发展

自制中药治疗蝮蛇咬伤84例临床观察

目的探讨自制中药治疗蝮蛇咬伤后局部皮肤改变的新方法和效果。方法分析我院2006年至2009年84例蝮蛇咬伤病例,自制中药外敷治疗效果,总结其治疗经验。结果治愈84例,治愈率100

期刊