Automatic mining of source code repositories to improve bug finding techniques
A practical flow-sensitive and context-sensitive C and C++ memory leak detector