From owner-freebsd-hackers@FreeBSD.ORG Thu Apr 6 20:02:39 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 B650716A4C7; Thu, 6 Apr 2006 20:02:39 +0000 (UTC) (envelope-from sam@errno.com) Received: from ebb.errno.com (ebb.errno.com [69.12.149.25]) by mx1.FreeBSD.org (Postfix) with ESMTP id 01B0B44951; Thu, 6 Apr 2006 16:30:30 +0000 (GMT) (envelope-from sam@errno.com) Received: from [10.0.0.248] (trouble.errno.com [10.0.0.248]) (authenticated bits=0) by ebb.errno.com (8.13.6/8.12.6) with ESMTP id k36GUSeA004807 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Thu, 6 Apr 2006 09:30:30 -0700 (PDT) (envelope-from sam@errno.com) Message-ID: <44354224.6090002@errno.com> Date: Thu, 06 Apr 2006 09:30:28 -0700 From: Sam Leffler User-Agent: Thunderbird 1.5 (X11/20060210) MIME-Version: 1.0 To: Robert Watson References: <1144281833.15068.12.camel@localhost.localdomain> <20060406090629.A53552@fledge.watson.org> In-Reply-To: <20060406090629.A53552@fledge.watson.org> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Cc: freebsd-hackers@freebsd.org, Benjamin D Adams 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 20:02:41 -0000 Robert Watson wrote: > 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). Note that our private runs use some freebsd-specific models that eliminate many false positives in the analysis runs. This means, for the kernel at least, that the results may be misleading. We also have some issues that inflate the reportage somewhat and we're working with Coverity to resolve them. OTOH we've done nothing with user application code and based on the work I've seen done by netbsd there's plenty of stuff to be fixed there. So if you want to help out get an account and start feeding back fixes for the user code. Sam