Clang Static Analyzer runs on the FreeBSD source code

Paul B Mahol onemda at gmail.com
Sat Jan 9 16:39:27 UTC 2010


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.

-- 
Paul B Mahol


More information about the freebsd-current mailing list