Age | Commit message (Expand) | Author |
---|---|---|
2021-05-12 | coverity-scan: list components, move model to scripts/coverity-scan | Paolo Bonzini |
2018-07-05 | coverity-model: Fix replay_get_byte() | Markus Armbruster |
2018-06-13 | coverity-model: replay data is considered trusted | Paolo Bonzini |
2017-03-15 | coverity-model: model address_space_read/write | Paolo Bonzini |
2015-12-17 | coverity: Model g_memdup() | Markus Armbruster |
2015-12-17 | coverity: Model g_poll() | Markus Armbruster |
2015-05-05 | coverity: fix address_space_rw model | Paolo Bonzini |
2015-04-26 | exec.c: Make address_space_rw take transaction attributes | Peter Maydell |
2015-03-17 | coverity: Fix g_malloc_n-like models | Jan Kiszka |
2015-02-05 | coverity: Model g_free() isn't necessarily free() | Markus Armbruster |
2015-02-05 | coverity: Model GLib string allocation partially | Markus Armbruster |
2015-02-05 | coverity: Improve model for GLib memory allocation | Markus Armbruster |
2014-04-18 | scripts: add sample model file for Coverity Scan | Paolo Bonzini |