Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 18 Apr 2015 01:09:21 +0800
From:      Li-Wen Hsu <lwhsu@FreeBSD.org>
To:        Pedro Giffuni <pfg@FreeBSD.org>
Cc:        Garrett Cooper <yaneurabeya@gmail.com>, "freebsd-testing@FreeBSD.org" <freebsd-testing@freebsd.org>
Subject:   Re: Everything down?
Message-ID:  <20150417170921.GA97307@FreeBSD.cs.nctu.edu.tw>
In-Reply-To: <553137C0.8000902@FreeBSD.org>
References:  <5527EE72.3070604@FreeBSD.org> <580867E3-19FB-4E25-9DE2-3CD52D8A489E@gmail.com> <CAKBkRUw4aZYzuH9jKRignDDGQTsC155ZOKRJ285Rs4N_qDqLOQ@mail.gmail.com> <553137C0.8000902@FreeBSD.org>

next in thread | previous in thread | raw e-mail | index | archive | help
On Fri, Apr 17, 2015 at 11:41:36 -0500, Pedro Giffuni wrote:
> Hello;
> 
> On 17/04/2015 01:20 a.m., Li-Wen Hsu wrote:
> > On Sat, Apr 11, 2015 at 1:08 AM, Garrett Cooper <yaneurabeya@gmail.com> wrote:
> >>> On Apr 10, 2015, at 08:38, Pedro Giffuni <pfg@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 
> attributes.

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):

https://github.com/freebsd/jenkins-config/blob/84d88278d60b8cc7668013d3963368dbf75ebce6/jobs/FreeBSD_HEAD-scan-build/config.xml#L65

-- 
Li-Wen Hsu <lwhsu@FreeBSD.org>
http://lwhsu.org



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