From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:37972) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WWghr-0000pa-HX for qemu-devel@nongnu.org; Sun, 06 Apr 2014 02:37:32 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WWghm-0001z1-Jp for qemu-devel@nongnu.org; Sun, 06 Apr 2014 02:37:27 -0400 Message-ID: <5340F620.2000607@msgid.tls.msk.ru> Date: Sun, 06 Apr 2014 10:37:20 +0400 From: Michael Tokarev MIME-Version: 1.0 References: <1395834349-19001-1-git-send-email-pbonzini@redhat.com> In-Reply-To: <1395834349-19001-1-git-send-email-pbonzini@redhat.com> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Subject: Re: [Qemu-devel] [Qemu-trivial] [PATCH v4] scripts: add sample model file for Coverity Scan List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Paolo Bonzini Cc: qemu-trivial@nongnu.org, qemu-devel@nongnu.org, armbru@redhat.com 26.03.2014 15:45, Paolo Bonzini wrote: > This is the model file that is being used for the QEMU project's scans > on scan.coverity.com. It fixed about 30 false positives (10% of the > total) and exposed about 60 new memory leaks. > > The file is not automatically used; changes to it must be propagated > to the website manually by an admin (right now Markus, Peter and me > are admins). While we don't have issues with the model itself, but really wonder if we should keep this file inside qemu sources. It isn't used in there, as explicitly stated above, and maybe it is easier to maintain it "closer" to the website? Thanks, /mjt