From owner-freebsd-current@FreeBSD.ORG  Sat Jan  9 16:42:23 2010
Return-Path: <owner-freebsd-current@FreeBSD.ORG>
Delivered-To: current@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 494011065696
	for <current@freebsd.org>; Sat,  9 Jan 2010 16:42:23 +0000 (UTC)
	(envelope-from uqs@spoerlein.net)
Received: from acme.spoerlein.net (acme.spoerlein.net [IPv6:2a01:198:206::1])
	by mx1.freebsd.org (Postfix) with ESMTP id C3BC58FC1D
	for <current@freebsd.org>; Sat,  9 Jan 2010 16:42:22 +0000 (UTC)
Received: from acme.spoerlein.net (localhost.spoerlein.net [IPv6:::1])
	by acme.spoerlein.net (8.14.3/8.14.3) with ESMTP id o09GgLQ9094768
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO);
	Sat, 9 Jan 2010 17:42:21 +0100 (CET)
	(envelope-from uqs@spoerlein.net)
Received: (from uqs@localhost)
	by acme.spoerlein.net (8.14.3/8.14.3/Submit) id o09GgLtg094767;
	Sat, 9 Jan 2010 17:42:21 +0100 (CET)
	(envelope-from uqs@spoerlein.net)
Date: Sat, 9 Jan 2010 17:42:21 +0100
From: Ulrich =?utf-8?B?U3DDtnJsZWlu?= <uqs@spoerlein.net>
To: Paul B Mahol <onemda@gmail.com>
Message-ID: <20100109164221.GE52442@acme.spoerlein.net>
Mail-Followup-To: Paul B Mahol <onemda@gmail.com>, current@freebsd.org
References: <20100109153123.GD52442@acme.spoerlein.net>
	<3a142e751001090839x4c20e883read1767c5ae66615@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <3a142e751001090839x4c20e883read1767c5ae66615@mail.gmail.com>
User-Agent: Mutt/1.5.20 (2009-06-14)
Cc: current@freebsd.org
Subject: Re: Clang Static Analyzer runs on the FreeBSD source code
X-BeenThere: freebsd-current@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Discussions about the use of FreeBSD-current
	<freebsd-current.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>, 
	<mailto:freebsd-current-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-current>
List-Post: <mailto:freebsd-current@freebsd.org>
List-Help: <mailto:freebsd-current-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>,
	<mailto:freebsd-current-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sat, 09 Jan 2010 16:42:23 -0000

On Sat, 09.01.2010 at 17:39:18 +0100, Paul B Mahol wrote:
> On 1/9/10, Ulrich Spoerlein <uqs@spoerlein.net> wrote:
> > Dear all,
> >
> > as you may know the LLVM/clang project is also working on static code
> > analysis [1] and they provide a very early, very alpha version of their
> > checker.
> >
> > For a couple of weeks now, I'm running these scans on the FreeBSD head
> > source code which spews out lots of "errors" and false positives, but
> > occasionally it uncovers a real bug.
> >
> > The curious might want to take a peek at [2] and peruse the long list
> > (~7000 for buildworld, ~1300 for buildkernel) of (false) positives.
> >
> > Cheers,
> > Uli
> >
> > PS: what happened to the Coverity runs on FreeBSD?
> >
> > [1] http://clang-analyzer.llvm.org/
> > [2] https://www.spoerlein.net/scan-build/
> > _______________________________________________
> 
> 
> Why is kernel build with NO_MODULES ?
> Code in modules but not in GENERIC is ignored.

Thanks for pointing this out. This was initially done to cut down the
runtime, but since I got faster hardware I will turn modules on for the
next scan. Perhaps adding LINT would give even more coverage ...

Regards,
Uli