Precise Detection of Memory Leaks Jonas Maebe, Michiel Ronsse, Koen De Bosschere Dammit, Jim. I’m an Eiffel Tower, not a Star Trek logo 25 May 2004 WODA2004 Memory leaks • What – Allocating memory without releasing later • Why bad – Reduce performance – May cause crashes • How to solve – Find out where exactly memory is leaked Overview • • • • • • Kinds of memory leaks Existing tools Our solution False positives Evaluation Future Work Physical Leaks