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