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

