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

摘要：

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

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

所属期刊栏目：37

分类号：TP3;TP2

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

在线出版日期：2010-08-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：171-175