From owner-freebsd-hackers@FreeBSD.ORG  Fri Jan 11 23:06:11 2008
Return-Path: <owner-freebsd-hackers@FreeBSD.ORG>
Delivered-To: freebsd-hackers@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 40FE216A419;
	Fri, 11 Jan 2008 23:06:11 +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 22A2E13C45B;
	Fri, 11 Jan 2008 23:06:10 +0000 (UTC) (envelope-from sam@errno.com)
Received: from Macintosh-2.local ([10.0.0.196]) (authenticated bits=0)
	by ebb.errno.com (8.13.6/8.12.6) with ESMTP id m0BMdCIC012897
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO);
	Fri, 11 Jan 2008 14:39:12 -0800 (PST) (envelope-from sam@errno.com)
Message-ID: <4787F00F.6070405@errno.com>
Date: Fri, 11 Jan 2008 14:39:11 -0800
From: Sam Leffler <sam@errno.com>
Organization: Errno Consulting
User-Agent: Thunderbird 2.0.0.9 (Macintosh/20071031)
MIME-Version: 1.0
To: Mark Linimon <linimon@lonesome.com>
References: <fm8ijb$49j$1@ger.gmane.org> <20080111205704.GE4787@soaustin.net>
In-Reply-To: <20080111205704.GE4787@soaustin.net>
X-Enigmail-Version: 0.95.6
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-DCC--Metrics: ebb.errno.com; whitelist
Cc: freebsd-hackers@freebsd.org, Ivan Voras <ivoras@freebsd.org>
Subject: Re: Coverity problems?
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: Fri, 11 Jan 2008 23:06:11 -0000

Mark Linimon wrote:
> On Fri, Jan 11, 2008 at 09:12:27PM +0100, Ivan Voras wrote:
>> These numbers seem strange and out of proportion. I know there has been 
>> prior cooperation with Coverity - is this just old data?
> 
> IIRC Coverity is not tracking our use of their software, at least in
> those statistics.  Someone was telling me yesterday that was because
> we have our own copy of the Coverity server which we use, rather than
> accessing the one on their site that generates the statistics.
> 
> Someone, please correct me if I'm wrong.

You are correct; we've had a private coverity server doing nightly runs 
long before coverity setup this service (the project has their own 
license through the FreeBSD Foundation).  I have no idea why coverity 
continues to do freebsd runs as the results are also not meaningful 
because their default models generate false positives that we've long 
since filtered out.

	Sam