[Qemu-devel] [PULL 0/4] coverity: Improve and extend model

[Markus Armbruster]

The following changes since commit ec6f25e788ef57ce1e9f734984ef8885172fd9e2:

  Merge remote-tracking branch 'remotes/rth/tags/pull-tg-s390-20150203' into 
staging (2015-02-03 21:37:16 +0000)

are available in the git repository at:


  git://repo.or.cz/qemu/armbru.git tags/pull-cov-model-2015-02-05

for you to fetch changes up to 8c413e7902ef0c19ced516f575db989ccc3785f8:

  MAINTAINERS: Add myself as Coverity model maintainer (2015-02-05 17:16:14 
+0100)

----------------------------------------------------------------
coverity: Improve and extend model

----------------------------------------------------------------
Markus Armbruster (4):
      coverity: Improve model for GLib memory allocation
      coverity: Model GLib string allocation partially
      coverity: Model g_free() isn't necessarily free()
      MAINTAINERS: Add myself as Coverity model maintainer

 MAINTAINERS              |   5 ++
 scripts/coverity-model.c | 228 +++++++++++++++++++++++++++++++++++++++--------
 2 files changed, 198 insertions(+), 35 deletions(-)

-- 
1.9.3