Sign in
qemu
/
qemu
/
fbc5884ce2774232ea5a1a7d9b4e605aefc16a2b
/
scripts
/
coverity-model.c
19020d4
coverity-model: Fix replay_get_byte()
by Markus Armbruster
· 7 years ago
04a0afe
coverity-model: replay data is considered trusted
by Paolo Bonzini
· 7 years ago
4d0e723
coverity-model: model address_space_read/write
by Paolo Bonzini
· 8 years ago
29cd81f
coverity: Model g_memdup()
by Markus Armbruster
· 9 years ago
1e81969
coverity: Model g_poll()
by Markus Armbruster
· 9 years ago
2e1c92d
coverity: fix address_space_rw model
by Paolo Bonzini
· 10 years ago
5c9eb02
exec.c: Make address_space_rw take transaction attributes
by Peter Maydell
· 10 years ago
906b8ba
coverity: Fix g_malloc_n-like models
by Jan Kiszka
· 10 years ago
7ad4c72
coverity: Model g_free() isn't necessarily free()
by Markus Armbruster
· 10 years ago
e4b77da
coverity: Model GLib string allocation partially
by Markus Armbruster
· 10 years ago
9d7a4c6
coverity: Improve model for GLib memory allocation
by Markus Armbruster
· 10 years ago
e40cdb0
scripts: add sample model file for Coverity Scan
by Paolo Bonzini
· 11 years ago