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 /target-openrisc/exception_helper.c | |
| parent | xbzrle.c: Avoid undefined behaviour with signed arithmetic (diff) | |
| download | qemu-e40cdb0e6efb795e4d19368987d53e3e4ae19cf7.tar.xz qemu-e40cdb0e6efb795e4d19368987d53e3e4ae19cf7.zip | |
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 'target-openrisc/exception_helper.c')
0 files changed, 0 insertions, 0 deletions