A practical flow-sensitive and context-sensitive C and C++ memory leak detector (2003)

by D Heine, M Lam
Venue:In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation