summaryrefslogtreecommitdiff
path: root/scripts/coverity-model.c
AgeCommit message (Expand)AuthorFilesLines
2017-03-15coverity-model: model address_space_read/writePaolo Bonzini1-4/+13
2015-12-17coverity: Model g_memdup()Markus Armbruster1-0/+17
2015-12-17coverity: Model g_poll()Markus Armbruster1-0/+9
2015-05-05coverity: fix address_space_rw modelPaolo Bonzini1-3/+3
2015-04-26exec.c: Make address_space_rw take transaction attributesPeter Maydell1-3/+5
2015-03-17coverity: Fix g_malloc_n-like modelsJan Kiszka1-3/+3
2015-02-05coverity: Model g_free() isn't necessarily free()Markus Armbruster1-8/+8
2015-02-05coverity: Model GLib string allocation partiallyMarkus Armbruster1-0/+89
2015-02-05coverity: Improve model for GLib memory allocationMarkus Armbruster1-35/+104
2014-04-18scripts: add sample model file for Coverity ScanPaolo Bonzini1-0/+183