1. Zhenbo XU, Jian ZHANG, Zhongxing XU
Melton: a practical and precise memory leak detection tool for C programs
Zhenbo XU, Jian ZHANG, Zhongxing XU
Frontiers of Computer Science, 2015, 9(1):34–54

2. The Problem & Basic Ideas
Memory leaks: a common type of defect in C programs which may lead to system performance degradation
How can we detect memory leaks through static analysis?
Ideas:
interprocedural path-sensitive symbolic execution
novel analysis model called memory state transition graph (MSTG)

3. Tool and Experiments
A tool called Melton is implemented, which detects memory leaks in C programs.
The tool has been used to find new bugs in some open source software:
which-2.16
libosip
wget
openssh-5.9p1
sqlite