文件名称：论文研究-C代码缺陷自动检测工具的研究与实现.pdf
文件大小：302KB
文件格式：PDF
更新时间：2022-08-11 12:14:13
静态分析,抽象语法树,缺陷检测,规则扩展
通过编译的C 程序代码并不一定保证代码中不存在缺陷。代码中可能依然隐含了安全、设计或是风格上的缺陷，从而导致程序运行时出现内存泄露、指针误用等现象，或导致程序代码不清晰、可读性差。为了有效查找这些缺陷，探讨了可定制缺陷规则的C 代码缺陷自动检测技术，介绍了两种缺陷定位方法，给出了一种基于XPath技术的缺陷规则定制方法，设计并实现了一种代码缺陷自动检测工具CDD（C defect detector），并通过实验证明了缺陷定位方法的有效性以及CDD的易用性。