OpenSSL static analysis, was: De Raadt + FBSD + OpenSSH + hole?

[Ben Laurie]

On 25 April 2014 13:24, Dag-Erling Smørgrav <des at des.no> wrote:
> Chad Perrin <code at apotheon.net> writes:
>> Obviously, human judgment is an important part of the process of finding
>> and fixing bugs.  If it wasn't, the last program we'd ever have to debug
>> would be the one that finds and fixes bugs.
>
> https://en.wikipedia.org/wiki/Halting_problem
>
> Oh, wait, is this one of those conversations where knowledge and facts
> are not welcome?

Curious what the halting problem can tell us about finding/fixing bugs?