Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2018-07-05 | coverity-model: Fix replay_get_byte() | Markus Armbruster | 1 | -6/+2 |
2018-06-13 | coverity-model: replay data is considered trusted | Paolo Bonzini | 1 | -0/+12 |
2017-03-15 | coverity-model: model address_space_read/write | Paolo Bonzini | 1 | -4/+13 |
2015-12-17 | coverity: Model g_memdup() | Markus Armbruster | 1 | -0/+17 |
2015-12-17 | coverity: Model g_poll() | Markus Armbruster | 1 | -0/+9 |
2015-05-05 | coverity: fix address_space_rw model | Paolo Bonzini | 1 | -3/+3 |
2015-04-26 | exec.c: Make address_space_rw take transaction attributes | Peter Maydell | 1 | -3/+5 |
2015-03-17 | coverity: Fix g_malloc_n-like models | Jan Kiszka | 1 | -3/+3 |
2015-02-05 | coverity: Model g_free() isn't necessarily free() | Markus Armbruster | 1 | -8/+8 |
2015-02-05 | coverity: Model GLib string allocation partially | Markus Armbruster | 1 | -0/+89 |
2015-02-05 | coverity: Improve model for GLib memory allocation | Markus Armbruster | 1 | -35/+104 |
2014-04-18 | scripts: add sample model file for Coverity Scan | Paolo Bonzini | 1 | -0/+183 |