Michael Tokarev <m...@tls.msk.ru> writes: > 26.03.2014 15:45, 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 propagated >> to the website manually by an admin (right now Markus, Peter and me >> are admins). > > Applied to -trivial, thank you! > > Note: I haven't actually checked this file for correctness myself ;)
I checked v2. I suggested a few minor improvements, and some of them made it into this version. Since Paolo's initial version comes in part from me, I guess it would be proper to add Signed-off-by: Markus Armbruster <arm...@redhat.com>