mirror of
https://github.com/yuzu-emu/mbedtls.git
synced 2024-11-30 08:04:21 +01:00
4b151fabb7
A bug in the dhm_check_range() function makes it pass even when the parameters are not in the range. This commit adds tests for signalling this problem as well as a couple of other negative tests.
132 lines
4.3 KiB
Plaintext
132 lines
4.3 KiB
Plaintext
/* BEGIN_HEADER */
|
|
#include "mbedtls/dhm.h"
|
|
/* END_HEADER */
|
|
|
|
/* BEGIN_DEPENDENCIES
|
|
* depends_on:MBEDTLS_DHM_C:MBEDTLS_BIGNUM_C
|
|
* END_DEPENDENCIES
|
|
*/
|
|
|
|
/* BEGIN_CASE */
|
|
void dhm_do_dhm( int radix_P, char *input_P,
|
|
int radix_G, char *input_G, int result )
|
|
{
|
|
mbedtls_dhm_context ctx_srv;
|
|
mbedtls_dhm_context ctx_cli;
|
|
unsigned char ske[1000];
|
|
unsigned char *p = ske;
|
|
unsigned char pub_cli[1000];
|
|
unsigned char sec_srv[1000];
|
|
unsigned char sec_cli[1000];
|
|
size_t ske_len = 0;
|
|
size_t pub_cli_len = 0;
|
|
size_t sec_srv_len;
|
|
size_t sec_cli_len;
|
|
int x_size, i;
|
|
rnd_pseudo_info rnd_info;
|
|
|
|
mbedtls_dhm_init( &ctx_srv );
|
|
mbedtls_dhm_init( &ctx_cli );
|
|
memset( ske, 0x00, 1000 );
|
|
memset( pub_cli, 0x00, 1000 );
|
|
memset( sec_srv, 0x00, 1000 );
|
|
memset( sec_cli, 0x00, 1000 );
|
|
memset( &rnd_info, 0x00, sizeof( rnd_pseudo_info ) );
|
|
|
|
/*
|
|
* Set params
|
|
*/
|
|
TEST_ASSERT( mbedtls_mpi_read_string( &ctx_srv.P, radix_P, input_P ) == 0 );
|
|
TEST_ASSERT( mbedtls_mpi_read_string( &ctx_srv.G, radix_G, input_G ) == 0 );
|
|
x_size = mbedtls_mpi_size( &ctx_srv.P );
|
|
pub_cli_len = x_size;
|
|
|
|
/*
|
|
* First key exchange
|
|
*/
|
|
TEST_ASSERT( mbedtls_dhm_make_params( &ctx_srv, x_size, ske, &ske_len, &rnd_pseudo_rand, &rnd_info ) == result );
|
|
if ( result != 0 )
|
|
goto exit;
|
|
|
|
ske[ske_len++] = 0;
|
|
ske[ske_len++] = 0;
|
|
TEST_ASSERT( mbedtls_dhm_read_params( &ctx_cli, &p, ske + ske_len ) == 0 );
|
|
|
|
TEST_ASSERT( mbedtls_dhm_make_public( &ctx_cli, x_size, pub_cli, pub_cli_len, &rnd_pseudo_rand, &rnd_info ) == 0 );
|
|
TEST_ASSERT( mbedtls_dhm_read_public( &ctx_srv, pub_cli, pub_cli_len ) == 0 );
|
|
|
|
TEST_ASSERT( mbedtls_dhm_calc_secret( &ctx_srv, sec_srv, sizeof( sec_srv ), &sec_srv_len, &rnd_pseudo_rand, &rnd_info ) == 0 );
|
|
TEST_ASSERT( mbedtls_dhm_calc_secret( &ctx_cli, sec_cli, sizeof( sec_cli ), &sec_cli_len, NULL, NULL ) == 0 );
|
|
|
|
TEST_ASSERT( sec_srv_len == sec_cli_len );
|
|
TEST_ASSERT( sec_srv_len != 0 );
|
|
TEST_ASSERT( memcmp( sec_srv, sec_cli, sec_srv_len ) == 0 );
|
|
|
|
/* Re-do calc_secret on server a few times to test update of blinding values */
|
|
for( i = 0; i < 3; i++ )
|
|
{
|
|
sec_srv_len = 1000;
|
|
TEST_ASSERT( mbedtls_dhm_calc_secret( &ctx_srv, sec_srv, sizeof( sec_srv ), &sec_srv_len, &rnd_pseudo_rand, &rnd_info ) == 0 );
|
|
|
|
TEST_ASSERT( sec_srv_len == sec_cli_len );
|
|
TEST_ASSERT( sec_srv_len != 0 );
|
|
TEST_ASSERT( memcmp( sec_srv, sec_cli, sec_srv_len ) == 0 );
|
|
}
|
|
|
|
/*
|
|
* Second key exchange to test change of blinding values on server
|
|
*/
|
|
p = ske;
|
|
|
|
TEST_ASSERT( mbedtls_dhm_make_params( &ctx_srv, x_size, ske, &ske_len, &rnd_pseudo_rand, &rnd_info ) == 0 );
|
|
ske[ske_len++] = 0;
|
|
ske[ske_len++] = 0;
|
|
TEST_ASSERT( mbedtls_dhm_read_params( &ctx_cli, &p, ske + ske_len ) == 0 );
|
|
|
|
TEST_ASSERT( mbedtls_dhm_make_public( &ctx_cli, x_size, pub_cli, pub_cli_len, &rnd_pseudo_rand, &rnd_info ) == 0 );
|
|
TEST_ASSERT( mbedtls_dhm_read_public( &ctx_srv, pub_cli, pub_cli_len ) == 0 );
|
|
|
|
TEST_ASSERT( mbedtls_dhm_calc_secret( &ctx_srv, sec_srv, sizeof( sec_srv ), &sec_srv_len, &rnd_pseudo_rand, &rnd_info ) == 0 );
|
|
TEST_ASSERT( mbedtls_dhm_calc_secret( &ctx_cli, sec_cli, sizeof( sec_cli ), &sec_cli_len, NULL, NULL ) == 0 );
|
|
|
|
TEST_ASSERT( sec_srv_len == sec_cli_len );
|
|
TEST_ASSERT( sec_srv_len != 0 );
|
|
TEST_ASSERT( memcmp( sec_srv, sec_cli, sec_srv_len ) == 0 );
|
|
|
|
exit:
|
|
mbedtls_dhm_free( &ctx_srv );
|
|
mbedtls_dhm_free( &ctx_cli );
|
|
}
|
|
/* END_CASE */
|
|
|
|
/* BEGIN_CASE depends_on:MBEDTLS_FS_IO */
|
|
void dhm_file( char *filename, char *p, char *g, int len )
|
|
{
|
|
mbedtls_dhm_context ctx;
|
|
mbedtls_mpi P, G;
|
|
|
|
mbedtls_dhm_init( &ctx );
|
|
mbedtls_mpi_init( &P ); mbedtls_mpi_init( &G );
|
|
|
|
TEST_ASSERT( mbedtls_mpi_read_string( &P, 16, p ) == 0 );
|
|
TEST_ASSERT( mbedtls_mpi_read_string( &G, 16, g ) == 0 );
|
|
|
|
TEST_ASSERT( mbedtls_dhm_parse_dhmfile( &ctx, filename ) == 0 );
|
|
|
|
TEST_ASSERT( ctx.len == (size_t) len );
|
|
TEST_ASSERT( mbedtls_mpi_cmp_mpi( &ctx.P, &P ) == 0 );
|
|
TEST_ASSERT( mbedtls_mpi_cmp_mpi( &ctx.G, &G ) == 0 );
|
|
|
|
exit:
|
|
mbedtls_mpi_free( &P ); mbedtls_mpi_free( &G );
|
|
mbedtls_dhm_free( &ctx );
|
|
}
|
|
/* END_CASE */
|
|
|
|
/* BEGIN_CASE depends_on:MBEDTLS_SELF_TEST */
|
|
void dhm_selftest()
|
|
{
|
|
TEST_ASSERT( mbedtls_dhm_self_test( 1 ) == 0 );
|
|
}
|
|
/* END_CASE */
|