Note that there is no guarantee they will report all bugs for buggy programs, they will report at least one.
There's no certainty they'll cover all bugs in problematic code, however, they will undoubtedly report the minimum number of issues.