coverity: Model g_memdup()
authorMarkus Armbruster <armbru@redhat.com>
Mon, 30 Nov 2015 16:32:32 +0000 (17:32 +0100)
committerPaolo Bonzini <pbonzini@redhat.com>
Thu, 17 Dec 2015 16:33:49 +0000 (17:33 +0100)
commit29cd81ffe3679bec9a062505e5b0d9a12f3558a8
tree1e37b82b21a52c000d5d6de0494c168bd69d4307
parent1e819697c909db7e534678ef8e41b8fac90b41f5
coverity: Model g_memdup()

We model all the non-deprecated memory allocation functions from
https://developer.gnome.org/glib/stable/glib-Memory-Allocation.html
except for g_memdup(), g_clear_pointer(), g_steal_pointer().  We don't
use the latter two.  Model the former.

Coverity now reports an OVERRUN
vl.c:2317: alloc_strlen: Allocating insufficient memory for the terminating null of the string.
Correct, but we omit the terminating null intentionally there.

Signed-off-by: Markus Armbruster <armbru@redhat.com>
Message-Id: <1448901152-11716-1-git-send-email-armbru@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
scripts/coverity-model.c