summaryrefslogtreecommitdiffstats
path: root/scripts/coverity-model.c
Commit message (Expand)AuthorAgeFilesLines
* coverity: fix address_space_rw modelPaolo Bonzini2015-05-051-3/+3
* exec.c: Make address_space_rw take transaction attributesPeter Maydell2015-04-261-3/+5
* coverity: Fix g_malloc_n-like modelsJan Kiszka2015-03-171-3/+3
* coverity: Model g_free() isn't necessarily free()Markus Armbruster2015-02-051-8/+8
* coverity: Model GLib string allocation partiallyMarkus Armbruster2015-02-051-0/+89
* coverity: Improve model for GLib memory allocationMarkus Armbruster2015-02-051-35/+104
* scripts: add sample model file for Coverity ScanPaolo Bonzini2014-04-181-0/+183