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

第26卷第5期 计算机应用研究 V01．26No．5 20()9年5月 Researchof 2009 Application Compute鹅 May C++代码缺陷自动检测工具的研究与实现 古可，刘超，金茂忠 (北京航空航天大学软件工程研究所，北京100191) 摘要：通过编译的C++程序代码并不一定保证代码中不存在缺陷。代码中可能依然隐舍了安全、设计或是 风格上的缺陷，从而导致程序运行时出现内存泄露、指针误用等现象，或导致程序代码不清晰、可读性差。为了 有效查找这些缺陷，探讨了可定制缺陷规则的C++代码缺陷自动检测技术，介绍了两种缺陷定位方法，给出了 detec- 一种基于xPat