提交历史

作者 SHA1 备注 提交日期
  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 年之前