Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 19 Nov 2010 16:36:48 -0500
From:      Jerry <freebsd.user@seibercom.net>
To:        FreeBSD <freebsd-questions@freebsd.org>
Subject:   Re: openssl version - how to verify
Message-ID:  <20101119163648.19c9e66a@scorpio>
In-Reply-To: <AANLkTi=qL4Tp_6%2BObNvCR3V%2BTNjZd-dO%2Bv%2B0740VQLxJ@mail.gmail.com>
References:  <201011192054.oAJKsOPk011590@mail.r-bonomi.com> <AANLkTi=qL4Tp_6%2BObNvCR3V%2BTNjZd-dO%2Bv%2B0740VQLxJ@mail.gmail.com>

next in thread | previous in thread | raw e-mail | index | archive | help
On Fri, 19 Nov 2010 15:08:26 -0600
Adam Vande More <amvandemore@gmail.com> articulated:

> While I agree with your point in this context, the statement "The
> number of _UNDISCOVERED_ bugs, on the other hand, is an infinite
> one." is false.
> 
> http://www.unsw.edu.au/news/pad/articles/2009/sep/microkernel_breakthrough.html

It was later discovered that the software used to certify the kernel
100% bug-free was not itself bug-free thereby nullifying results.

-- 
Jerry ✌
FreeBSD.user@seibercom.net

Disclaimer: off-list followups get on-list replies or get ignored.
Please do not ignore the Reply-To header.
__________________________________________________________________
My sister opened a computer store in Hawaii.
She sells C shells by the seashore.



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20101119163648.19c9e66a>