Date: Thu, 06 Apr 2006 09:30:28 -0700 From: Sam Leffler <sam@errno.com> To: Robert Watson <rwatson@freebsd.org> Cc: freebsd-hackers@freebsd.org, Benjamin D Adams <adams.benjamin@gmail.com> Subject: Re: FreeBSD Kernel Quality? Message-ID: <44354224.6090002@errno.com> In-Reply-To: <20060406090629.A53552@fledge.watson.org> References: <1144281833.15068.12.camel@localhost.localdomain> <20060406090629.A53552@fledge.watson.org>
next in thread | previous in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?44354224.6090002>