| 一种混合式内存泄漏静态检测方法 |
| |
| 引用本文： | 胡燕,龚育昌,孙伟峰,赵振西.一种混合式内存泄漏静态检测方法[J].小型微型计算机系统,2008,29(10). |
| |
| 作者姓名： | 胡燕 龚育昌 孙伟峰 赵振西 |
| |
| 作者单位： | 1. 大连理工大学,软件学院,辽宁,大连,116620
2. 中国科学技术大学,计算机科学技术系,安徽,合肥,230027 |
| |
| 基金项目： | 教育部高等学校博士学科点专项科研基金 |
| |
| 摘 要： | 内存泄漏是导致系统性能降低的重要问题.提出一种基于模型检测算法的内存泄漏静态检查方法TMC.该方法依据程序的控制流图构建对应于程序执行的有限状态自动机,进而在此基础上应用模型检测算法分析程序中可能存在的内存泄漏.论文利用几个典型的程序实例详细说明了TMC的工作原理,并通过基于内存操作密集的测试程序集PtrDist的实验对TMC进行了验证.实验结果表明,TMC能够显著提升内存泄漏分析的精度.
|
| 关 键 词： | 模型检测 内存泄漏 别名分析 自动机 |
Hybrid Static Method for Memory Leak Detection |
| |
| HU Yan,GONG Yu-chang,SUN Wei-feng,ZHAO Zhen-xi.Hybrid Static Method for Memory Leak Detection[J].Mini-micro Systems,2008,29(10). |
| |
| Authors: | HU Yan GONG Yu-chang SUN Wei-feng ZHAO Zhen-xi |
| |
| Affiliation: | HU Yan1,GONG Yu-chang2,SUN Wei-feng1,ZHAO Zhen-xi2 1(School of Software,Dalian University of Technology,Dalian 116620 China)2(Department of Computer Science , Technology,University of Science , Technology of China,Hefei 230027 China) |
| |
| Abstract: | Memory leak is the key factor that causes system performance degradation.A static memory leak detection method based on model checking(TMC)is proposed in this paper.In the method,an abstract finite state automata expressing control flow graph of program is constructed first,then a model checking based analysis algorithm is applied to check memory leaks.Several sample programs are analyzed to show the details of how the TMC method works.Finally the pointer-intensive benchmark suite PtrDist is used to test an... |
| |
| Keywords: | model checking memory leak alias analysis automata |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
