Exact Leak Detection