Paolo Bonzini 4d0e72396b coverity-model: model address_space_read/write ... Commit eb7eeb8 ("memory: split address_space_read and address_space_write", 2015-12-17) made address_space_rw dispatch to one of address_space_read or address_space_write, rather than vice versa. For callers of address_space_read and address_space_write this causes false positive defects when Coverity sees a length-8 write in address_space_read and a length-4 (e.g. int*) buffer to read into. As long as the size of the buffer is okay, this is a false positive. Reflect the code change into the model. Signed-off-by: Paolo Bonzini <pbonzini@redhat.com> Message-Id: <20170315081641.20588-1-pbonzini@redhat.com> Reviewed-by: Eric Blake <eblake@redhat.com> Reviewed-by: Markus Armbruster <armbru@redhat.com> Signed-off-by: Markus Armbruster <armbru@redhat.com>		2017-03-15 13:59:16 +01:00
..
coccinelle
kvm	vmxcap: update for September 2016 SDM	2017-03-03 16:40:02 +01:00
modules
qemu-guest-agent
qemugdb
qmp
tracetool	trace: switch to modular code generation for sub-directories	2017-01-31 17:11:18 +00:00
analyse-9p-simpletrace.py
analyze-inclusions	Move target-* CPU file into a target/ folder	2016-12-20 21:52:12 +01:00
analyze-migration.py
check-qerror.sh
checkpatch.pl
clean-header-guards.pl
clean-includes
cleanup-trace-events.pl
cocci-macro-file.h
coverity-model.c	coverity-model: model address_space_read/write	2017-03-15 13:59:16 +01:00
create_config
disas-objdump.pl
dump-guest-memory.py	scripts/dump-guest-memory.py: fix int128_get64 on recent gcc	2017-03-14 13:26:36 +01:00
extract-vsssdk-headers
feature_to_c.sh
get_maintainer.pl
gtester-cat
hxtool	hxtool: emit Texinfo headings as @subsection	2017-01-16 17:52:35 +01:00
make_device_config.sh
make-release
ordereddict.py
qapi2texi.py	qapi2texi: replace quotation by bold section name	2017-02-20 14:10:46 +01:00
qapi-commands.py	qapi: Drop unused non-strict qobject input visitor	2017-03-05 09:14:19 +01:00
qapi-event.py
qapi-introspect.py	qapi-introspect: Mangle --prefix argument properly for C	2017-03-05 09:12:29 +01:00
qapi-types.py
qapi-visit.py	qapi: Make input visitors detect unvisited list tails	2017-03-05 09:14:20 +01:00
qapi.py	qapi: add qapi2texi script	2017-01-16 10:10:35 +01:00
qemu-binfmt-conf.sh	linux-user: add hppa magic numbers in qemu-binfmt-conf.sh	2017-02-06 18:24:39 -08:00
qemu-gdb.py
qemu.py
qtest.py
refresh-pxe-roms.sh
shaderinclude.pl
show-fixed-bugs.sh
signrom.py
simpletrace.py	trace: improve error reporting when parsing simpletrace header	2017-01-31 17:11:18 +00:00
switch-timer-api
texi2pod.pl	texi2pod: learn quotation, deftp and deftypefn	2017-01-16 09:15:25 +01:00
tracetool.py	trace: switch to modular code generation for sub-directories	2017-01-31 17:11:18 +00:00
update-linux-headers.sh	update-linux-headers: update for 4.11	2017-02-28 16:18:49 +00:00
vmstate-static-checker.py	vmstate-static-checker: update white list with spapr_pci	2017-02-28 11:30:22 +00:00