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>