Markus Armbruster
|
19020d4175
coverity-model: Fix replay_get_byte()
|
7 роки тому |
Paolo Bonzini
|
04a0afe528
coverity-model: replay data is considered trusted
|
7 роки тому |
Paolo Bonzini
|
4d0e72396b
coverity-model: model address_space_read/write
|
8 роки тому |
Markus Armbruster
|
29cd81ffe3
coverity: Model g_memdup()
|
9 роки тому |
Markus Armbruster
|
1e819697c9
coverity: Model g_poll()
|
9 роки тому |
Paolo Bonzini
|
2e1c92daff
coverity: fix address_space_rw model
|
10 роки тому |
Peter Maydell
|
5c9eb0286c
exec.c: Make address_space_rw take transaction attributes
|
10 роки тому |
Jan Kiszka
|
906b8bab8b
coverity: Fix g_malloc_n-like models
|
10 роки тому |
Markus Armbruster
|
7ad4c72001
coverity: Model g_free() isn't necessarily free()
|
10 роки тому |
Markus Armbruster
|
e4b77daa57
coverity: Model GLib string allocation partially
|
10 роки тому |
Markus Armbruster
|
9d7a4c6690
coverity: Improve model for GLib memory allocation
|
10 роки тому |
Paolo Bonzini
|
e40cdb0e6e
scripts: add sample model file for Coverity Scan
|
11 роки тому |