可定制缺陷规则的C%2b%2b代码缺陷检测工具的研究和实现.pdfVIP

可定制缺陷规则的C++代码缺陷检测工具的研究与实现★ 古可1，刘超2，金茂患3 (北京市北京航空航天大学软件工程研究所， 北京100191) 摘要： 能通过编译的C++程序代码可能依然隐含了安全上、设计上或是风格上的缺陷，它们隐蔽性高， 并且将导致程序运行时出现内存泄漏、抛出运行时异常等现象，或者导致程序可维护性差。为了有效查找 这些缺陷，本文探讨了可定制缺陷规则的C++代码缺陷自动检测技术，介绍了两种缺陷定位方式以及相应 验证明了这两种缺陷定位方式以及规则扩展方法是有效的。 关键词： 缺陷规则、静态分析、抽象语法树、缺陷定位 The and of Research Defect—Extendable Implementation C++CodeDefectDetectionTool Gu Kel，LiuCha02，JinMao-zhon93， (S