内存泄漏故障静态分析研究

目前研究人员主要采用静态测试技术实施对内存泄漏故障的检测，其基本思想就是依据待测程序的控制流图来设计特定的算法以检测内存泄漏问题，但这些方法的不足之处主要是控制流图的表示方式上未含有进一步可用信息，因此所设计的算法不能很好地执行该故障的检测任务。为此，定义了一种用于内存泄漏故障检测的控制流图，提出控制流图可达路径生成算法，然后根据生成的路径进行内存泄漏故障的检测与分析。实验证实，该方法取得了理想的效果。