From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:37864) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YDxsv-0000q8-AZ for qemu-devel@nongnu.org; Wed, 21 Jan 2015 11:12:02 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1YDxss-0001Wx-Gm for qemu-devel@nongnu.org; Wed, 21 Jan 2015 11:12:01 -0500 Received: from mail-wi0-x22f.google.com ([2a00:1450:400c:c05::22f]:41202) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YDxss-0001Wi-AT for qemu-devel@nongnu.org; Wed, 21 Jan 2015 11:11:58 -0500 Received: by mail-wi0-f175.google.com with SMTP id fb4so29191848wid.2 for ; Wed, 21 Jan 2015 08:11:57 -0800 (PST) Sender: Paolo Bonzini Message-ID: <54BFCFCA.5020109@redhat.com> Date: Wed, 21 Jan 2015 17:11:54 +0100 From: Paolo Bonzini MIME-Version: 1.0 References: <87bnlsl2qt.fsf@blackfin.pond.sub.org> <20150121133108.GH22312@redhat.com> <8761c0cen8.fsf@blackfin.pond.sub.org> In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: Re: [Qemu-devel] Can we make better use of Coverity? List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Peter Maydell , Markus Armbruster Cc: QEMU Developers On 21/01/2015 16:59, Peter Maydell wrote: >> > I wasn't bold enough to suggest "daily", let alone "release blocker". > I think the Coverity FAQ says we can't do more than 2 > scans a week for a project of QEMU's size anyway... That's just a default. You can ask them to be an exception, and QEMU is probably high-profile enough to be granted one. In fact, my impression is that they hardly have a reason not to grant one, they just want to have sane defaults that let them scale easily and protect against DOS. Paolo