diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2018-05-14 16:12:18 +0200 |
|---|---|---|
| committer | Markus Armbruster <armbru@redhat.com> | 2018-06-13 13:47:35 +0200 |
| commit | 04a0afe52852e6b6d6f81230b6d7acd25dac88dd (patch) | |
| tree | 7ff4e004dde8f3fccf4bfd6ed88d4417ce059096 /hw/char | |
| 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>
Diffstat (limited to 'hw/char')
0 files changed, 0 insertions, 0 deletions