Tool for finding memory management bugs in programs