qemu/hw/tpm
Peter Maydell 4d84bb6c8b hw/tpm/tpm_tis_common.c: Assert that locty is in range
In tpm_tis_mmio_read(), tpm_tis_mmio_write() and
tpm_tis_dump_state(), we calculate a locality index with
tpm_tis_locality_from_addr() and then use it as an index into the
s->loc[] array.  In all these cases, the array index can't overflow
because the MemoryRegion is sized to be TPM_TIS_NUM_LOCALITIES <<
TPM_TIS_LOCALITY_SHIFT bytes.  However, Coverity can't see that, and
it complains (CID 1487138, 1487180, 1487188, 1487198, 1487240).

Add an assertion to tpm_tis_locality_from_addr() that the calculated
locality index is valid, which will help Coverity and also catch any
potential future bug where the MemoryRegion isn't sized exactly.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Stefan Berger <stefanb@linux.ibm.com>
Reviewed-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Message-id: 20220525125904.483075-1-stefanb@linux.ibm.com
2022-06-01 16:49:35 -04:00
..
Kconfig tpm: Move backend code under the 'backends/' directory 2020-06-19 07:25:55 -04:00
meson.build meson: convert hw/tpm 2020-08-21 06:30:27 -04:00
tpm_crb.c hw/tpm: Clean includes 2022-02-21 10:18:06 +01:00
tpm_ppi.c Replace qemu_real_host_page variables with inlined functions 2022-04-06 10:50:38 +02:00
tpm_ppi.h hw/tpm: Clean includes 2022-02-21 10:18:06 +01:00
tpm_prop.h qdev: Move qdev_prop_tpm declaration to tpm_prop.h 2020-12-18 15:20:17 -05:00
tpm_spapr.c tpm: tpm_spapr: Remove unused tracepoint 2021-01-25 20:56:38 -05:00
tpm_tis.h hw/tpm: Do not include 'qemu/osdep.h' in header 2020-06-19 07:24:59 -04:00
tpm_tis_common.c hw/tpm/tpm_tis_common.c: Assert that locty is in range 2022-06-01 16:49:35 -04:00
tpm_tis_isa.c hw/isa: Inline and remove one-line isa_init_irq() 2022-03-08 19:38:17 +01:00
tpm_tis_sysbus.c tpm: put some tpm devices into the correct category 2021-02-20 12:36:19 +01:00
trace-events docs: fix references to docs/devel/tracing.rst 2021-06-02 06:51:09 +02:00
trace.h trace: switch position of headers to what Meson requires 2020-08-21 06:18:24 -04:00