A Static Analysis Method for Memory Leak
Chen Man-qin · 2004
Memory leak is a common kind of error in C language programs. Basing on the defect-oriented test strategy and combining the advantage of static analysis, this paper describes a method to find this kind of error. We have implemented this algorithm and used it in real-life test process.