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 /docs/devel/secure-coding-practices.rst | |
| parent | e4383ca240d804bf1c472ed004d6c7b8a505fc63 (diff) | |
| download | focaccia-qemu-d4b3d152ee005825520dc171e1e650174ae5ebe6.tar.gz focaccia-qemu-d4b3d152ee005825520dc171e1e650174ae5ebe6.zip | |
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 'docs/devel/secure-coding-practices.rst')
0 files changed, 0 insertions, 0 deletions