From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:40542) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WX4e1-0003HG-Au for qemu-devel@nongnu.org; Mon, 07 Apr 2014 04:11:09 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WX4dw-00071H-TJ for qemu-devel@nongnu.org; Mon, 07 Apr 2014 04:11:05 -0400 Date: Mon, 7 Apr 2014 09:10:13 +0100 From: "Dr. David Alan Gilbert" Message-ID: <20140407081012.GA2400@work-vm> References: <1395834349-19001-1-git-send-email-pbonzini@redhat.com> <5340F620.2000607@msgid.tls.msk.ru> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <5340F620.2000607@msgid.tls.msk.ru> 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: Michael Tokarev Cc: qemu-trivial@nongnu.org, Paolo Bonzini , qemu-devel@nongnu.org, armbru@redhat.com * Michael Tokarev (mjt@tls.msk.ru) wrote: > 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? Given that the model file describes semantics of functions in the codebase it needs to be kept consistent with the version of the code. Hence it needs to be version controlled with the code, hence the best place is inside the qemu sources. Dave -- Dr. David Alan Gilbert / dgilbert@redhat.com / Manchester, UK