blob: 23237d1a234d9dcacd0539d6d224ca94a6efe8a0 [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
Gilles Peskine6d576c92022-06-30 17:06:11 +0200104 /* Ensure no stdio buffering of secrets, as such buffers cannot be
105 * wiped. */
106 mbedtls_setbuf( f, NULL );
107
Gilles Peskine504c1a32021-01-05 23:40:14 +0100108 if( fwrite( nss_keylog_line, 1, len, f ) != len )
109 {
Gilles Peskine504c1a32021-01-05 23:40:14 +0100110 fclose( f );
111 goto exit;
112 }
113
114 fclose( f );
115 }
116
117exit:
118 mbedtls_platform_zeroize( nss_keylog_line,
119 sizeof( nss_keylog_line ) );
Gilles Peskine504c1a32021-01-05 23:40:14 +0100120}
121
122#if defined( MBEDTLS_SSL_DTLS_SRTP )
Hanno Becker296fefe2021-06-21 09:32:27 +0100123void dtls_srtp_key_derivation( void *p_expkey,
124 mbedtls_ssl_key_export_type secret_type,
125 const unsigned char *secret,
126 size_t secret_len,
127 const unsigned char client_random[32],
128 const unsigned char server_random[32],
129 mbedtls_tls_prf_types tls_prf_type )
Gilles Peskine504c1a32021-01-05 23:40:14 +0100130{
131 dtls_srtp_keys *keys = (dtls_srtp_keys *)p_expkey;
132
Hanno Beckerc4c38ca2021-05-24 10:57:07 +0100133 /* We're only interested in the TLS 1.2 master secret */
134 if( secret_type != MBEDTLS_SSL_KEY_EXPORT_TLS12_MASTER_SECRET )
Hanno Becker296fefe2021-06-21 09:32:27 +0100135 return;
Hanno Beckerc4c38ca2021-05-24 10:57:07 +0100136 if( secret_len != sizeof( keys->master_secret ) )
Hanno Becker296fefe2021-06-21 09:32:27 +0100137 return;
Hanno Beckerc4c38ca2021-05-24 10:57:07 +0100138
139 memcpy( keys->master_secret, secret, sizeof( keys->master_secret ) );
Gilles Peskine504c1a32021-01-05 23:40:14 +0100140 memcpy( keys->randbytes, client_random, 32 );
141 memcpy( keys->randbytes + 32, server_random, 32 );
142 keys->tls_prf_type = tls_prf_type;
Gilles Peskine504c1a32021-01-05 23:40:14 +0100143}
144#endif /* MBEDTLS_SSL_DTLS_SRTP */
145
Gilles Peskine504c1a32021-01-05 23:40:14 +0100146int ssl_check_record( mbedtls_ssl_context const *ssl,
147 unsigned char const *buf, size_t len )
148{
Manuel Pégourié-Gonnarde5306f62021-07-07 10:48:26 +0200149 int my_ret = 0, ret_cr1, ret_cr2;
Gilles Peskine504c1a32021-01-05 23:40:14 +0100150 unsigned char *tmp_buf;
151
152 /* Record checking may modify the input buffer,
153 * so make a copy. */
154 tmp_buf = mbedtls_calloc( 1, len );
155 if( tmp_buf == NULL )
156 return( MBEDTLS_ERR_SSL_ALLOC_FAILED );
157 memcpy( tmp_buf, buf, len );
158
Manuel Pégourié-Gonnarde5306f62021-07-07 10:48:26 +0200159 ret_cr1 = mbedtls_ssl_check_record( ssl, tmp_buf, len );
160 if( ret_cr1 != MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE )
Gilles Peskine504c1a32021-01-05 23:40:14 +0100161 {
Gilles Peskine504c1a32021-01-05 23:40:14 +0100162 /* Test-only: Make sure that mbedtls_ssl_check_record()
163 * doesn't alter state. */
164 memcpy( tmp_buf, buf, len ); /* Restore buffer */
Manuel Pégourié-Gonnarde5306f62021-07-07 10:48:26 +0200165 ret_cr2 = mbedtls_ssl_check_record( ssl, tmp_buf, len );
166 if( ret_cr2 != ret_cr1 )
Gilles Peskine504c1a32021-01-05 23:40:14 +0100167 {
168 mbedtls_printf( "mbedtls_ssl_check_record() returned inconsistent results.\n" );
Manuel Pégourié-Gonnarde5306f62021-07-07 10:48:26 +0200169 my_ret = -1;
Manuel Pégourié-Gonnard69c10a42021-07-06 12:05:23 +0200170 goto cleanup;
Gilles Peskine504c1a32021-01-05 23:40:14 +0100171 }
172
Manuel Pégourié-Gonnarde5306f62021-07-07 10:48:26 +0200173 switch( ret_cr1 )
Gilles Peskine504c1a32021-01-05 23:40:14 +0100174 {
175 case 0:
176 break;
177
178 case MBEDTLS_ERR_SSL_INVALID_RECORD:
179 if( opt.debug_level > 1 )
180 mbedtls_printf( "mbedtls_ssl_check_record() detected invalid record.\n" );
181 break;
182
183 case MBEDTLS_ERR_SSL_INVALID_MAC:
184 if( opt.debug_level > 1 )
185 mbedtls_printf( "mbedtls_ssl_check_record() detected unauthentic record.\n" );
186 break;
187
188 case MBEDTLS_ERR_SSL_UNEXPECTED_RECORD:
189 if( opt.debug_level > 1 )
190 mbedtls_printf( "mbedtls_ssl_check_record() detected unexpected record.\n" );
191 break;
192
193 default:
Manuel Pégourié-Gonnarde5306f62021-07-07 10:48:26 +0200194 mbedtls_printf( "mbedtls_ssl_check_record() failed fatally with -%#04x.\n", (unsigned int) -ret_cr1 );
195 my_ret = -1;
Manuel Pégourié-Gonnard69c10a42021-07-06 12:05:23 +0200196 goto cleanup;
Gilles Peskine504c1a32021-01-05 23:40:14 +0100197 }
198
199 /* Regardless of the outcome, forward the record to the stack. */
200 }
201
Manuel Pégourié-Gonnard69c10a42021-07-06 12:05:23 +0200202cleanup:
Gilles Peskine504c1a32021-01-05 23:40:14 +0100203 mbedtls_free( tmp_buf );
204
Manuel Pégourié-Gonnarde5306f62021-07-07 10:48:26 +0200205 return( my_ret );
Gilles Peskine504c1a32021-01-05 23:40:14 +0100206}
Gilles Peskine504c1a32021-01-05 23:40:14 +0100207
208int recv_cb( void *ctx, unsigned char *buf, size_t len )
209{
210 io_ctx_t *io_ctx = (io_ctx_t*) ctx;
211 size_t recv_len;
212 int ret;
213
214 if( opt.nbio == 2 )
215 ret = delayed_recv( io_ctx->net, buf, len );
216 else
217 ret = mbedtls_net_recv( io_ctx->net, buf, len );
218 if( ret < 0 )
219 return( ret );
220 recv_len = (size_t) ret;
221
222 if( opt.transport == MBEDTLS_SSL_TRANSPORT_DATAGRAM )
223 {
224 /* Here's the place to do any datagram/record checking
225 * in between receiving the packet from the underlying
226 * transport and passing it on to the TLS stack. */
Gilles Peskine504c1a32021-01-05 23:40:14 +0100227 if( ssl_check_record( io_ctx->ssl, buf, recv_len ) != 0 )
228 return( -1 );
Gilles Peskine504c1a32021-01-05 23:40:14 +0100229 }
230
231 return( (int) recv_len );
232}
233
234int recv_timeout_cb( void *ctx, unsigned char *buf, size_t len,
235 uint32_t timeout )
236{
237 io_ctx_t *io_ctx = (io_ctx_t*) ctx;
238 int ret;
239 size_t recv_len;
240
241 ret = mbedtls_net_recv_timeout( io_ctx->net, buf, len, timeout );
242 if( ret < 0 )
243 return( ret );
244 recv_len = (size_t) ret;
245
246 if( opt.transport == MBEDTLS_SSL_TRANSPORT_DATAGRAM )
247 {
248 /* Here's the place to do any datagram/record checking
249 * in between receiving the packet from the underlying
250 * transport and passing it on to the TLS stack. */
Gilles Peskine504c1a32021-01-05 23:40:14 +0100251 if( ssl_check_record( io_ctx->ssl, buf, recv_len ) != 0 )
252 return( -1 );
Gilles Peskine504c1a32021-01-05 23:40:14 +0100253 }
254
255 return( (int) recv_len );
256}
257
258int send_cb( void *ctx, unsigned char const *buf, size_t len )
259{
260 io_ctx_t *io_ctx = (io_ctx_t*) ctx;
261
262 if( opt.nbio == 2 )
263 return( delayed_send( io_ctx->net, buf, len ) );
264
265 return( mbedtls_net_send( io_ctx->net, buf, len ) );
266}
267
268#if defined(MBEDTLS_X509_CRT_PARSE_C)
Jerry Yu11f0a9c2022-01-12 18:43:08 +0800269#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_RSA_C)
270#define MBEDTLS_SSL_SIG_ALG( hash ) (( hash << 8 ) | MBEDTLS_SSL_SIG_ECDSA), \
271 (( hash << 8 ) | MBEDTLS_SSL_SIG_RSA),
272#elif defined(MBEDTLS_ECDSA_C)
273#define MBEDTLS_SSL_SIG_ALG( hash ) (( hash << 8 ) | MBEDTLS_SSL_SIG_ECDSA),
274#elif defined(MBEDTLS_RSA_C)
275#define MBEDTLS_SSL_SIG_ALG( hash ) (( hash << 8 ) | MBEDTLS_SSL_SIG_RSA),
276#else
277#define MBEDTLS_SSL_SIG_ALG( hash )
278#endif
279uint16_t ssl_sig_algs_for_test[] = {
Gilles Peskine504c1a32021-01-05 23:40:14 +0100280#if defined(MBEDTLS_SHA512_C)
Jerry Yu11f0a9c2022-01-12 18:43:08 +0800281 MBEDTLS_SSL_SIG_ALG( MBEDTLS_SSL_HASH_SHA512 )
Mateusz Starzyk3352a532021-04-06 14:28:22 +0200282#endif
283#if defined(MBEDTLS_SHA384_C)
Jerry Yu11f0a9c2022-01-12 18:43:08 +0800284 MBEDTLS_SSL_SIG_ALG( MBEDTLS_SSL_HASH_SHA384 )
Gilles Peskine504c1a32021-01-05 23:40:14 +0100285#endif
286#if defined(MBEDTLS_SHA256_C)
Jerry Yu11f0a9c2022-01-12 18:43:08 +0800287 MBEDTLS_SSL_SIG_ALG( MBEDTLS_SSL_HASH_SHA256 )
Mateusz Starzyke3c48b42021-04-19 16:46:28 +0200288#endif
289#if defined(MBEDTLS_SHA224_C)
Jerry Yu11f0a9c2022-01-12 18:43:08 +0800290 MBEDTLS_SSL_SIG_ALG( MBEDTLS_SSL_HASH_SHA224 )
Gilles Peskine504c1a32021-01-05 23:40:14 +0100291#endif
292#if defined(MBEDTLS_SHA1_C)
293 /* Allow SHA-1 as we use it extensively in tests. */
Jerry Yu11f0a9c2022-01-12 18:43:08 +0800294 MBEDTLS_SSL_SIG_ALG( MBEDTLS_SSL_HASH_SHA1 )
Gilles Peskine504c1a32021-01-05 23:40:14 +0100295#endif
Jerry Yu11f0a9c2022-01-12 18:43:08 +0800296 MBEDTLS_TLS1_3_SIG_NONE
Gilles Peskine504c1a32021-01-05 23:40:14 +0100297};
298#endif /* MBEDTLS_X509_CRT_PARSE_C */
Chris Jonese383fa62021-04-27 14:50:43 +0100299
300#if defined(MBEDTLS_X509_CRT_PARSE_C)
Chris Jonese383fa62021-04-27 14:50:43 +0100301/** Functionally equivalent to mbedtls_x509_crt_verify_info, see that function
302 * for more info.
303 */
304int x509_crt_verify_info( char *buf, size_t size, const char *prefix,
305 uint32_t flags )
306{
Chris Jonesfa1f9042021-04-28 10:04:05 +0100307#if !defined(MBEDTLS_X509_REMOVE_INFO)
Chris Jonese383fa62021-04-27 14:50:43 +0100308 return( mbedtls_x509_crt_verify_info( buf, size, prefix, flags ) );
309
310#else /* !MBEDTLS_X509_REMOVE_INFO */
311 int ret;
312 char *p = buf;
313 size_t n = size;
314
315#define X509_CRT_ERROR_INFO( err, err_str, info ) \
316 if( ( flags & err ) != 0 ) \
317 { \
318 ret = mbedtls_snprintf( p, n, "%s%s\n", prefix, info ); \
319 MBEDTLS_X509_SAFE_SNPRINTF; \
320 flags ^= err; \
321 }
322
323 MBEDTLS_X509_CRT_ERROR_INFO_LIST
324#undef X509_CRT_ERROR_INFO
325
326 if( flags != 0 )
327 {
328 ret = mbedtls_snprintf( p, n, "%sUnknown reason "
329 "(this should not happen)\n", prefix );
330 MBEDTLS_X509_SAFE_SNPRINTF;
331 }
332
333 return( (int) ( size - n ) );
334#endif /* MBEDTLS_X509_REMOVE_INFO */
335}
336#endif /* MBEDTLS_X509_CRT_PARSE_C */