tree 354c264e4bbfc072b6a1e5c60db3b5481f7f8030
parent 53943ca43450c13e8bbb0d05b0b24ff4752d9253
author Gilles Peskine <Gilles.Peskine@arm.com> 1611782670 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1612196883 +0100

Add mpi_sub_abs negative tests with a larger-in-size second operand

Add test cases for mbedtls_mpi_sub_abs() where the second operand has
more limbs than the first operand (which, if the extra limbs are not
all zero, implies that the function returns
MBEDTLS_ERR_MPI_NEGATIVE_VALUE).

This exposes a buffer overflow (reported in #4042).

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>