Better Leak Detection: Creating a Program that Works