Sees flaws that neither you nor your compiler can find.