一种面向堆操作程序的内存泄漏检测方法

摘要

本发明公开了一种面向堆操作程序的内存泄漏检测方法，要解决的技术问题是针对当前堆操作程序内存错误检测方面存在精度和效率的问题，提供一种新的内存泄漏检测方法，提高检测的精度和效率。技术方案是先对程序源代码进行语句分析和词法分析，生成中间文件；然后进行预处理，包括切片和转换；接着根据程序中指针变量扩展类型的定义得到堆内存抽象状态；采用前向数据流迭代方法进行过程内和过程间检测；最后检查和统计内存泄漏检测的结果。本发明在静态分析的精度和效率间找到了一个较好的平衡点，可加速迭代算法的终止，提高了检测精度和效率，可扩展性强，存储开销少。