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

by D L Heine, M S Lam
Venue:in Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI