Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis. - Ji Wang 001; Xiaodong Ma; Wei Dong 006; Hou-Feng Xu; Wanwei Liu (J. Comput. Sci. Technol., 2009)