summaryrefslogtreecommitdiffstats
path: root/scripts/coverity-model.c
Commit message (Expand)AuthorAgeFilesLines
* coverity-model: Fix replay_get_byte()Markus Armbruster2018-07-051-6/+2Star
* coverity-model: replay data is considered trustedPaolo Bonzini2018-06-131-0/+12
* coverity-model: model address_space_read/writePaolo Bonzini2017-03-151-4/+13
* coverity: Model g_memdup()Markus Armbruster2015-12-171-0/+17
* coverity: Model g_poll()Markus Armbruster2015-12-171-0/+9
* 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