| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
 |
index : slackcoder/qemu | |
| QEMU is a generic and open source machine & userspace emulator and virtualizer | Mirror |
| aboutsummaryrefslogtreecommitdiff |