Unless you're willing to move the burden to the programmer, to prove correctness...

		Peaker on April 11, 2014 \| parent \| context \| favorite \| on: Heartbleed and Static Analysis 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.