Static analysis can catch many issues, but what about flaws in logic?