Re: Clang Static Analyzer runs on the FreeBSD source code

On Sat, 09.01.2010 at 17:39:18 +0100, Paul B Mahol wrote:
> On 1/9/10, Ulrich Spoerlein <uqs_at_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