内存泄漏的动态跟踪分析

Dynamic Trace Analysis on Memory Leak

内存泄漏是软件开发中的一个难以定位和修正的严重错误。在大多数情况下,动态内存的有效域虽未明确写出,但仍是程序的局部;且程序动态运行的轨迹在一定程度上反映程序的静态性质。基于以上观察,开发了在面向函数定位框架中嵌入动态分析的内存泄漏监测新方法。新方法中,先建立程序的函数动态调用树,其中包含程序分配释放内存的信息,再在调用树中总结程序的静态性质,为内存泄漏定位提供有价值的信息。该文用两个实例展示这个方法的有效性。

Memory leak has been exposed to be one of the most serious bugs that are hard to locate and fix in computer program development.In this paper though it is noted that dynamic variables have some local inexplicit extent under most circumstances,the running trace of a program can reflect its static property to a certain degree.Based on these two observations a new approach for memory leak detection is developed which incorporates dynamic analysis under the framework of function oriented locating?In the new approach,dynamic function calling tree with data about memory allocation and release of the running program is constructed first,then the static property of the program is extracted from the dynamic tree which provides some valuable information for memory leak detection and location.The effectiveness of our approach is demonstrated by two examples in the paper.