内存泄漏故障静态分析研究

• 作者: 叶俊民 张清国 张维 王敬华 金聪 魏鹏
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 内存泄漏 故障检测 控制流图 故障模型 静态分析技术
• 年，卷（期）: 2010,（6）
• 页码范围: 171-175
• 分类号: TP3
• 字数: 4704字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2010.06.040

摘要

目前研究人员主要采用静态测试技术实施对内存泄漏故障的检测,其基本思想就是依据待测程序的控制流图来设计特定的算法以检测内存泄漏问题,但这些方法的不足之处主要是控制流图的表示方式上未含有进一步可用信息,因此所设计的算法不能很好地执行该故障的检测任务.为此,定义了一种用于内存泄漏故障检测的控制流图,提出控制流图可达路径生成算法,然后根据生成的路径进行内存泄漏故障的检测与分析.实验证实,该方法取得了理想的效果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金聪	华中师范大学计算机科学系	69	430	13.0	16.0
2	王敬华	华中师范大学计算机科学系	31	252	9.0	14.0
3	叶俊民	华中师范大学计算机科学系	85	454	11.0	16.0
4	张清国	华中师范大学计算机科学系	14	140	8.0	11.0
5	张维	华中师范大学计算机科学系	33	153	9.0	11.0
6	魏鹏	华中师范大学计算机科学系	2	15	1.0	2.0