diff options
| author | Paolo Bonzini | 2018-05-14 16:12:18 +0200 |
|---|---|---|
| committer | Markus Armbruster | 2018-06-13 13:47:35 +0200 |
| commit | 04a0afe52852e6b6d6f81230b6d7acd25dac88dd (patch) | |
| tree | 7ff4e004dde8f3fccf4bfd6ed88d4417ce059096 /hw | |
| parent | Revert "Makefile: add target to print generated files" (diff) | |
| download | qemu-04a0afe52852e6b6d6f81230b6d7acd25dac88dd.tar.gz qemu-04a0afe52852e6b6d6f81230b6d7acd25dac88dd.tar.xz qemu-04a0afe52852e6b6d6f81230b6d7acd25dac88dd.zip | |
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')
0 files changed, 0 insertions, 0 deletions