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> Cc: current@freebsd.org Subject: Re: Clang Static Analyzer runs on the FreeBSD source code Message-ID: <20100109164221.GE52442@acme.spoerlein.net> In-Reply-To: <3a142e751001090839x4c20e883read1767c5ae66615@mail.gmail.com> References: <20100109153123.GD52442@acme.spoerlein.net> <3a142e751001090839x4c20e883read1767c5ae66615@mail.gmail.com>
next in thread | previous in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20100109164221.GE52442>