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

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)

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 libosip2-3.6.0 wget-1.13.3 openssh-5.9p1 sqlite-3.7.11