Re: [Qemu-devel] Coverity model of g_malloc_n & Co.

2015-03-12 Thread Markus Armbruster
Jan Kiszka writes: > Hi Markus, > > due to a lack of publicly available documentation on the Coverity > modeling language (or my blindness to find it), I was about to steal > some patterns from QEMU (to improve the kmalloc model for the kernel). I > think I stumbled over some inconsistency: Don't

[Qemu-devel] Coverity model of g_malloc_n & Co.

2015-03-11 Thread Jan Kiszka
Hi Markus, due to a lack of publicly available documentation on the Coverity modeling language (or my blindness to find it), I was about to steal some patterns from QEMU (to improve the kmalloc model for the kernel). I think I stumbled over some inconsistency: Don't we need to allocate the calcula