From owner-freebsd-hackers@FreeBSD.ORG  Fri Jan 11 22:55:07 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 B4E8716A418;
	Fri, 11 Jan 2008 22:55:07 +0000 (UTC)
	(envelope-from wblock@wonkity.com)
Received: from wonkity.com (wonkity.com [67.158.26.137])
	by mx1.freebsd.org (Postfix) with ESMTP id 7B00813C448;
	Fri, 11 Jan 2008 22:55:07 +0000 (UTC)
	(envelope-from wblock@wonkity.com)
Received: from wonkity.com (localhost [127.0.0.1])
	by wonkity.com (8.14.2/8.14.2) with ESMTP id m0BMRRte011493;
	Fri, 11 Jan 2008 15:27:27 -0700 (MST)
	(envelope-from wblock@wonkity.com)
Received: from localhost (wblock@localhost)
	by wonkity.com (8.14.2/8.14.2/Submit) with ESMTP id m0BMRRoH011490;
	Fri, 11 Jan 2008 15:27:27 -0700 (MST)
	(envelope-from wblock@wonkity.com)
Date: Fri, 11 Jan 2008 15:27:27 -0700 (MST)
From: Warren Block <wblock@wonkity.com>
To: Mark Linimon <linimon@lonesome.com>
In-Reply-To: <20080111205704.GE4787@soaustin.net>
Message-ID: <20080111152611.J11483@wonkity.com>
References: <fm8ijb$49j$1@ger.gmane.org> <20080111205704.GE4787@soaustin.net>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed
X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-3.0
	(wonkity.com [127.0.0.1]); Fri, 11 Jan 2008 15:27:27 -0700 (MST)
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 22:55:07 -0000

On Fri, 11 Jan 2008, 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're right.  See the January 11, 2008 note here:

http://scan.coverity.com/

-Warren Block * Rapid City, South Dakota USA