diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2014-03-26 12:45:49 +0100 |
|---|---|---|
| committer | Michael Tokarev <mjt@tls.msk.ru> | 2014-04-18 10:33:36 +0400 |
| commit | e40cdb0e6efb795e4d19368987d53e3e4ae19cf7 (patch) | |
| tree | 2a4f426dee8364c1d190a8c91b414ba745edfb52 /configure | |
| parent | 968fc24d843c9e9b24231ca1960b47ef2fc724ea (diff) | |
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>
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions