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

Static Analysis of Memory Leak Fault

作　　者：叶俊民[1] 魏鹏[1] 金聪[1] 王敬华[1] 张清国[1] 张维[1] 

机构地区：[1]华中师范大学计算机科学系,武汉430079

出　　处：《计算机科学》2010年第6期171-175,共5页Computer Science

基　　金：武汉大学计算机软件工程国家重点实验室开放基金项目(编号:SKLSE20080705);湖北省自然科学基金(编号:2007ABA034;2008CDB349);华中师范大学中央高校基本科研业务费项目(编号:CCNU09Y01009和CCNU09Y01013)资助

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

关 键 词：内存泄漏 故障检测 控制流图 故障模型 静态分析技术 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]