基于静态检测的C++内存泄漏分析

计算机工程与科学

基于静态检测的C++内存泄漏分析

陈贝1,许庆国1,2

(1.上海大学计算机工程与科学学院，上海 200444;2.上海市计算机软件评测重点实验室，上海 200444)

收稿日期:2015-09-10 修回日期:2015-12-02 出版日期:2017-01-25 发布日期:2017-01-25
基金资助:
国家自然科学基金(61170044,61572306,61502294)

C++ program memory leakage analysis

based on static test

CHEN Bei1,XU Qingguo1,2

(1.School of Computer Engineering and Science,Shanghai University,Shanghai 200444;

2.Laboratory of Computer Software Evaluating and Testing,Shanghai 200444,China)

Received:2015-09-10 Revised:2015-12-02 Online:2017-01-25 Published:2017-01-25

摘要/Abstract

摘要：

C++是一种非常流行的计算机编程语言，在使用的过程中容易出现内存泄漏问题，而该问题往往难以识别。给出了一种对C++内存泄漏问题进行分析的方法，该方法得到C++源代码的抽象语法树，从抽象语法树中提取程序控制流图，然后将类的构造函数、普通成员函数以及析构函数的程序控制流图相互连接形成新的程序控制流图，并设计算法对控制流图进行检测。最后通过一些内存泄漏的典型实例进行测试，实验表明本方法有效。

关键词: 内存泄漏, 静态检测, 抽象语法树, 控制流图

Abstract:

C++ is a very popular computer programming language and memory leakage is one of the most hardtofind common error in C++ programs. We design a static analyzer that can detect memory leakage for C++ programs. Firstly, we extract the control flow graph from the abstract syntax tree generated from C++ source via g++. Secondly, we build some new control flow graphs by connecting the control flow graphs of memory functions for the same class. Finally, we design and implement an algorithm to analyze the new control flow graphs to report all possible errors. Experiment results, for some examined examples, show that our method is effective.

Key words: memory leakage, static testing, abstract syntax tree, control flow graph

陈贝1,许庆国1,2. 基于静态检测的C++内存泄漏分析[J]. 计算机工程与科学.

CHEN Bei1,XU Qingguo1,2.

C++ program memory leakage analysis

based on static test

[J]. Computer Engineering & Science.

参考文献［13］

［1］	Gan Hongxing,Jin Dahai,Gong Yunzhan.A static memory leak detection method based on executable source code［J］.Journal of Inner Mongolia University(Natural Science Edition),2011,42(5):515520.(in Chinese)
［2］	Xiao Qing, Zhang Wei, Gong Yunzhan. A static analysis method for memory leak［J］.Journal of Academy of Armored Force Engineering,2004,18(2):2326.(in Chinese)
［3］	Yang Changkun, Xu Qingguo. The technology and implementation of extracting control flow model of C program［J］.Computer Science,2014,41(5):208214.(in Chinese)
［4］	Zhang Wei,Li Hui,Bi Xuejun,et al.Research on static testing method of memory leak faults［C］∥Proc of the 4th China Test Academic Conference,2006:1.(in Chinese)
［5］	Ye Junmin, Wei Peng, Jin Cong, et al. Static analysis of memory leak fault［J］.Computer Science,2010,37(6):171175.(in Chinese)
［6］	Sui Y,Ye D,Xue J.Detecting memory leaks statically with fullsparse valueflow analysis［J］.IEEE Transactions on Software Engineering,2014,40(2):107122.
［7］	Xie Y,Aiken A.Context and pathsensitive memory leak detection［J］.ACM SIGSOFT Software Engineering Notes,2005,30(5):115125.
［8］	Jung Y,Yi K.Practical memory leak detector based on parameterized procedural summaries［C］∥Proc of the 7th ACM International Symposium on Memory Management,2008:131140.
［9］	Orlovich M,Rugina R.Memory leak analysis by contradiction［M］∥Static Analysis.Berlin Heidelberg:Springer, 2006:405424.
［10］	Heine D L, Lam M S. A practical flowsensitive and contextsensitive C and C++ memory leak detector［J］.ACM SIGPLAN Notices,2003,38(5):168181.
［11］	Liu Ming,Rong Mengtian,Guo Fen,et al.Realization of dynamic memory leak detection technology under Linux［J］.Information Technology,2007,31(9):2932.(in Chinese)
［12］	Qu B,Shu J,Huang Y,et al.Memory leak dynamic monitor based on hook technique［C］∥Proc of
	IEEE International Conference on Computational Intelligence and Software Engineering(CiSE 2009),2009:14.
［13］	Wang Zemin,Lu Dongxin,Xu Lifeng,et al.Arithmetic of memory leakage detection in embedded system software and its implementation［J］.Computer Engineering,2005,31(13):8486.(in Chinese)
	附中文参考文献：
［1］	甘红星,金大海,宫云战.基于源代码的内存泄漏静态分析方法［J］.内蒙古大学学报(自然科学版),2011,42(5):515520.
［2］	肖庆,张威,宫云战,等.内存泄漏的一种静态分析方法［J］.装甲兵工程学院学报,2004,18(2):2326.
［3］	杨昌坤,许庆国.C 程序控制流程模型的提取技术与实现［J］.计算机科学,2014,41(5):208214.
［4］	张威,李辉,毕学军,等.内存泄漏故障静态测试方法研究［C］∥第四届中国测试学术会议论文集,2006:1.
［5］	叶俊民,魏鹏,金聪,等.内存泄漏故障静态分析研究［J］.计算机科学,2010,37(6):171175.
［11］	刘明,戎蒙恬,郭芬,等.一种 Linux 下动态内存泄漏检测技术的实现［J］.信息技术,2007,31(9):2932.
［13］	王泽民,芦东昕,徐立峰,等.嵌入式系统软件内存泄漏监测的算法和实现［J］.计算机工程,2005,31(13):8486.

[1]	张静1，黄志球1,2，沈国华1,2，喻垚慎1，艾磊1. C程序中的内存泄漏机制分析与检测方法设计[J]. 计算机工程与科学, 2020, 42(05): 776-787.
[2]	夏一民曹宏嘉罗军张民选. 一种需求驱动的缓冲区溢出检测算法[J]. J4, 2007, 29(1): 86-87.
[3]	毛澄映卢炎生. 面向对象类簇级测试中控制依赖分析方法研究[J]. J4, 2005, 27(8): 65-69.