From owner-freebsd-hackers@FreeBSD.ORG  Thu Apr  6 07:39:44 2006
Return-Path: <owner-freebsd-hackers@FreeBSD.ORG>
X-Original-To: freebsd-hackers@freebsd.org
Delivered-To: freebsd-hackers@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 9815C16A41F
	for <freebsd-hackers@freebsd.org>; Thu,  6 Apr 2006 07:39:44 +0000 (UTC)
	(envelope-from nickgrieve@gmail.com)
Received: from xproxy.gmail.com (xproxy.gmail.com [66.249.82.200])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 260E043D46
	for <freebsd-hackers@freebsd.org>; Thu,  6 Apr 2006 07:39:43 +0000 (GMT)
	(envelope-from nickgrieve@gmail.com)
Received: by xproxy.gmail.com with SMTP id s9so63831wxc
	for <freebsd-hackers@freebsd.org>; Thu, 06 Apr 2006 00:39:43 -0700 (PDT)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com;
	h=received:message-id:date:from:user-agent:mime-version:to:subject:references:in-reply-to:content-type:content-transfer-encoding;
	b=fUINIyeMsDR3gBcywioY9Gnr4FguXx2s+MzIIanePZkH4MU+cF849oel0d8u7vxb9k2Ni2AgPTl8UEmmB3rkyt2NfsePbRGkgVXgEVYR7st7rxYAsKGg6pbhlN3gg9ixikuhHH1AOQRa2SSHLzUGGS4NQDYLRbQl49aQDuF/z+M=
Received: by 10.70.51.6 with SMTP id y6mr768619wxy;
	Thu, 06 Apr 2006 00:39:42 -0700 (PDT)
Received: from ?192.168.1.3? ( [202.74.213.115])
	by mx.gmail.com with ESMTP id h11sm146085wxd.2006.04.06.00.39.40;
	Thu, 06 Apr 2006 00:39:42 -0700 (PDT)
Message-ID: <4434C5B7.7020903@gmail.com>
Date: Thu, 06 Apr 2006 19:39:35 +1200
From: Nick Grieve <nickgrieve@gmail.com>
User-Agent: Thunderbird 1.5 (Macintosh/20051201)
MIME-Version: 1.0
To: freebsd-hackers@freebsd.org
References: <1144281833.15068.12.camel@localhost.localdomain>
	<4434C1DF.5000003@shapeshifter.se>
In-Reply-To: <4434C1DF.5000003@shapeshifter.se>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Mailman-Approved-At: Thu, 06 Apr 2006 11:26:07 +0000
Subject: Re: FreeBSD Kernel Quality?
X-BeenThere: freebsd-hackers@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Technical Discussions relating to FreeBSD
	<freebsd-hackers.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>, 
	<mailto:freebsd-hackers-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-hackers>
List-Post: <mailto:freebsd-hackers@freebsd.org>
List-Help: <mailto:freebsd-hackers-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>,
	<mailto:freebsd-hackers-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Thu, 06 Apr 2006 07:39:44 -0000

http://validator.w3.org/check?uri=http%3A%2F%2Fwww.coverity.com%2Fmain.html

*cough*

:)


Fredrik Lindberg wrote:
> Benjamin D Adams wrote:
>>
>> Anyone know what version they are testing this on?
>> Some may want to login and look at the problems they found.
>>
>
> You should search the cvs-src mailinglist for the following lines
>    Found with:     Coverity Prevent(tm)
>    Found by:       Coverity Analysis tool[1].
> and other variants :)
>
> Fredrik
> _______________________________________________
> freebsd-hackers@freebsd.org mailing list
> http://lists.freebsd.org/mailman/listinfo/freebsd-hackers
> To unsubscribe, send any mail to 
> "freebsd-hackers-unsubscribe@freebsd.org"
>
>