C++代码缺陷自动检测工具的研究与实现

• 作者: 刘超 古可 金茂忠
• 来源期刊: 计算机应用研究
• 关键词: 静态分析 抽象语法树 缺陷检测 规则扩展
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 综述评论
• 页码范围: 1628-1631
• 页数: 4页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.05.008

摘要

通过编译的C+ +程序代码并不一定保证代码中不存在缺陷.代码中可能依然隐含了安全、设计或是风格上的缺陷,从而导致程序运行时出现内存泄露、指针误用等现象,或导致程序代码不清晰、可读性差.为了有效查找这些缺陷,探讨了可定制缺陷规则的C+ +代码缺陷自动检测技术,介绍了两种缺陷定位方法,给出了一种基于XPath技术的缺陷规则定制方法,设计并实现了一种代码缺陷自动检测工具CDD(C+ + defect detector),并通过实验证明了缺陷定位方法的有效性以及CDD的易用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金茂忠	北京航空航天大学软件工程研究所	124	2563	23.0	48.0
2	刘超	北京航空航天大学软件工程研究所	138	2512	20.0	47.0
3	古可	北京航空航天大学软件工程研究所	1	4	1.0	1.0