Research on memory leak faults testing method

A new pointer analysis framework is put forward which detects memory leak faults of software by analyzing static program behavior At first, the notion of pointer mapping algebraic system is proposed On the basis of this, it analyzes how to construct testing sets and describes the detailed testing steps. At last, it brings forth the application effects through example and shows the problems need to be solved next step. Comparing with former static memory leak detecting methods, this paper takes into account the Control Flow Graph and path condition, so it can increase the precision of result.