Bug Finding Considered Harmful?