上传者: 38737176
|
上传时间: 2022-11-17 09:40:59
|
文件大小: 299KB
|
文件类型: PDF
在很多大型C、C++程序中,内存泄漏是一种十分常见的问题。内存泄漏是很难识别的,因为它唯一的特征就是内存消耗的增长。对内存泄漏产生的原因进行了分析,并且提出了一种基于可执行源码的静态分析方法。对可执行源码进行预处理,生成抽象语法树和控制流图,并且计算出所有可达路径,然后在每条可达路径上进行内存泄漏故障的检测和分析。此方法已在缺陷检测系统(DTS)中进行验证,通过对大量GCC开源工程的测试,证实本方法有效的检测出内存泄漏的故障。