From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:45279) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WQCvP-0005hZ-VB for qemu-devel@nongnu.org; Wed, 19 Mar 2014 05:36:45 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WQCvF-0007rx-VP for qemu-devel@nongnu.org; Wed, 19 Mar 2014 05:36:39 -0400 Date: Wed, 19 Mar 2014 10:36:26 +0100 From: Kevin Wolf Message-ID: <20140319093626.GC3263@noname.str.redhat.com> References: <1395162223-28733-1-git-send-email-pbonzini@redhat.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1395162223-28733-1-git-send-email-pbonzini@redhat.com> Subject: Re: [Qemu-devel] [PATCH] 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 Am 18.03.2014 um 18:03 hat Paolo Bonzini geschrieben: > 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). > > Signed-off-by: Paolo Bonzini > --- > scripts/coverity-model.c | 170 +++++++++++++++++++++++++++++++++++++++++++++++ > 1 file changed, 170 insertions(+) > create mode 100644 scripts/coverity-model.c > > diff --git a/scripts/coverity-model.c b/scripts/coverity-model.c > new file mode 100644 > index 0000000..1cc0c1b > --- /dev/null > +++ b/scripts/coverity-model.c > @@ -0,0 +1,170 @@ > +/* Coverity Scan model > + * > + * Copyright (C) 2014 Red Hat, Inc. > + * > + * Authors: > + * Markus Armbruster > + * Paolo Bonzini > + * > + * This is a modeling file for Coverity Scan. Modeling helps to avoid false > + * positives. > + * > + * - A model file can't import any header files. Some built-in primitives are > + * available but not wchar_t, NULL etc. > + * - Modeling doesn't need full structs and typedefs. Rudimentary structs > + * and similar types are sufficient. > + * - An uninitialized local variable signifies that the variable could be > + * any value. > + * > + * The model file must be uploaded by an admin in the analysis settings of > + * http://scan.coverity.com/projects/378 > + */ Only copyright notice, but no license? Kevin