Add tests to constant time mpi comparison

This commit is contained in:
Janos Follath 2019-09-11 16:07:14 +01:00 committed by Simon Butcher
parent c514ce474a
commit 7ce3a25316
2 changed files with 56 additions and 0 deletions

View file

@ -163,6 +163,39 @@ mbedtls_mpi_cmp_mpi:10:"2":10:"-3":1
Base test mbedtls_mpi_cmp_mpi (Mixed values) #6
mbedtls_mpi_cmp_mpi:10:"-2":10:"31231231289798":-1
Base test mbedtls_mpi_cmp_mpi_ct #1
mbedtls_mpi_cmp_mpi_ct:1:10:"693":1:10:"693":0:0
Base test mbedtls_mpi_cmp_mpi_ct #2
mbedtls_mpi_cmp_mpi_ct:1:10:"693":1:10:"692":1:0
Base test mbedtls_mpi_cmp_mpi_ct #3
mbedtls_mpi_cmp_mpi_ct:1:10:"693":1:10:"694":-1:0
Base test mbedtls_mpi_cmp_mpi_ct (Negative values) #1
mbedtls_mpi_cmp_mpi_ct:1:10:"-2":1:10:"-2":0:0
Base test mbedtls_mpi_cmp_mpi_ct (Negative values) #2
mbedtls_mpi_cmp_mpi_ct:1:10:"-2":1:10:"-3":1:0
Base test mbedtls_mpi_cmp_mpi_ct (Negative values) #3
mbedtls_mpi_cmp_mpi_ct:1:10:"-2":1:10:"-1":-1:0
Base test mbedtls_mpi_cmp_mpi_ct (Mixed values) #4
mbedtls_mpi_cmp_mpi_ct:1:10:"-3":1:10:"2":-1:0
Base test mbedtls_mpi_cmp_mpi_ct (Mixed values) #5
mbedtls_mpi_cmp_mpi_ct:1:10:"2":1:10:"-3":1:0
Base test mbedtls_mpi_cmp_mpi_ct (Mixed values) #6
mbedtls_mpi_cmp_mpi_ct:2:10:"-2":2:10:"31231231289798":-1:0
Base test mbedtls_mpi_cmp_mpi_ct (X is longer in storage) #7
mbedtls_mpi_cmp_mpi_ct:3:10:"693":2:10:"693":0:MBEDTLS_ERR_MPI_BAD_INPUT_DATA
Base test mbedtls_mpi_cmp_mpi_ct (Y is longer in storage) #8
mbedtls_mpi_cmp_mpi_ct:3:10:"693":4:10:"693":0:MBEDTLS_ERR_MPI_BAD_INPUT_DATA
Base test mbedtls_mpi_cmp_abs #1
mbedtls_mpi_cmp_abs:10:"693":10:"693":0

View file

@ -537,6 +537,29 @@ exit:
}
/* END_CASE */
/* BEGIN_CASE */
void mbedtls_mpi_cmp_mpi_ct( int size_X, int radix_X, char * input_X, int size_Y,
int radix_Y, char * input_Y, int input_ret, int input_err )
{
int ret;
mbedtls_mpi X, Y;
mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y );
TEST_ASSERT( mbedtls_mpi_read_string( &X, radix_X, input_X ) == 0 );
TEST_ASSERT( mbedtls_mpi_read_string( &Y, radix_Y, input_Y ) == 0 );
mbedtls_mpi_grow( &X, size_X );
mbedtls_mpi_grow( &Y, size_Y );
TEST_ASSERT( mbedtls_mpi_cmp_mpi_ct( &X, &Y, &ret ) == input_err );
if( input_err == 0 )
TEST_ASSERT( ret == input_ret );
exit:
mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Y );
}
/* END_CASE */
/* BEGIN_CASE */
void mbedtls_mpi_cmp_abs( int radix_X, char * input_X, int radix_Y,
char * input_Y, int input_A )