文件名称：基于源代码的内存泄漏静态分析方法 (2011年)
文件大小：299KB
文件格式：PDF
更新时间：2024-06-09 12:15:22
自然科学 论文
在很多大型C、C＋＋程序中，内存泄漏是一种十分常见的问题。内存泄漏是很难识别的，因为它唯一的特征就是内存消耗的增长。对内存泄漏产生的原因进行了分析，并且提出了一种基于可执行源码的静态分析方法。对可执行源码进行预处理，生成抽象语法树和控制流图，并且计算出所有可达路径，然后在每条可达路径上进行内存泄漏故障的检测和分析。此方法已在缺陷检测系统（DTS）中进行验证，通过对大量GCC开源工程的测试，证实本方法有效的检测出内存泄漏的故障。