From owner-freebsd-questions@FreeBSD.ORG  Sat Nov 20 05:08:59 2010
Return-Path: <owner-freebsd-questions@FreeBSD.ORG>
Delivered-To: freebsd-questions@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 345AE1065673
	for <freebsd-questions@freebsd.org>;
	Sat, 20 Nov 2010 05:08:59 +0000 (UTC)
	(envelope-from lists@eitanadler.com)
Received: from mail-iw0-f182.google.com (mail-iw0-f182.google.com
	[209.85.214.182])
	by mx1.freebsd.org (Postfix) with ESMTP id F2B878FC0C
	for <freebsd-questions@freebsd.org>;
	Sat, 20 Nov 2010 05:08:58 +0000 (UTC)
Received: by iwn39 with SMTP id 39so5958759iwn.13
	for <freebsd-questions@freebsd.org>;
	Fri, 19 Nov 2010 21:08:58 -0800 (PST)
Received: by 10.231.39.205 with SMTP id h13mr3075051ibe.148.1290229735710;
	Fri, 19 Nov 2010 21:08:55 -0800 (PST)
MIME-Version: 1.0
Received: by 10.231.143.15 with HTTP; Fri, 19 Nov 2010 21:08:35 -0800 (PST)
In-Reply-To: <20101119163648.19c9e66a@scorpio>
References: <201011192054.oAJKsOPk011590@mail.r-bonomi.com>
	<AANLkTi=qL4Tp_6+ObNvCR3V+TNjZd-dO+v+0740VQLxJ@mail.gmail.com>
	<20101119163648.19c9e66a@scorpio>
From: Eitan Adler <lists@eitanadler.com>
Date: Sat, 20 Nov 2010 00:08:35 -0500
Message-ID: <AANLkTimtQnc4fWYV7+PWMuKZbji835-Yp0v48bSCkD2Q@mail.gmail.com>
To: FreeBSD <freebsd-questions@freebsd.org>
Content-Type: text/plain; charset=UTF-8
Subject: Re: openssl version - how to verify
X-BeenThere: freebsd-questions@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: User questions <freebsd-questions.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-questions>, 
	<mailto:freebsd-questions-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-questions>
List-Post: <mailto:freebsd-questions@freebsd.org>
List-Help: <mailto:freebsd-questions-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-questions>, 
	<mailto:freebsd-questions-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sat, 20 Nov 2010 05:08:59 -0000

On Fri, Nov 19, 2010 at 4:36 PM, Jerry <freebsd.user@seibercom.net> wrote:
> 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.

The paper  "Diverse Double-Compiling" by David A Wheeler is relevant
although not strictly the same topic. It could be used to avoid this
type of issue.

-- 
Eitan Adler