diff options
| author | Paolo Bonzini | 2014-03-26 12:45:49 +0100 |
|---|---|---|
| committer | Michael Tokarev | 2014-04-18 08:33:36 +0200 |
| commit | e40cdb0e6efb795e4d19368987d53e3e4ae19cf7 (patch) | |
| tree | 2a4f426dee8364c1d190a8c91b414ba745edfb52 /include/exec | |
| parent | xbzrle.c: Avoid undefined behaviour with signed arithmetic (diff) | |
| download | qemu-e40cdb0e6efb795e4d19368987d53e3e4ae19cf7.tar.gz 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 'include/exec')
0 files changed, 0 insertions, 0 deletions