Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 9 Jan 2010 16:31:23 +0100
From:      Ulrich =?utf-8?B?U3DDtnJsZWlu?= <uqs@spoerlein.net>
To:        current@freebsd.org
Subject:   Clang Static Analyzer runs on the FreeBSD source code
Message-ID:  <20100109153123.GD52442@acme.spoerlein.net>

next in thread | raw e-mail | index | archive | help
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/



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20100109153123.GD52442>