| commit | e40cdb0e6efb795e4d19368987d53e3e4ae19cf7 | |
| author | Paolo Bonzini <pbonzini@redhat.com> | |
| Wed, 26 Mar 2014 11:45:49 +0000 (26 12:45 +0100) | ||
| committer | Michael Tokarev <mjt@tls.msk.ru> | |
| Fri, 18 Apr 2014 06:33:36 +0000 (18 10:33 +0400) | ||
| tree | 2a4f426dee8364c1d190a8c91b414ba745edfb52 | treesnapshot (tar.gz zip) |
| parent | 968fc24d843c9e9b24231ca1960b47ef2fc724ea | commitdiff |
scripts: add sample model file for Coverity Scan
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 <pbonzini@redhat.com>
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Signed-off-by: Michael Tokarev <mjt@tls.msk.ru>
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 <pbonzini@redhat.com>
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Signed-off-by: Michael Tokarev <mjt@tls.msk.ru>
| scripts/coverity-model.c | [new file with mode: 0644] | blob |