From owner-freebsd-current@FreeBSD.ORG Sat Jan 9 16:39:27 2010 Return-Path: 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 A4567106568D for ; Sat, 9 Jan 2010 16:39:27 +0000 (UTC) (envelope-from onemda@gmail.com) Received: from mail-ew0-f213.google.com (mail-ew0-f213.google.com [209.85.219.213]) by mx1.freebsd.org (Postfix) with ESMTP id 36CDE8FC18 for ; Sat, 9 Jan 2010 16:39:26 +0000 (UTC) Received: by ewy5 with SMTP id 5so9089711ewy.14 for ; Sat, 09 Jan 2010 08:39:21 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:content-type; bh=6aOeP86NAplIh/TvgEoAm3BcuQsbpI6Eenk4Siji+eM=; b=BvscZCAZi0+Zhe8tnKwFXDuAToBcqME0qdZG4xPQZ3IQ6U5qdwTySzZsBzG4xCfwbR zpbZ0Tvy6dknJTcKRjxe7x3GMLsFqEwIDzdCl2dyeIxOE3GdBIJ6G0v5MnN/xPdfzKdz hl38A7fKRX/UeZjdhgHv3DYlKfFyvNXQ1kF4g= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; b=e//FOJ32ucN2dRTdARro+kC1q4fn7dy3//TCpEyC+s2n0WCQfH5ShRWyttCmW0vQCZ v+tYVVsfaQ7Ui11gwftkstjWqG54ha82RZJR2eQNPvqI4ryUn1q/xeQKEvJkj4DCCGfE 19O7aRwGoaXksAbLYRY0nOGe6uz8QTlhDSN0I= MIME-Version: 1.0 Received: by 10.213.106.202 with SMTP id y10mr899116ebo.35.1263055158447; Sat, 09 Jan 2010 08:39:18 -0800 (PST) In-Reply-To: <20100109153123.GD52442@acme.spoerlein.net> References: <20100109153123.GD52442@acme.spoerlein.net> Date: Sat, 9 Jan 2010 17:39:18 +0100 Message-ID: <3a142e751001090839x4c20e883read1767c5ae66615@mail.gmail.com> From: Paul B Mahol To: current@freebsd.org Content-Type: text/plain; charset=ISO-8859-1 Cc: 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 09 Jan 2010 16:39:27 -0000 On 1/9/10, Ulrich Spoerlein 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. -- Paul B Mahol