[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
- [Qemu-devel] [PATCH 0/3] coverity: Improve and extend model,
Markus Armbruster <=
- [Qemu-devel] [PATCH 3/3] coverity: Model g_free() isn't necessarily free(), Markus Armbruster, 2015/01/28
- [Qemu-devel] [PATCH 1/3] coverity: Improve model for GLib memory allocation, Markus Armbruster, 2015/01/28
- [Qemu-devel] [PATCH 2/3] coverity: Model GLib string allocation partially, Markus Armbruster, 2015/01/28
- Re: [Qemu-devel] [PATCH 0/3] coverity: Improve and extend model, Paolo Bonzini, 2015/01/28
- [Qemu-devel] [PATCH 4/3] MAINTAINERS: Add myself as Coverity model maintainer, Markus Armbruster, 2015/01/28