Re: [PATCH v2] arm64: mops: Do not dereference src reg for a set operation

From: Kristina Martšenko
Date: Wed Mar 26 2025 - 13:33:55 EST


On 26/03/2025 11:04, Keir Fraser wrote:
> The source register is not used for SET* and reading it can result in
> a UBSAN out-of-bounds array access error, specifically when the MOPS
> exception is taken from a SET* sequence with XZR (reg 31) as the
> source. Architecturally this is the only case where a src/dst/size
> field in the ESR can be reported as 31.
>
> Prior to 2de451a329cf662b the code in do_el0_mops() was benign as the
> use of pt_regs_read_reg() prevented the out-of-bounds access.
>
> Fixes: 2de451a329cf662b ("KVM: arm64: Add handler for MOPS exceptions")
> Cc: Kristina Martsenko <kristina.martsenko@xxxxxxx>
> Cc: Catalin Marinas <catalin.marinas@xxxxxxx>
> Cc: Mark Rutland <mark.rutland@xxxxxxx>
> Cc: Will Deacon <will@xxxxxxxxxx>
> Cc: stable@xxxxxxxxxxxxxxx
> Reviewed-by: Marc Zyngier <maz@xxxxxxxxxx>
> Signed-off-by: Keir Fraser <keirf@xxxxxxxxxx>

FWIW,

Reviewed-by: Kristina Martšenko <kristina.martsenko@xxxxxxx>

Thanks,
Kristina