From owner-freebsd-hackers@FreeBSD.ORG Thu Apr 6 08:09:04 2006 Return-Path: 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 9F26416A4C7 for ; Thu, 6 Apr 2006 08:09:04 +0000 (UTC) (envelope-from rwatson@FreeBSD.org) Received: from cyrus.watson.org (cyrus.watson.org [209.31.154.42]) by mx1.FreeBSD.org (Postfix) with ESMTP id 5C9CC43D5E for ; Thu, 6 Apr 2006 08:09:03 +0000 (GMT) (envelope-from rwatson@FreeBSD.org) Received: from fledge.watson.org (fledge.watson.org [209.31.154.41]) by cyrus.watson.org (Postfix) with ESMTP id ED18F46B32; Thu, 6 Apr 2006 04:09:01 -0400 (EDT) Date: Thu, 6 Apr 2006 09:09:01 +0100 (BST) From: Robert Watson X-X-Sender: robert@fledge.watson.org To: Benjamin D Adams In-Reply-To: <1144281833.15068.12.camel@localhost.localdomain> Message-ID: <20060406090629.A53552@fledge.watson.org> References: <1144281833.15068.12.camel@localhost.localdomain> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed Cc: freebsd-hackers@freebsd.org 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 06 Apr 2006 08:09:04 -0000 On Wed, 5 Apr 2006, Benjamin D Adams wrote: > I came across the fallowing website: http://scan.coverity.com/ > > Looks like they check open source projects for source quality. They Have the > fallowing listed: The FreeBSD Foundation has negotiated a license to use the Coverity Prevent software as part of the FreeBSD.org cluster, so we have our own Prevent install. We do nightly runs on two branches and at least five hardware architectures, providing all FreeBSD developers with accounts on the Coverity bug database. This allows tracking long-term bug trends, immediate feedback on newly introduced bugs, etc. I'll actually be visiting Coverity on Wednesday to talk about expanding our use of their software. There's news blurb about the Coverity license on the FreeBSD Foundation web page, and we'll be cutting a press release in the near future (we have a draft, but it seems to have stalled, so hopefully my Coverity visit will kick it off again). Robert N M Watson > > Project | Current # | Original # | Lines of Code | Defects / > Defects Defects KLOC > ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ > FreeBSD 632 635 1,582,166 0.399 > NetBSD 2384 3230 5,087,378 0.469 > > Anyone know what version they are testing this on? > Some may want to login and look at the problems they found. > > I filled out a Registration email to find out more. > > Anyone already registered and can say more about the code they are > testing? > > > -- > ------------------------------- > Benjamin D Adams > http://www.FreeBSDWorld.NET > > _______________________________________________ > 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" >