From owner-freebsd-hackers@FreeBSD.ORG  Fri Jan 11 21:23:31 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 2128116A419;
	Fri, 11 Jan 2008 21:23:31 +0000 (UTC)
	(envelope-from linimon@lonesome.com)
Received: from mail.soaustin.net (lefty.soaustin.net [66.135.55.46])
	by mx1.freebsd.org (Postfix) with ESMTP id 0969A13C47E;
	Fri, 11 Jan 2008 21:23:30 +0000 (UTC)
	(envelope-from linimon@lonesome.com)
Received: by mail.soaustin.net (Postfix, from userid 502)
	id 0F5B38C0F8; Fri, 11 Jan 2008 14:57:04 -0600 (CST)
Date: Fri, 11 Jan 2008 14:57:04 -0600
To: Ivan Voras <ivoras@freebsd.org>
Message-ID: <20080111205704.GE4787@soaustin.net>
References: <fm8ijb$49j$1@ger.gmane.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <fm8ijb$49j$1@ger.gmane.org>
User-Agent: Mutt/1.5.13 (2006-08-11)
From: linimon@lonesome.com (Mark Linimon)
X-Mailman-Approved-At: Fri, 11 Jan 2008 22:04:50 +0000
Cc: freebsd-hackers@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 21:23:31 -0000

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.

mcl