aboutsummaryrefslogtreecommitdiff
path: root/scripts/coverity-model.c
AgeCommit message (Expand)Author
2018-07-05coverity-model: Fix replay_get_byte()Markus Armbruster
2018-06-13coverity-model: replay data is considered trustedPaolo Bonzini
2017-03-15coverity-model: model address_space_read/writePaolo Bonzini
2015-12-17coverity: Model g_memdup()Markus Armbruster
2015-12-17coverity: Model g_poll()Markus Armbruster
2015-05-05coverity: fix address_space_rw modelPaolo Bonzini
2015-04-26exec.c: Make address_space_rw take transaction attributesPeter Maydell
2015-03-17coverity: Fix g_malloc_n-like modelsJan Kiszka
2015-02-05coverity: Model g_free() isn't necessarily free()Markus Armbruster
2015-02-05coverity: Model GLib string allocation partiallyMarkus Armbruster
2015-02-05coverity: Improve model for GLib memory allocationMarkus Armbruster
2014-04-18scripts: add sample model file for Coverity ScanPaolo Bonzini