Unless you're willing to move the burden to the programmer, to prove correctness. Bugs can always be found statically, but there may always be bugs that evade

Unless you're willing to move the burden to the programmer, to prove correctness. Bugs can always be found statically, but there may always be bugs that evade all the static analysis you happened to do.