| 基于源代码的内存泄漏静态分析方法 |
| |
| 引用本文： | 甘红星,金大海,宫云战.基于源代码的内存泄漏静态分析方法[J].内蒙古大学学报(自然科学版),2011,42(5):515-520. |
| |
| 作者姓名： | 甘红星 金大海 宫云战 |
| |
| 作者单位： | 北京邮电大学网络与交换技术国家重点实验室,北京,100876 |
| |
| 基金项目： | 国家“八六三”高技术研究发展计划基金重点项目(2007AA010302);国家“八六三”高技术研究发展计划基金项目(2009AA012404); 国家自然科学基金资助项目(91018002) |
| |
| 摘 要： | 在很多大型C、C++程序中,内存泄漏是一种十分常见的问题.内存泄漏是很难识别的,因为它唯一的特征就是内存消耗的增长.对内存泄漏产生的原因进行了分析,并且提出了一种基于可执行源码的静态分析方法.对可执行源码进行预处理,生成抽象语法树和控制流图,并且计算出所有可达路径,然后在每条可达路径上进行内存泄漏故障的检测和分析.此方法已在缺陷检测系统(DTS)中进行验证,通过对大量GCC开源工程的测试,证实本方法有效的检测出内存泄漏的故障.
|
| 关 键 词： | 内存泄漏 控制流图 抽象语法树 可达路径 |
A Static Memory Leak Detection Method Based on Executable Source Code |
| |
| GAN Hong-xing,JIN Da-hai,GONG Yun-zhan.A Static Memory Leak Detection Method Based on Executable Source Code[J].Acta Scientiarum Naturalium Universitatis Neimongol,2011,42(5):515-520. |
| |
| Authors: | GAN Hong-xing JIN Da-hai GONG Yun-zhan |
| |
| Institution: | GAN Hong-xing,JIN Da-hai,GONG Yun-zhan(Institute of Network Technology,Beijing University of Posts and Telecommunications,Beijing 100876,China) |
| |
| Abstract: | In many large-scale C or C++ projects,memory leak is a very common error.Memory leak is difficult to identify,because its feature is only a slow increase in memory consumption.The causes of memory leak is analyzed and a static detection method based on executable source code is proposed.The source code is preprocessed and the Abstract syntax tree and control flow graph are generated,and then the reachable paths are calculated in order to detect and analyze memory leaks for every generated path.This method i... |
| |
| Keywords: | memory leak control flow graph Abstract syntax tree reachable path |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
