Date: Fri, 17 Apr 2015 11:41:36 -0500 From: Pedro Giffuni <pfg@FreeBSD.org> To: Li-Wen Hsu <lwhsu@FreeBSD.org>, Garrett Cooper <yaneurabeya@gmail.com> Cc: "freebsd-testing@FreeBSD.org" <freebsd-testing@freebsd.org> Subject: Re: Everything down? Message-ID: <553137C0.8000902@FreeBSD.org> In-Reply-To: <CAKBkRUw4aZYzuH9jKRignDDGQTsC155ZOKRJ285Rs4N_qDqLOQ@mail.gmail.com> References: <5527EE72.3070604@FreeBSD.org> <580867E3-19FB-4E25-9DE2-3CD52D8A489E@gmail.com> <CAKBkRUw4aZYzuH9jKRignDDGQTsC155ZOKRJ285Rs4N_qDqLOQ@mail.gmail.com>
next in thread | previous in thread | raw e-mail | index | archive | help
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. 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. Thanks again, Pedro.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?553137C0.8000902>