| 内存泄漏故障静态分析研究 |
| |
| 引用本文： | 叶俊民,魏鹏,金聪,王敬华,张清国,张维.内存泄漏故障静态分析研究[J].计算机科学,2010,37(6):171-175. |
| |
| 作者姓名： | 叶俊民 魏鹏 金聪 王敬华 张清国 张维 |
| |
| 作者单位： | 华中师范大学计算机科学系,武汉,430079 |
| |
| 基金项目： | 武汉大学计算机软件工程国家重点实验室开放基金项目，湖北省自然科学基金，华中师范大学中央高校基本科研业务费项目 |
| |
| 摘 要： | 目前研究人员主要采用静态测试技术实施对内存泄漏故障的检测,其基本思想就是依据待测程序的控制流图来设计特定的算法以检测内存泄漏问题,但这些方法的不足之处主要是控制流图的表示方式上未含有进一步可用信息,因此所设计的算法不能很好地执行该故障的检测任务.为此,定义了一种用于内存泄漏故障检测的控制流图,提出控制流图可达路径生成算法,然后根据生成的路径进行内存泄漏故障的检测与分析.实验证实,该方法取得了理想的效果.
|
| 关 键 词： | 内存泄漏 故障检测 控制流图 故障模型 静态分析技术 |
| 收稿时间： | 2009/7/22 0:00:00 |
| 修稿时间： | 2009/10/28 0:00:00 |
Static Analysis of Memory Leak Fault |
| |
| YE Jun-min,WEI Peng,JIN Cong,WANG Jing-hu,ZHANG Qing-guo,ZHANG Wei.Static Analysis of Memory Leak Fault[J].Computer Science,2010,37(6):171-175. |
| |
| Authors: | YE Jun-min WEI Peng JIN Cong WANG Jing-hu ZHANG Qing-guo ZHANG Wei |
| |
| Affiliation: | (Department of Computer Science,Central China formal University,Wuhan 430079,China) |
| |
| Abstract: | Recent researches detect memory leaks mainly through static test methods. The basic idea is to detect memory leaks by designing specific algorithm based on the control flow graph of program to be tested, but the limitations of these methods are that control flow graph doesn't contain useful information for further use, so that designed algorithms can't detect memory leaks efficiently. We defined a control flow graph for detecting memory leaks and proposed control flow graph reachable paths generating algorithm to detect and analyze memory leaks for generated paths. This method was proved by experiments to be very effective. |
| |
| Keywords: | Memory leaks Faults detect Control flow graph Fault model Static analyses techniques |
| 本文献已被 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
