Re: [Qemu-devel] [PATCH 0/3] coverity: Improve and extend model

2015-01-28 Thread Markus Armbruster
Paolo Bonzini writes: > On 28/01/2015 10:58, Markus Armbruster wrote: >> I examined the differences between local scans with and without a >> derived model file for GLib, to gauge what we're missing (the Coverity >> Scan service we use can't do derived model files). Doesn't look bad, >> but a fe

Re: [Qemu-devel] [PATCH 0/3] coverity: Improve and extend model

2015-01-28 Thread Paolo Bonzini
On 28/01/2015 10:58, Markus Armbruster wrote: > I examined the differences between local scans with and without a > derived model file for GLib, to gauge what we're missing (the Coverity > Scan service we use can't do derived model files). Doesn't look bad, > but a few missed memory leaks caught