Everything down?

Pedro Giffuni pfg at FreeBSD.org
Fri Apr 17 16:48:21 UTC 2015


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 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 
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.


More information about the freebsd-testing mailing list