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