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 <pbonz...@redhat.com> > --- > 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 <arm...@redhat.com> > + * Paolo Bonzini <pbonz...@redhat.com> > + * > + * 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
