yuzu-emu/mbedtls
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

test_suite_bignum: Updated mpi_mod_setup() test

Browse source 
This patch updates the `mpi_mod_setup()` test suite
to check for incosistencies in the montgomery constant
data's lifecycle.

Signed-off-by: Minos Galanakis <minos.galanakis@arm.com>
This commit is contained in:
Minos Galanakis 2022-10-19 01:48:32 +01:00
parent 8b33363315
commit dd365a526f
1 changed files with 29 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

30
tests/suites/test_suite_bignum_mod.function
View file

@ -17,20 +17,48 @@ void mpi_mod_setup( int ext_rep, int int_rep, int iret )
#define MLIMBS 8
mbedtls_mpi_uint mp[MLIMBS];
mbedtls_mpi_mod_modulus m;
const size_t mp_size = sizeof(mbedtls_mpi_uint);
mbedtls_mpi_uint * rr;
int ret;
memset( mp, 0xFF, sizeof(mp) );
memset( mp, 0xFF, mp_size );
mbedtls_mpi_mod_modulus_init( &m );
ret = mbedtls_mpi_mod_modulus_setup( &m, mp, MLIMBS, ext_rep, int_rep );
TEST_EQUAL( ret, iret );
/* Only test if the constants have been set-up */
if ( ret == 0 && int_rep == MBEDTLS_MPI_MOD_REP_MONTGOMERY )
{
/* Test that the consts have been calculated */
TEST_ASSERT( m.rep.mont.rr != NULL );
TEST_ASSERT( m.rep.mont.mm != 0 );
/* Keep a copy of the memory location used to store Montgomery const */
rr = (mbedtls_mpi_uint *)m.rep.mont.rr;
}
/* Address sanitiser should catch if we try to free mp */
mbedtls_mpi_mod_modulus_free( &m );
/* Make sure that the modulus doesn't have reference to mp anymore */
TEST_ASSERT( m.p != mp );
/* Only test if the constants have been set-up */
if ( ret == 0 && int_rep == MBEDTLS_MPI_MOD_REP_MONTGOMERY )
{
/* Reuse the allocated buffer for a zeroization check */
memset( mp, 0x00, mp_size );
/* Verify the data and pointers allocated have been properly wiped */
TEST_ASSERT( m.rep.mont.rr == NULL );
TEST_ASSERT( m.rep.mont.mm == 0 );
/* mbedtls_mpi_mod_modulus_free() has set the
* (mbedtls_mpi_uint *)m.rep.mont.rr -> NULL.
* Verify that the actual data have been zeroed */
ASSERT_COMPARE( rr, mp_size, &mp, mp_size );
}
exit:
/* It should be safe to call an mbedtls free several times */
mbedtls_mpi_mod_modulus_free( &m );