点击次数：

论文类型：期刊论文

发表时间：2008-10-15

发表刊物：小型微型计算机系统

收录刊物：PKU、ISTIC、CSCD

卷号：29

期号：10

页面范围：1935-1939

ISSN号：1000-1220

关键字：模型检测;内存泄漏;别名分析;自动机

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