blob: ce1cd913ee04ccff7a861fedec353ad0b4780940 [file] [log] [blame]
Manuel Pégourié-Gonnard4956fd72014-09-24 11:13:44 +02001/* BEGIN_HEADER */
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +00002#include <mbedtls/ssl.h>
Manuel Pégourié-Gonnard4956fd72014-09-24 11:13:44 +02003/* END_HEADER */
4
5/* BEGIN_DEPENDENCIES
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02006 * depends_on:MBEDTLS_SSL_TLS_C
Manuel Pégourié-Gonnard4956fd72014-09-24 11:13:44 +02007 * END_DEPENDENCIES
8 */
9
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020010/* BEGIN_CASE depends_on:MBEDTLS_SSL_DTLS_ANTI_REPLAY */
Manuel Pégourié-Gonnard4956fd72014-09-24 11:13:44 +020011void ssl_dtls_replay( char *prevs, char *new, int ret )
12{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020013 mbedtls_ssl_context ssl;
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +020014 mbedtls_ssl_config conf;
Manuel Pégourié-Gonnard4956fd72014-09-24 11:13:44 +020015 char *end_prevs = prevs + strlen( prevs ) + 1;
16
Manuel Pégourié-Gonnard41d479e2015-04-29 00:48:22 +020017 mbedtls_ssl_init( &ssl );
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +020018 mbedtls_ssl_config_init( &conf );
Manuel Pégourié-Gonnard41d479e2015-04-29 00:48:22 +020019
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +020020 TEST_ASSERT( mbedtls_ssl_config_defaults( &conf ) == 0 );
21 TEST_ASSERT( mbedtls_ssl_setup( &ssl, &conf ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020022 TEST_ASSERT( mbedtls_ssl_set_transport( &ssl, MBEDTLS_SSL_TRANSPORT_DATAGRAM ) == 0 );
Manuel Pégourié-Gonnard4956fd72014-09-24 11:13:44 +020023
24 /* Read previous record numbers */
25 for( ; end_prevs - prevs >= 13; prevs += 13 )
26 {
27 prevs[12] = '\0';
28 unhexify( ssl.in_ctr + 2, prevs );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020029 mbedtls_ssl_dtls_replay_update( &ssl );
Manuel Pégourié-Gonnard4956fd72014-09-24 11:13:44 +020030 }
31
32 /* Check new number */
33 unhexify( ssl.in_ctr + 2, new );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020034 TEST_ASSERT( mbedtls_ssl_dtls_replay_check( &ssl ) == ret );
Manuel Pégourié-Gonnard4956fd72014-09-24 11:13:44 +020035
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020036 mbedtls_ssl_free( &ssl );
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +020037 mbedtls_ssl_config_free( &conf );
Manuel Pégourié-Gonnard4956fd72014-09-24 11:13:44 +020038}
39/* END_CASE */