blob: 72c0b3ae347e88e6017e601c416da73046a9e059 [file] [log] [blame]
Gilles Peskine0d980b82021-01-05 23:34:27 +01001/*
2 * Common source code for SSL test programs. This file is included by
3 * both ssl_client2.c and ssl_server2.c and is intended for source
4 * code that is textually identical in both programs, but that cannot be
5 * compiled separately because it refers to types or macros that are
6 * different in the two programs, or because it would have an incomplete
7 * type.
8 *
9 * This file is meant to be #include'd and cannot be compiled separately.
10 *
11 * Copyright The Mbed TLS Contributors
12 * SPDX-License-Identifier: Apache-2.0
13 *
14 * Licensed under the Apache License, Version 2.0 (the "License"); you may
15 * not use this file except in compliance with the License.
16 * You may obtain a copy of the License at
17 *
18 * http://www.apache.org/licenses/LICENSE-2.0
19 *
20 * Unless required by applicable law or agreed to in writing, software
21 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
22 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
23 * See the License for the specific language governing permissions and
24 * limitations under the License.
25 */
Gilles Peskine504c1a32021-01-05 23:40:14 +010026
Hanno Becker296fefe2021-06-21 09:32:27 +010027void eap_tls_key_derivation( void *p_expkey,
28 mbedtls_ssl_key_export_type secret_type,
29 const unsigned char *secret,
30 size_t secret_len,
31 const unsigned char client_random[32],
32 const unsigned char server_random[32],
33 mbedtls_tls_prf_types tls_prf_type )
Gilles Peskine504c1a32021-01-05 23:40:14 +010034{
35 eap_tls_keys *keys = (eap_tls_keys *)p_expkey;
36
Hanno Beckerc4c38ca2021-05-24 10:57:07 +010037 /* We're only interested in the TLS 1.2 master secret */
38 if( secret_type != MBEDTLS_SSL_KEY_EXPORT_TLS12_MASTER_SECRET )
Hanno Becker296fefe2021-06-21 09:32:27 +010039 return;
Hanno Beckerc4c38ca2021-05-24 10:57:07 +010040 if( secret_len != sizeof( keys->master_secret ) )
Hanno Becker296fefe2021-06-21 09:32:27 +010041 return;
Hanno Beckerc4c38ca2021-05-24 10:57:07 +010042
43 memcpy( keys->master_secret, secret, sizeof( keys->master_secret ) );
Gilles Peskine504c1a32021-01-05 23:40:14 +010044 memcpy( keys->randbytes, client_random, 32 );
45 memcpy( keys->randbytes + 32, server_random, 32 );
46 keys->tls_prf_type = tls_prf_type;
Gilles Peskine504c1a32021-01-05 23:40:14 +010047}
48
Hanno Becker296fefe2021-06-21 09:32:27 +010049void nss_keylog_export( void *p_expkey,
50 mbedtls_ssl_key_export_type secret_type,
51 const unsigned char *secret,
52 size_t secret_len,
53 const unsigned char client_random[32],
54 const unsigned char server_random[32],
55 mbedtls_tls_prf_types tls_prf_type )
Gilles Peskine504c1a32021-01-05 23:40:14 +010056{
57 char nss_keylog_line[ 200 ];
58 size_t const client_random_len = 32;
Gilles Peskine504c1a32021-01-05 23:40:14 +010059 size_t len = 0;
60 size_t j;
Gilles Peskine504c1a32021-01-05 23:40:14 +010061
Hanno Beckerc4c38ca2021-05-24 10:57:07 +010062 /* We're only interested in the TLS 1.2 master secret */
63 if( secret_type != MBEDTLS_SSL_KEY_EXPORT_TLS12_MASTER_SECRET )
Hanno Becker296fefe2021-06-21 09:32:27 +010064 return;
Hanno Beckerc4c38ca2021-05-24 10:57:07 +010065
Gilles Peskine504c1a32021-01-05 23:40:14 +010066 ((void) p_expkey);
Gilles Peskine504c1a32021-01-05 23:40:14 +010067 ((void) server_random);
68 ((void) tls_prf_type);
69
70 len += sprintf( nss_keylog_line + len,
71 "%s", "CLIENT_RANDOM " );
72
73 for( j = 0; j < client_random_len; j++ )
74 {
75 len += sprintf( nss_keylog_line + len,
76 "%02x", client_random[j] );
77 }
78
79 len += sprintf( nss_keylog_line + len, " " );
80
Hanno Beckerc4c38ca2021-05-24 10:57:07 +010081 for( j = 0; j < secret_len; j++ )
Gilles Peskine504c1a32021-01-05 23:40:14 +010082 {
83 len += sprintf( nss_keylog_line + len,
Hanno Beckerc4c38ca2021-05-24 10:57:07 +010084 "%02x", secret[j] );
Gilles Peskine504c1a32021-01-05 23:40:14 +010085 }
86
87 len += sprintf( nss_keylog_line + len, "\n" );
88 nss_keylog_line[ len ] = '\0';
89
90 mbedtls_printf( "\n" );
91 mbedtls_printf( "---------------- NSS KEYLOG -----------------\n" );
92 mbedtls_printf( "%s", nss_keylog_line );
93 mbedtls_printf( "---------------------------------------------\n" );
94
95 if( opt.nss_keylog_file != NULL )
96 {
97 FILE *f;
98
99 if( ( f = fopen( opt.nss_keylog_file, "a" ) ) == NULL )
100 {
Gilles Peskine504c1a32021-01-05 23:40:14 +0100101 goto exit;
102 }
103
104 if( fwrite( nss_keylog_line, 1, len, f ) != len )
105 {
Gilles Peskine504c1a32021-01-05 23:40:14 +0100106 fclose( f );
107 goto exit;
108 }
109
110 fclose( f );
111 }
112
113exit:
114 mbedtls_platform_zeroize( nss_keylog_line,
115 sizeof( nss_keylog_line ) );
Gilles Peskine504c1a32021-01-05 23:40:14 +0100116}
117
118#if defined( MBEDTLS_SSL_DTLS_SRTP )
Hanno Becker296fefe2021-06-21 09:32:27 +0100119void dtls_srtp_key_derivation( void *p_expkey,
120 mbedtls_ssl_key_export_type secret_type,
121 const unsigned char *secret,
122 size_t secret_len,
123 const unsigned char client_random[32],
124 const unsigned char server_random[32],
125 mbedtls_tls_prf_types tls_prf_type )
Gilles Peskine504c1a32021-01-05 23:40:14 +0100126{
127 dtls_srtp_keys *keys = (dtls_srtp_keys *)p_expkey;
128
Hanno Beckerc4c38ca2021-05-24 10:57:07 +0100129 /* We're only interested in the TLS 1.2 master secret */
130 if( secret_type != MBEDTLS_SSL_KEY_EXPORT_TLS12_MASTER_SECRET )
Hanno Becker296fefe2021-06-21 09:32:27 +0100131 return;
Hanno Beckerc4c38ca2021-05-24 10:57:07 +0100132 if( secret_len != sizeof( keys->master_secret ) )
Hanno Becker296fefe2021-06-21 09:32:27 +0100133 return;
Hanno Beckerc4c38ca2021-05-24 10:57:07 +0100134
135 memcpy( keys->master_secret, secret, sizeof( keys->master_secret ) );
Gilles Peskine504c1a32021-01-05 23:40:14 +0100136 memcpy( keys->randbytes, client_random, 32 );
137 memcpy( keys->randbytes + 32, server_random, 32 );
138 keys->tls_prf_type = tls_prf_type;
Gilles Peskine504c1a32021-01-05 23:40:14 +0100139}
140#endif /* MBEDTLS_SSL_DTLS_SRTP */
141
Gilles Peskine504c1a32021-01-05 23:40:14 +0100142int ssl_check_record( mbedtls_ssl_context const *ssl,
143 unsigned char const *buf, size_t len )
144{
Manuel Pégourié-Gonnarde5306f62021-07-07 10:48:26 +0200145 int my_ret = 0, ret_cr1, ret_cr2;
Gilles Peskine504c1a32021-01-05 23:40:14 +0100146 unsigned char *tmp_buf;
147
148 /* Record checking may modify the input buffer,
149 * so make a copy. */
150 tmp_buf = mbedtls_calloc( 1, len );
151 if( tmp_buf == NULL )
152 return( MBEDTLS_ERR_SSL_ALLOC_FAILED );
153 memcpy( tmp_buf, buf, len );
154
Manuel Pégourié-Gonnarde5306f62021-07-07 10:48:26 +0200155 ret_cr1 = mbedtls_ssl_check_record( ssl, tmp_buf, len );
156 if( ret_cr1 != MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE )
Gilles Peskine504c1a32021-01-05 23:40:14 +0100157 {
Gilles Peskine504c1a32021-01-05 23:40:14 +0100158 /* Test-only: Make sure that mbedtls_ssl_check_record()
159 * doesn't alter state. */
160 memcpy( tmp_buf, buf, len ); /* Restore buffer */
Manuel Pégourié-Gonnarde5306f62021-07-07 10:48:26 +0200161 ret_cr2 = mbedtls_ssl_check_record( ssl, tmp_buf, len );
162 if( ret_cr2 != ret_cr1 )
Gilles Peskine504c1a32021-01-05 23:40:14 +0100163 {
164 mbedtls_printf( "mbedtls_ssl_check_record() returned inconsistent results.\n" );
Manuel Pégourié-Gonnarde5306f62021-07-07 10:48:26 +0200165 my_ret = -1;
Manuel Pégourié-Gonnard69c10a42021-07-06 12:05:23 +0200166 goto cleanup;
Gilles Peskine504c1a32021-01-05 23:40:14 +0100167 }
168
Manuel Pégourié-Gonnarde5306f62021-07-07 10:48:26 +0200169 switch( ret_cr1 )
Gilles Peskine504c1a32021-01-05 23:40:14 +0100170 {
171 case 0:
172 break;
173
174 case MBEDTLS_ERR_SSL_INVALID_RECORD:
175 if( opt.debug_level > 1 )
176 mbedtls_printf( "mbedtls_ssl_check_record() detected invalid record.\n" );
177 break;
178
179 case MBEDTLS_ERR_SSL_INVALID_MAC:
180 if( opt.debug_level > 1 )
181 mbedtls_printf( "mbedtls_ssl_check_record() detected unauthentic record.\n" );
182 break;
183
184 case MBEDTLS_ERR_SSL_UNEXPECTED_RECORD:
185 if( opt.debug_level > 1 )
186 mbedtls_printf( "mbedtls_ssl_check_record() detected unexpected record.\n" );
187 break;
188
189 default:
Manuel Pégourié-Gonnarde5306f62021-07-07 10:48:26 +0200190 mbedtls_printf( "mbedtls_ssl_check_record() failed fatally with -%#04x.\n", (unsigned int) -ret_cr1 );
191 my_ret = -1;
Manuel Pégourié-Gonnard69c10a42021-07-06 12:05:23 +0200192 goto cleanup;
Gilles Peskine504c1a32021-01-05 23:40:14 +0100193 }
194
195 /* Regardless of the outcome, forward the record to the stack. */
196 }
197
Manuel Pégourié-Gonnard69c10a42021-07-06 12:05:23 +0200198cleanup:
Gilles Peskine504c1a32021-01-05 23:40:14 +0100199 mbedtls_free( tmp_buf );
200
Manuel Pégourié-Gonnarde5306f62021-07-07 10:48:26 +0200201 return( my_ret );
Gilles Peskine504c1a32021-01-05 23:40:14 +0100202}
Gilles Peskine504c1a32021-01-05 23:40:14 +0100203
204int recv_cb( void *ctx, unsigned char *buf, size_t len )
205{
206 io_ctx_t *io_ctx = (io_ctx_t*) ctx;
207 size_t recv_len;
208 int ret;
209
210 if( opt.nbio == 2 )
211 ret = delayed_recv( io_ctx->net, buf, len );
212 else
213 ret = mbedtls_net_recv( io_ctx->net, buf, len );
214 if( ret < 0 )
215 return( ret );
216 recv_len = (size_t) ret;
217
218 if( opt.transport == MBEDTLS_SSL_TRANSPORT_DATAGRAM )
219 {
220 /* Here's the place to do any datagram/record checking
221 * in between receiving the packet from the underlying
222 * transport and passing it on to the TLS stack. */
Gilles Peskine504c1a32021-01-05 23:40:14 +0100223 if( ssl_check_record( io_ctx->ssl, buf, recv_len ) != 0 )
224 return( -1 );
Gilles Peskine504c1a32021-01-05 23:40:14 +0100225 }
226
227 return( (int) recv_len );
228}
229
230int recv_timeout_cb( void *ctx, unsigned char *buf, size_t len,
231 uint32_t timeout )
232{
233 io_ctx_t *io_ctx = (io_ctx_t*) ctx;
234 int ret;
235 size_t recv_len;
236
237 ret = mbedtls_net_recv_timeout( io_ctx->net, buf, len, timeout );
238 if( ret < 0 )
239 return( ret );
240 recv_len = (size_t) ret;
241
242 if( opt.transport == MBEDTLS_SSL_TRANSPORT_DATAGRAM )
243 {
244 /* Here's the place to do any datagram/record checking
245 * in between receiving the packet from the underlying
246 * transport and passing it on to the TLS stack. */
Gilles Peskine504c1a32021-01-05 23:40:14 +0100247 if( ssl_check_record( io_ctx->ssl, buf, recv_len ) != 0 )
248 return( -1 );
Gilles Peskine504c1a32021-01-05 23:40:14 +0100249 }
250
251 return( (int) recv_len );
252}
253
254int send_cb( void *ctx, unsigned char const *buf, size_t len )
255{
256 io_ctx_t *io_ctx = (io_ctx_t*) ctx;
257
258 if( opt.nbio == 2 )
259 return( delayed_send( io_ctx->net, buf, len ) );
260
261 return( mbedtls_net_send( io_ctx->net, buf, len ) );
262}
263
264#if defined(MBEDTLS_X509_CRT_PARSE_C)
Jerry Yu11f0a9c2022-01-12 18:43:08 +0800265#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_RSA_C)
Jerry Yu9f4cc5f2022-06-16 11:40:44 +0800266#if defined(MBEDTLS_SSL_PROTO_TLS1_3)
Jerry Yu9bb3ee42022-06-23 10:16:33 +0800267/*
Jerry Yua1255e62022-06-24 10:10:47 +0800268 * When GnuTLS/Openssl server is configured in TLS 1.2 mode with a certificate
269 * declaring an RSA public key and Mbed TLS is configured in hybrid mode, if
270 * `rsa_pss_rsae_*` algorithms are before `rsa_pkcs1_*` ones in this list then
271 * the GnuTLS/Openssl server chooses an `rsa_pss_rsae_*` signature algorithm
272 * for its signature in the key exchange message and as Mbed TLS 1.2 does not
273 * support them, the handshake fails.
Jerry Yu3896ac62022-06-19 17:16:38 +0800274 */
Jerry Yu9f4cc5f2022-06-16 11:40:44 +0800275#define MBEDTLS_SSL_SIG_ALG( hash ) (( hash << 8 ) | MBEDTLS_SSL_SIG_ECDSA), \
Jerry Yu3896ac62022-06-19 17:16:38 +0800276 (( hash << 8 ) | MBEDTLS_SSL_SIG_RSA), \
277 ( 0x800 | hash ),
Jerry Yu9f4cc5f2022-06-16 11:40:44 +0800278#else
Jerry Yu11f0a9c2022-01-12 18:43:08 +0800279#define MBEDTLS_SSL_SIG_ALG( hash ) (( hash << 8 ) | MBEDTLS_SSL_SIG_ECDSA), \
280 (( hash << 8 ) | MBEDTLS_SSL_SIG_RSA),
Jerry Yu9f4cc5f2022-06-16 11:40:44 +0800281#endif
Jerry Yu11f0a9c2022-01-12 18:43:08 +0800282#elif defined(MBEDTLS_ECDSA_C)
283#define MBEDTLS_SSL_SIG_ALG( hash ) (( hash << 8 ) | MBEDTLS_SSL_SIG_ECDSA),
284#elif defined(MBEDTLS_RSA_C)
Jerry Yu9f4cc5f2022-06-16 11:40:44 +0800285#if defined(MBEDTLS_SSL_PROTO_TLS1_3)
Jerry Yu3896ac62022-06-19 17:16:38 +0800286/* See above */
287#define MBEDTLS_SSL_SIG_ALG( hash ) (( hash << 8 ) | MBEDTLS_SSL_SIG_RSA), \
288 ( 0x800 | hash ),
Jerry Yu9f4cc5f2022-06-16 11:40:44 +0800289#else
Jerry Yu11f0a9c2022-01-12 18:43:08 +0800290#define MBEDTLS_SSL_SIG_ALG( hash ) (( hash << 8 ) | MBEDTLS_SSL_SIG_RSA),
Jerry Yu9f4cc5f2022-06-16 11:40:44 +0800291#endif
Jerry Yu11f0a9c2022-01-12 18:43:08 +0800292#else
293#define MBEDTLS_SSL_SIG_ALG( hash )
294#endif
295uint16_t ssl_sig_algs_for_test[] = {
Gilles Peskine504c1a32021-01-05 23:40:14 +0100296#if defined(MBEDTLS_SHA512_C)
Jerry Yu11f0a9c2022-01-12 18:43:08 +0800297 MBEDTLS_SSL_SIG_ALG( MBEDTLS_SSL_HASH_SHA512 )
Mateusz Starzyk3352a532021-04-06 14:28:22 +0200298#endif
299#if defined(MBEDTLS_SHA384_C)
Jerry Yu11f0a9c2022-01-12 18:43:08 +0800300 MBEDTLS_SSL_SIG_ALG( MBEDTLS_SSL_HASH_SHA384 )
Gilles Peskine504c1a32021-01-05 23:40:14 +0100301#endif
302#if defined(MBEDTLS_SHA256_C)
Jerry Yu11f0a9c2022-01-12 18:43:08 +0800303 MBEDTLS_SSL_SIG_ALG( MBEDTLS_SSL_HASH_SHA256 )
Mateusz Starzyke3c48b42021-04-19 16:46:28 +0200304#endif
305#if defined(MBEDTLS_SHA224_C)
Jerry Yu11f0a9c2022-01-12 18:43:08 +0800306 MBEDTLS_SSL_SIG_ALG( MBEDTLS_SSL_HASH_SHA224 )
Gilles Peskine504c1a32021-01-05 23:40:14 +0100307#endif
308#if defined(MBEDTLS_SHA1_C)
309 /* Allow SHA-1 as we use it extensively in tests. */
Jerry Yu11f0a9c2022-01-12 18:43:08 +0800310 MBEDTLS_SSL_SIG_ALG( MBEDTLS_SSL_HASH_SHA1 )
Gilles Peskine504c1a32021-01-05 23:40:14 +0100311#endif
Jerry Yu11f0a9c2022-01-12 18:43:08 +0800312 MBEDTLS_TLS1_3_SIG_NONE
Gilles Peskine504c1a32021-01-05 23:40:14 +0100313};
314#endif /* MBEDTLS_X509_CRT_PARSE_C */
Chris Jonese383fa62021-04-27 14:50:43 +0100315
316#if defined(MBEDTLS_X509_CRT_PARSE_C)
Chris Jonese383fa62021-04-27 14:50:43 +0100317/** Functionally equivalent to mbedtls_x509_crt_verify_info, see that function
318 * for more info.
319 */
320int x509_crt_verify_info( char *buf, size_t size, const char *prefix,
321 uint32_t flags )
322{
Chris Jonesfa1f9042021-04-28 10:04:05 +0100323#if !defined(MBEDTLS_X509_REMOVE_INFO)
Chris Jonese383fa62021-04-27 14:50:43 +0100324 return( mbedtls_x509_crt_verify_info( buf, size, prefix, flags ) );
325
326#else /* !MBEDTLS_X509_REMOVE_INFO */
327 int ret;
328 char *p = buf;
329 size_t n = size;
330
331#define X509_CRT_ERROR_INFO( err, err_str, info ) \
332 if( ( flags & err ) != 0 ) \
333 { \
334 ret = mbedtls_snprintf( p, n, "%s%s\n", prefix, info ); \
335 MBEDTLS_X509_SAFE_SNPRINTF; \
336 flags ^= err; \
337 }
338
339 MBEDTLS_X509_CRT_ERROR_INFO_LIST
340#undef X509_CRT_ERROR_INFO
341
342 if( flags != 0 )
343 {
344 ret = mbedtls_snprintf( p, n, "%sUnknown reason "
345 "(this should not happen)\n", prefix );
346 MBEDTLS_X509_SAFE_SNPRINTF;
347 }
348
349 return( (int) ( size - n ) );
350#endif /* MBEDTLS_X509_REMOVE_INFO */
351}
352#endif /* MBEDTLS_X509_CRT_PARSE_C */
Jerry Yu202919c2022-06-27 16:21:00 +0800353
354void mbedtls_print_supported_sig_algs( void )
355{
356 mbedtls_printf( "supported signature algorithms:\n" );
357 mbedtls_printf("\trsa_pkcs1_sha256 ");
358 mbedtls_printf("rsa_pkcs1_sha384 ");
359 mbedtls_printf("rsa_pkcs1_sha512\n");
360 mbedtls_printf("\tecdsa_secp256r1_sha256 ");
361 mbedtls_printf("ecdsa_secp384r1_sha384 ");
362 mbedtls_printf("ecdsa_secp521r1_sha512\n");
363 mbedtls_printf("\trsa_pss_rsae_sha256 ");
364 mbedtls_printf("rsa_pss_rsae_sha384 ");
365 mbedtls_printf("rsa_pss_rsae_sha512\n");
366 mbedtls_printf("\trsa_pss_pss_sha256 ");
367 mbedtls_printf("rsa_pss_pss_sha384 ");
368 mbedtls_printf("rsa_pss_pss_sha512\n");
369 mbedtls_printf("\ted25519 ");
370 mbedtls_printf("ed448 ");
371 mbedtls_printf("rsa_pkcs1_sha1 ");
372 mbedtls_printf("ecdsa_sha1\n");
373 mbedtls_printf( "\n" );
374}