qemu-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] accel/tcg: Assert mmu_idx in range before use in cputlb


From: Richard Henderson
Subject: Re: [PATCH] accel/tcg: Assert mmu_idx in range before use in cputlb
Date: Tue, 26 Apr 2022 20:03:34 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.8.0

On 4/1/22 10:08, Richard Henderson wrote:
Coverity reports out-of-bound accesses within cputlb.c.
This should be a false positive due to how the index is
decoded from MemOpIdx.  To be fair, nothing is checking
the correct bounds during encoding either.

Assert index in range before use, both to catch user errors
and to pacify static analysis.

Fixes: Coverity CID 1487120, 1487127, 1487170, 1487196, 1487215, 1487238
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>

Queuing to tcg-next.

r~



reply via email to

[Prev in Thread] Current Thread [Next in Thread]