commit | 04a0afe52852e6b6d6f81230b6d7acd25dac88dd | [log] [tgz] |
---|---|---|
author | Paolo Bonzini <pbonzini@redhat.com> | Mon May 14 16:12:18 2018 +0200 |
committer | Markus Armbruster <armbru@redhat.com> | Wed Jun 13 13:47:35 2018 +0200 |
tree | 7ff4e004dde8f3fccf4bfd6ed88d4417ce059096 | |
parent | 717ea844a7640cf0c9d7713ce2f00ee091d4a01f [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>