Hybrid Static Method for Memory Leak Detection
Zhao Zhenxi · Journal of Chinese Computer Systems · 2008
Memory leak is the key factor that causes system performance degradation.A static memory leak detection method based on model checking(TMC)is proposed in this paper.In the method,an abstract finite state automata expressing control flow graph of program is constructed first,then a model checking based analysis algorithm is applied to check memory leaks.Several sample programs are analyzed to show the details of how the TMC method works.Finally the pointer-intensive benchmark suite PtrDist is used to test and verify the TMC method.The experimental results show that TMC can distinctly improve the precision of memory leak analysis.