diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2021-07-27 17:50:09 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2021-07-30 12:04:01 +0200 |
| commit | d4b3d152ee005825520dc171e1e650174ae5ebe6 (patch) | |
| tree | 6cf73b98f4be283017c26d848b07dd2e455f2f06 /scripts/oss-fuzz | |
| parent | e4383ca240d804bf1c472ed004d6c7b8a505fc63 (diff) | |
| download | qemu-d4b3d152ee005825520dc171e1e650174ae5ebe6.zip qemu-d4b3d152ee005825520dc171e1e650174ae5ebe6.tar.gz qemu-d4b3d152ee005825520dc171e1e650174ae5ebe6.tar.bz2 | |
coverity-model: update address_space_read/write models
Use void * for consistency with the actual function; provide a model
for MemoryRegionCache functions and for address_space_rw. These
let Coverity understand the bounds of the data that various functions
read and write even at very high levels of inlining (e.g. pci_dma_read).
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'scripts/oss-fuzz')
0 files changed, 0 insertions, 0 deletions