| C++代码缺陷自动检测工具的研究与实现* |
| |
| 引用本文： | 古可,刘超,金茂忠.C++代码缺陷自动检测工具的研究与实现*[J].计算机应用研究,2009,26(5):1628-1631. |
| |
| 作者姓名： | 古可 刘超 金茂忠 |
| |
| 作者单位： | 北京航空航天大学,软件工程研究所,北京,100191 |
| |
| 基金项目： | 国家“863”计划资助项目（2006AA01Z176） ；国家“十一五”国防预研项目 |
| |
| 摘 要： | 通过编译的C++程序代码并不一定保证代码中不存在缺陷。代码中可能依然隐含了安全、设计或是风格上的缺陷，从而导致程序运行时出现内存泄露、指针误用等现象，或导致程序代码不清晰、可读性差。为了有效查找这些缺陷，探讨了可定制缺陷规则的C++代码缺陷自动检测技术，介绍了两种缺陷定位方法，给出了一种基于XPath技术的缺陷规则定制方法，设计并实现了一种代码缺陷自动检测工具CDD（C++ defect detector），并通过实验证明了缺陷定位方法的有效性以及CDD的易用性。
|
| 关 键 词： | 静态分析 抽象语法树 缺陷检测 规则扩展 |
Research and implementation of automated C++ code defect detection tool |
| |
| GU Ke,LIU Chao,JIN Mao-zhong.Research and implementation of automated C++ code defect detection tool[J].Application Research of Computers,2009,26(5):1628-1631. |
| |
| Authors: | GU Ke LIU Chao JIN Mao-zhong |
| |
| Affiliation: | Software Engineering Institute;Beihang University;Beijing 100191;China |
| |
| Abstract: | |
| |
| Keywords: | static analysis abstract syntax tree defect detection rule extension |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
