| 123456789101112131415161718192021222324252627282930313233343536373839404142 | /* BEGIN_HEADER */#include <mbedtls/ssl.h>#include <mbedtls/ssl_internal.h>/* END_HEADER *//* BEGIN_DEPENDENCIES * depends_on:MBEDTLS_SSL_TLS_C * END_DEPENDENCIES *//* BEGIN_CASE depends_on:MBEDTLS_SSL_DTLS_ANTI_REPLAY */void ssl_dtls_replay( char *prevs, char *new, int ret ){    mbedtls_ssl_context ssl;    mbedtls_ssl_config conf;    char *end_prevs = prevs + strlen( prevs ) + 1;    mbedtls_ssl_init( &ssl );    mbedtls_ssl_config_init( &conf );    TEST_ASSERT( mbedtls_ssl_config_defaults( &conf,                 MBEDTLS_SSL_IS_CLIENT,                 MBEDTLS_SSL_TRANSPORT_DATAGRAM,                 MBEDTLS_SSL_PRESET_DEFAULT ) == 0 );    TEST_ASSERT( mbedtls_ssl_setup( &ssl, &conf ) == 0 );    /* Read previous record numbers */    for( ; end_prevs - prevs >= 13; prevs += 13 )    {        prevs[12] = '\0';        unhexify( ssl.in_ctr + 2, prevs );        mbedtls_ssl_dtls_replay_update( &ssl );    }    /* Check new number */    unhexify( ssl.in_ctr + 2, new );    TEST_ASSERT( mbedtls_ssl_dtls_replay_check( &ssl ) == ret );    mbedtls_ssl_free( &ssl );    mbedtls_ssl_config_free( &conf );}/* END_CASE */
 |