qemu-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Markus Armbruster
Subject: [Qemu-devel] [PATCH 0/3] coverity: Improve and extend model
Date: Wed, 28 Jan 2015 10:58:29 +0100

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 my attention.  I improved our
model file to catch them (PATCH 1+2).  Topped off with PATCH 3 to
catch mixing up g_free() and free().

Markus Armbruster (3):
  coverity: Improve model for GLib memory allocation
  coverity: Model GLib string allocation partially
  coverity: Model g_free() isn't necessarily free()

 scripts/coverity-model.c | 228 +++++++++++++++++++++++++++++++++++++++--------
 1 file changed, 193 insertions(+), 35 deletions(-)

-- 
1.9.3




reply via email to

[Prev in Thread] Current Thread [Next in Thread]