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 |