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

• 作者: 孟娜 张路 李进辉 梁广泰 王千祥 钟浩
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 静态分析 缺陷分析 半自动化扩展 缺陷模式
• 年，卷（期）: 2011,（6）
• 页码范围: 1114-1125
• 分类号: TP311
• 字数: 9130字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2011.01114

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张路	北京大学信息科学技术学院高可信软件技术教育部重点实验室	43	925	14.0	30.0
2	梁广泰	北京大学信息科学技术学院高可信软件技术教育部重点实验室	2	14	2.0	2.0
3	孟娜	北京大学信息科学技术学院高可信软件技术教育部重点实验室	24	161	7.0	12.0
4	李进辉	北京大学信息科学技术学院高可信软件技术教育部重点实验室	1	8	1.0	1.0
5	钟浩	北京大学信息科学技术学院高可信软件技术教育部重点实验室	1	8	1.0	1.0