blob: 3a5e502fe5b3a46548edf3434ecf8b10773e1c38 [file] [log] [blame]
Felix Conway998760a2025-03-24 11:37:33 +00001#define MBEDTLS_DECLARE_PRIVATE_IDENTIFIERS
2
Philippe Antoine72333522018-05-03 16:40:24 +02003#include "mbedtls/ssl.h"
4#include "mbedtls/entropy.h"
5#include "mbedtls/ctr_drbg.h"
Philippe Antoine72333522018-05-03 16:40:24 +02006#include "mbedtls/ssl_ticket.h"
Mateusz Starzyk1aec6462021-02-08 15:34:42 +01007#include "test/certs.h"
Ben Taylor52510b22025-06-04 09:35:35 +01008#include "fuzz_common.h"
Philippe Antoine72333522018-05-03 16:40:24 +02009#include <string.h>
10#include <stdlib.h>
Philippe Antoine72333522018-05-03 16:40:24 +020011#include <stdint.h>
12
13
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +020014#if defined(MBEDTLS_SSL_SRV_C) && \
15 defined(MBEDTLS_ENTROPY_C) && \
16 defined(MBEDTLS_CTR_DRBG_C)
Philippe Antoine72333522018-05-03 16:40:24 +020017const char *pers = "fuzz_server";
Philippe Antoine42a2ce82019-07-10 14:26:31 +020018static int initialized = 0;
Philippe Antoinedaab28a2019-06-28 12:31:23 +020019#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Philippe Antoine72333522018-05-03 16:40:24 +020020static mbedtls_x509_crt srvcert;
21static mbedtls_pk_context pkey;
22#endif
23const char *alpn_list[3];
24
Gilles Peskineeccd8882020-03-10 12:19:08 +010025#if defined(MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED)
Philippe Antoine72333522018-05-03 16:40:24 +020026const unsigned char psk[] = {
27 0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
28 0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f
29};
30const char psk_id[] = "Client_identity";
31#endif
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +020032#endif // MBEDTLS_SSL_SRV_C && MBEDTLS_ENTROPY_C && MBEDTLS_CTR_DRBG_C
Philippe Antoine72333522018-05-03 16:40:24 +020033
34
Gilles Peskine449bd832023-01-11 14:50:10 +010035int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size)
36{
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +020037#if defined(MBEDTLS_SSL_SRV_C) && \
38 defined(MBEDTLS_ENTROPY_C) && \
39 defined(MBEDTLS_CTR_DRBG_C)
Philippe Antoine72333522018-05-03 16:40:24 +020040 int ret;
41 size_t len;
42 mbedtls_ssl_context ssl;
43 mbedtls_ssl_config conf;
44 mbedtls_ctr_drbg_context ctr_drbg;
45 mbedtls_entropy_context entropy;
Przemek Stekiel68a01a62022-10-10 11:31:58 +020046#if defined(MBEDTLS_SSL_SESSION_TICKETS) && defined(MBEDTLS_SSL_TICKET_C)
Philippe Antoine72333522018-05-03 16:40:24 +020047 mbedtls_ssl_ticket_context ticket_ctx;
48#endif
49 unsigned char buf[4096];
50 fuzzBufferOffset_t biomemfuzz;
51 uint8_t options;
52
53 //we take 1 byte as options input
54 if (Size < 1) {
55 return 0;
56 }
57 options = Data[Size - 1];
58
Gilles Peskine449bd832023-01-11 14:50:10 +010059 mbedtls_ctr_drbg_init(&ctr_drbg);
60 mbedtls_entropy_init(&entropy);
Przemek Stekiel774f9de2023-04-19 11:47:01 +020061#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
62 mbedtls_x509_crt_init(&srvcert);
63 mbedtls_pk_init(&pkey);
64#endif
65 mbedtls_ssl_init(&ssl);
66 mbedtls_ssl_config_init(&conf);
67#if defined(MBEDTLS_SSL_SESSION_TICKETS) && defined(MBEDTLS_SSL_TICKET_C)
68 mbedtls_ssl_ticket_init(&ticket_ctx);
69#endif
Przemek Stekiel774f9de2023-04-19 11:47:01 +020070 psa_status_t status = psa_crypto_init();
71 if (status != PSA_SUCCESS) {
72 goto exit;
73 }
Manuel Pégourié-Gonnard7f93da12021-06-16 10:20:30 +020074
Gilles Peskine449bd832023-01-11 14:50:10 +010075 if (mbedtls_ctr_drbg_seed(&ctr_drbg, dummy_entropy, &entropy,
76 (const unsigned char *) pers, strlen(pers)) != 0) {
Paul Elliott00738bf2022-02-10 18:15:42 +000077 return 1;
Gilles Peskine449bd832023-01-11 14:50:10 +010078 }
Paul Elliott00738bf2022-02-10 18:15:42 +000079
80 if (initialized == 0) {
Manuel Pégourié-Gonnard7f93da12021-06-16 10:20:30 +020081
Philippe Antoinedaab28a2019-06-28 12:31:23 +020082#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +010083 if (mbedtls_x509_crt_parse(&srvcert, (const unsigned char *) mbedtls_test_srv_crt,
84 mbedtls_test_srv_crt_len) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020085 return 1;
Gilles Peskine449bd832023-01-11 14:50:10 +010086 }
87 if (mbedtls_x509_crt_parse(&srvcert, (const unsigned char *) mbedtls_test_cas_pem,
88 mbedtls_test_cas_pem_len) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020089 return 1;
Gilles Peskine449bd832023-01-11 14:50:10 +010090 }
91 if (mbedtls_pk_parse_key(&pkey, (const unsigned char *) mbedtls_test_srv_key,
Ben Taylor440cb2a2025-03-05 09:40:08 +000092 mbedtls_test_srv_key_len, NULL, 0) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020093 return 1;
Gilles Peskine449bd832023-01-11 14:50:10 +010094 }
Philippe Antoine72333522018-05-03 16:40:24 +020095#endif
96
97 alpn_list[0] = "HTTP";
98 alpn_list[1] = "fuzzalpn";
99 alpn_list[2] = NULL;
100
Philippe Antoine08633822019-06-04 14:03:06 +0200101 dummy_init();
102
Philippe Antoine72333522018-05-03 16:40:24 +0200103 initialized = 1;
104 }
Philippe Antoine72333522018-05-03 16:40:24 +0200105
Gilles Peskine449bd832023-01-11 14:50:10 +0100106 if (mbedtls_ssl_config_defaults(&conf,
Philippe Antoine72333522018-05-03 16:40:24 +0200107 MBEDTLS_SSL_IS_SERVER,
108 MBEDTLS_SSL_TRANSPORT_STREAM,
Gilles Peskine449bd832023-01-11 14:50:10 +0100109 MBEDTLS_SSL_PRESET_DEFAULT) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200110 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100111 }
Philippe Antoine72333522018-05-03 16:40:24 +0200112
Philippe Antoinedaab28a2019-06-28 12:31:23 +0200113#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100114 mbedtls_ssl_conf_ca_chain(&conf, srvcert.next, NULL);
115 if (mbedtls_ssl_conf_own_cert(&conf, &srvcert, &pkey) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200116 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100117 }
Philippe Antoine72333522018-05-03 16:40:24 +0200118#endif
119
Gilles Peskine449bd832023-01-11 14:50:10 +0100120 mbedtls_ssl_conf_cert_req_ca_list(&conf,
121 (options &
122 0x1) ? MBEDTLS_SSL_CERT_REQ_CA_LIST_ENABLED : MBEDTLS_SSL_CERT_REQ_CA_LIST_DISABLED);
Philippe Antoine72333522018-05-03 16:40:24 +0200123#if defined(MBEDTLS_SSL_ALPN)
124 if (options & 0x2) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100125 mbedtls_ssl_conf_alpn_protocols(&conf, alpn_list);
Philippe Antoine72333522018-05-03 16:40:24 +0200126 }
127#endif
Przemek Stekiel68a01a62022-10-10 11:31:58 +0200128#if defined(MBEDTLS_SSL_SESSION_TICKETS) && defined(MBEDTLS_SSL_TICKET_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100129 if (options & 0x4) {
Ben Taylor0c29cf82025-01-29 08:18:43 +0000130 if (mbedtls_ssl_ticket_setup(&ticket_ctx, //context
Ben Taylor0c29cf82025-01-29 08:18:43 +0000131 PSA_ALG_GCM, //alg
132 PSA_KEY_TYPE_AES, //key_type
133 256, //key_bits
134 86400) != 0) { //lifetime
Philippe Antoine72333522018-05-03 16:40:24 +0200135 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100136 }
Philippe Antoine72333522018-05-03 16:40:24 +0200137
Gilles Peskine449bd832023-01-11 14:50:10 +0100138 mbedtls_ssl_conf_session_tickets_cb(&conf,
Philippe Antoine72333522018-05-03 16:40:24 +0200139 mbedtls_ssl_ticket_write,
140 mbedtls_ssl_ticket_parse,
Gilles Peskine449bd832023-01-11 14:50:10 +0100141 &ticket_ctx);
Philippe Antoine72333522018-05-03 16:40:24 +0200142 }
143#endif
Philippe Antoine72333522018-05-03 16:40:24 +0200144#if defined(MBEDTLS_SSL_EXTENDED_MASTER_SECRET)
Gilles Peskine449bd832023-01-11 14:50:10 +0100145 mbedtls_ssl_conf_extended_master_secret(&conf,
146 (options &
147 0x10) ? MBEDTLS_SSL_EXTENDED_MS_DISABLED : MBEDTLS_SSL_EXTENDED_MS_ENABLED);
Philippe Antoine72333522018-05-03 16:40:24 +0200148#endif
149#if defined(MBEDTLS_SSL_ENCRYPT_THEN_MAC)
Gilles Peskine449bd832023-01-11 14:50:10 +0100150 mbedtls_ssl_conf_encrypt_then_mac(&conf,
151 (options &
152 0x20) ? MBEDTLS_SSL_ETM_ENABLED : MBEDTLS_SSL_ETM_DISABLED);
Philippe Antoine72333522018-05-03 16:40:24 +0200153#endif
Gilles Peskineeccd8882020-03-10 12:19:08 +0100154#if defined(MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED)
Philippe Antoine72333522018-05-03 16:40:24 +0200155 if (options & 0x40) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100156 mbedtls_ssl_conf_psk(&conf, psk, sizeof(psk),
157 (const unsigned char *) psk_id, sizeof(psk_id) - 1);
Philippe Antoine72333522018-05-03 16:40:24 +0200158 }
159#endif
160#if defined(MBEDTLS_SSL_RENEGOTIATION)
Gilles Peskine449bd832023-01-11 14:50:10 +0100161 mbedtls_ssl_conf_renegotiation(&conf,
162 (options &
163 0x80) ? MBEDTLS_SSL_RENEGOTIATION_ENABLED : MBEDTLS_SSL_RENEGOTIATION_DISABLED);
Philippe Antoine72333522018-05-03 16:40:24 +0200164#endif
165
Gilles Peskine449bd832023-01-11 14:50:10 +0100166 if (mbedtls_ssl_setup(&ssl, &conf) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200167 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100168 }
Philippe Antoine72333522018-05-03 16:40:24 +0200169
170 biomemfuzz.Data = Data;
171 biomemfuzz.Size = Size-1;
172 biomemfuzz.Offset = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100173 mbedtls_ssl_set_bio(&ssl, &biomemfuzz, dummy_send, fuzz_recv, NULL);
Philippe Antoine72333522018-05-03 16:40:24 +0200174
Gilles Peskine449bd832023-01-11 14:50:10 +0100175 mbedtls_ssl_session_reset(&ssl);
176 ret = mbedtls_ssl_handshake(&ssl);
177 if (ret == 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200178 //keep reading data from server until the end
Gilles Peskine449bd832023-01-11 14:50:10 +0100179 do {
180 len = sizeof(buf) - 1;
181 ret = mbedtls_ssl_read(&ssl, buf, len);
Philippe Antoine72333522018-05-03 16:40:24 +0200182
Gilles Peskine449bd832023-01-11 14:50:10 +0100183 if (ret == MBEDTLS_ERR_SSL_WANT_READ) {
Philippe Antoine72333522018-05-03 16:40:24 +0200184 continue;
Gilles Peskine449bd832023-01-11 14:50:10 +0100185 } else if (ret <= 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200186 //EOF or error
187 break;
Gilles Peskine449bd832023-01-11 14:50:10 +0100188 }
189 } while (1);
Philippe Antoine72333522018-05-03 16:40:24 +0200190 }
191
192exit:
Przemek Stekiel68a01a62022-10-10 11:31:58 +0200193#if defined(MBEDTLS_SSL_SESSION_TICKETS) && defined(MBEDTLS_SSL_TICKET_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100194 mbedtls_ssl_ticket_free(&ticket_ctx);
Ben Taylor44703e42025-07-23 09:15:14 +0100195#endif /* MBEDTLS_SSL_SESSION_TICKETS && MBEDTLS_SSL_TICKET_C */
Gilles Peskine449bd832023-01-11 14:50:10 +0100196 mbedtls_entropy_free(&entropy);
197 mbedtls_ctr_drbg_free(&ctr_drbg);
198 mbedtls_ssl_config_free(&conf);
Przemek Stekiel774f9de2023-04-19 11:47:01 +0200199#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
200 mbedtls_x509_crt_free(&srvcert);
201 mbedtls_pk_free(&pkey);
Ben Taylord5b655a2025-07-22 14:47:28 +0100202#endif /* MBEDTLS_X509_CRT_PARSE_C && MBEDTLS_PEM_PARSE_C */
Gilles Peskine449bd832023-01-11 14:50:10 +0100203 mbedtls_ssl_free(&ssl);
Przemek Stekiel774f9de2023-04-19 11:47:01 +0200204 mbedtls_psa_crypto_free();
Ben Taylor4bb98be2025-05-07 14:21:20 +0100205#else /* MBEDTLS_SSL_SRV_C && MBEDTLS_ENTROPY_C && MBEDTLS_CTR_DRBG_C */
Philippe Antoinec32fd242019-06-06 09:12:53 +0200206 (void) Data;
207 (void) Size;
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +0200208#endif /* MBEDTLS_SSL_SRV_C && MBEDTLS_ENTROPY_C && MBEDTLS_CTR_DRBG_C */
Philippe Antoinec32fd242019-06-06 09:12:53 +0200209
Philippe Antoine72333522018-05-03 16:40:24 +0200210 return 0;
211}