]> xenbits.xensource.com Git - qemu-xen.git/commit
projects / qemu-xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 717ea84) | patch
coverity-model: replay data is considered trusted
authorPaolo Bonzini <pbonzini@redhat.com>
Mon, 14 May 2018 14:12:18 +0000 (16:12 +0200)
committerMarkus Armbruster <armbru@redhat.com>
Wed, 13 Jun 2018 11:47:35 +0000 (13:47 +0200)
commit04a0afe52852e6b6d6f81230b6d7acd25dac88dd
tree7ff4e004dde8f3fccf4bfd6ed88d4417ce059096tree
parent717ea844a7640cf0c9d7713ce2f00ee091d4a01fcommit | diff
coverity-model: replay data is considered trusted

Replay data is not considered a possible attack vector; add a model that
does not use getc so that "tainted data" warnings are suppressed.

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Message-Id: <20180514141218.28438-1-pbonzini@redhat.com>
Reviewed-by: Markus Armbruster <armbru@redhat.com>
[Whitespace tweaked]
Signed-off-by: Markus Armbruster <armbru@redhat.com>
scripts/coverity-model.c diff | blob | blame | history
qemu-xen (upstream qemu) tree.