Date: Fri, 25 Apr 2014 15:15:29 +0100 From: Ben Laurie <benl@freebsd.org> To: =?UTF-8?Q?Dag=2DErling_Sm=C3=B8rgrav?= <des@des.no> Cc: "freebsd-security@freebsd.org security" <freebsd-security@freebsd.org>, "Ronald F. Guilmette" <rfg@tristatelogic.com> Subject: Re: OpenSSL static analysis, was: De Raadt + FBSD + OpenSSH + hole? Message-ID: <CAG5KPzyTCTbe_vTcP8HDa_KU0agNZQjzVmQ4XnZZjgGFEVnyaQ@mail.gmail.com> In-Reply-To: <86bnvpoav7.fsf@nine.des.no> References: <DC2F9726-881B-4D42-879F-61377CA0210D@mac.com> <8783.1398202137@server1.tristatelogic.com> <20140423003400.GA8271@glaze.hydra> <20140423010054.2891E143D098@rock.dv.isc.org> <20140423012206.GB8271@glaze.hydra> <86bnvpoav7.fsf@nine.des.no>
next in thread | previous in thread | raw e-mail | index | archive | help
On 25 April 2014 13:24, Dag-Erling Sm=C3=B8rgrav <des@des.no> wrote: > Chad Perrin <code@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?
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CAG5KPzyTCTbe_vTcP8HDa_KU0agNZQjzVmQ4XnZZjgGFEVnyaQ>