论文部分内容阅读
内存泄漏是导致系统性能降低的重要问题．提出一种基于模型检测算法的内存泄漏静态检查方法TMC．该方法依据程序的控制流图构建对应于程序执行的有限状态自动机，进而在此基础上应用模型检测算法分析程序中可能存在的内存泄漏．论文利用几个典型的程序实例详细说明了TMC的工作原理，并通过基于内存操作密集的测试程序集PtrDist的实验对TMC进行了验证．实验结果表明，TMC能够显著提升内存泄漏分析的精度．