Release Time:2019-03-10  Hits:

Indexed by: Journal Article

Date of Publication: 2008-10-15

Journal: 小型微型计算机系统

Included Journals: CSCD、ISTIC、PKU

Volume: 29

Issue: 10

Page Number: 1935-1939

ISSN: 1000-1220

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

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