Date: Fri, 25 Apr 2014 14:24:28 +0200 From: =?utf-8?Q?Dag-Erling_Sm=C3=B8rgrav?= <des@des.no> To: "Ronald F. Guilmette" <rfg@tristatelogic.com> Cc: freebsd-security@freebsd.org Subject: Re: OpenSSL static analysis, was: De Raadt + FBSD + OpenSSH + hole? Message-ID: <86bnvpoav7.fsf@nine.des.no> In-Reply-To: <20140423012206.GB8271@glaze.hydra> (Chad Perrin's message of "Tue, 22 Apr 2014 19:22:06 -0600") 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>
next in thread | previous in thread | raw e-mail | index | archive | help
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? DES --=20 Dag-Erling Sm=C3=B8rgrav - des@des.no
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?86bnvpoav7.fsf>