Hits:

Indexed by:期刊论文

Date of Publication:2008-10-15

Journal:小型微型计算机系统

Included Journals:PKU、ISTIC、CSCD

Volume:29

Issue:10

Page Number:1935-1939

ISSN No.:1000-1220

Key Words:模型检测;内存泄漏;别名分析;自动机

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