From owner-freebsd-testing@FreeBSD.ORG Fri Apr 17 17:09:24 2015 Return-Path: Delivered-To: freebsd-testing@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 7DD7754C; Fri, 17 Apr 2015 17:09:24 +0000 (UTC) Received: from FreeBSD.cs.nctu.edu.tw (FreeBSD.cs.nctu.edu.tw [140.113.17.209]) by mx1.freebsd.org (Postfix) with ESMTP id 4A561ED8; Fri, 17 Apr 2015 17:09:24 +0000 (UTC) Received: by FreeBSD.cs.nctu.edu.tw (Postfix, from userid 1058) id EE91221ED; Sat, 18 Apr 2015 01:09:21 +0800 (CST) Date: Sat, 18 Apr 2015 01:09:21 +0800 From: Li-Wen Hsu To: Pedro Giffuni Cc: Garrett Cooper , "freebsd-testing@FreeBSD.org" Subject: Re: Everything down? Message-ID: <20150417170921.GA97307@FreeBSD.cs.nctu.edu.tw> References: <5527EE72.3070604@FreeBSD.org> <580867E3-19FB-4E25-9DE2-3CD52D8A489E@gmail.com> <553137C0.8000902@FreeBSD.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <553137C0.8000902@FreeBSD.org> User-Agent: Mutt/1.5.23 (2014-03-12) X-BeenThere: freebsd-testing@freebsd.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: Testing on FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 17 Apr 2015 17:09:24 -0000 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 wrote: > >>> On Apr 10, 2015, at 08:38, Pedro Giffuni 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 http://lwhsu.org