Re: [Qemu-devel] [PATCH v3] scripts: add sample model file for Coverity Scan

2014-03-24 Thread Eric Blake
On 03/24/2014 04:01 AM, Paolo Bonzini wrote: > 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

[Qemu-devel] [PATCH v3] scripts: add sample model file for Coverity Scan

2014-03-24 Thread Paolo Bonzini
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