Date: Sat, 9 Jan 2010 17:39:18 +0100 From: Paul B Mahol <onemda@gmail.com> To: current@freebsd.org Subject: Re: Clang Static Analyzer runs on the FreeBSD source code Message-ID: <3a142e751001090839x4c20e883read1767c5ae66615@mail.gmail.com> In-Reply-To: <20100109153123.GD52442@acme.spoerlein.net> References: <20100109153123.GD52442@acme.spoerlein.net>
next in thread | previous in thread | raw e-mail | index | archive | help
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. -- Paul B Mahol
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?3a142e751001090839x4c20e883read1767c5ae66615>