lwhsu at FreeBSD.org
Fri Apr 17 17:09:24 UTC 2015
On Fri, Apr 17, 2015 at 11:41:36 -0500, Pedro Giffuni wrote:
> On 17/04/2015 01:20 a.m., Li-Wen Hsu wrote:
> > On Sat, Apr 11, 2015 at 1:08 AM, Garrett Cooper <yaneurabeya at gmail.com> wrote:
> >>> On Apr 10, 2015, at 08:38, Pedro Giffuni <pfg at FreeBSD.org> wrote:
> >>> Hello;
> >>> I recently added some attributes to the system headers to enhance the static
> >>> checker so I wanted to check out if the scan build is detecting new stuff.
> >>> http://scan.freebsd.org/scan-build/
> >>> 404 Not Found
> >>> https://jenkins.freebsd.org/
> >>> 502 Bad Gateway
> >>> I guess there is some maintenance going on :(.
> >> Connecting to Jenkins has been spotty at best for me. Not sure about scan.freebsd.org ...
> > Craig and I have tuned http://jenkins.freebsd.org a bit, hope it can
> > have better uptime now.
> > For http://scan.freebsd.org , these were some issues in the build
> > slave and web server, it is back to online now, and new build is in
> > progress.
> Thank you!
> Interesting: there are a couple of new issues found by the enhanced
Good to know it is useful, and there are also some false positives.
This is static analysis cannot prevent, though.
> IMHO, the static analyzer checks should probably be run about once per
> month. Most
> of the really simple issues have been cleaned up and most of the
> remaining issues are
> either false positives or require some careful review.
Currently it runs on 06:XX GMT everyday (minute is random):
Li-Wen Hsu <lwhsu at FreeBSD.org>
More information about the freebsd-testing