blob: e161d7ee9e4d182da8ca53eb311439ed9fd5b24b [file] [log] [blame]
Philippe Antoine72333522018-05-03 16:40:24 +02001#include "mbedtls/ssl.h"
2#include "mbedtls/entropy.h"
3#include "mbedtls/ctr_drbg.h"
4#include "mbedtls/certs.h"
5#include "mbedtls/ssl_ticket.h"
Philippe Antoine08633822019-06-04 14:03:06 +02006#include "common.h"
Philippe Antoine72333522018-05-03 16:40:24 +02007#include <string.h>
8#include <stdlib.h>
Philippe Antoine72333522018-05-03 16:40:24 +02009#include <stdint.h>
10
11
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +020012#if defined(MBEDTLS_SSL_SRV_C) && \
13 defined(MBEDTLS_ENTROPY_C) && \
14 defined(MBEDTLS_CTR_DRBG_C)
Philippe Antoine72333522018-05-03 16:40:24 +020015const char *pers = "fuzz_server";
Philippe Antoine42a2ce82019-07-10 14:26:31 +020016static int initialized = 0;
Philippe Antoinedaab28a2019-06-28 12:31:23 +020017#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Philippe Antoine72333522018-05-03 16:40:24 +020018static mbedtls_x509_crt srvcert;
19static mbedtls_pk_context pkey;
20#endif
21const char *alpn_list[3];
22
Gilles Peskineeccd8882020-03-10 12:19:08 +010023#if defined(MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED)
Philippe Antoine72333522018-05-03 16:40:24 +020024const unsigned char psk[] = {
25 0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
26 0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f
27};
28const char psk_id[] = "Client_identity";
29#endif
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +020030#endif // MBEDTLS_SSL_SRV_C && MBEDTLS_ENTROPY_C && MBEDTLS_CTR_DRBG_C
Philippe Antoine72333522018-05-03 16:40:24 +020031
32
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010033int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size)
34{
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +020035#if defined(MBEDTLS_SSL_SRV_C) && \
36 defined(MBEDTLS_ENTROPY_C) && \
37 defined(MBEDTLS_CTR_DRBG_C)
Philippe Antoine72333522018-05-03 16:40:24 +020038 int ret;
39 size_t len;
40 mbedtls_ssl_context ssl;
41 mbedtls_ssl_config conf;
42 mbedtls_ctr_drbg_context ctr_drbg;
43 mbedtls_entropy_context entropy;
Przemek Stekiel7aca4e42022-10-10 14:14:13 +020044#if defined(MBEDTLS_SSL_SESSION_TICKETS) && defined(MBEDTLS_SSL_TICKET_C)
Philippe Antoine72333522018-05-03 16:40:24 +020045 mbedtls_ssl_ticket_context ticket_ctx;
46#endif
47 unsigned char buf[4096];
48 fuzzBufferOffset_t biomemfuzz;
49 uint8_t options;
50
51 //we take 1 byte as options input
52 if (Size < 1) {
53 return 0;
54 }
55 options = Data[Size - 1];
56
57 if (initialized == 0) {
Gilles Peskine90420aa2023-02-01 18:20:16 +010058#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C) && \
59 defined(MBEDTLS_CERTS_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010060 mbedtls_x509_crt_init(&srvcert);
61 mbedtls_pk_init(&pkey);
62 if (mbedtls_x509_crt_parse(&srvcert, (const unsigned char *) mbedtls_test_srv_crt,
63 mbedtls_test_srv_crt_len) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020064 return 1;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010065 }
66 if (mbedtls_x509_crt_parse(&srvcert, (const unsigned char *) mbedtls_test_cas_pem,
67 mbedtls_test_cas_pem_len) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020068 return 1;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010069 }
70 if (mbedtls_pk_parse_key(&pkey, (const unsigned char *) mbedtls_test_srv_key,
71 mbedtls_test_srv_key_len, NULL, 0) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020072 return 1;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010073 }
Philippe Antoine72333522018-05-03 16:40:24 +020074#endif
75
76 alpn_list[0] = "HTTP";
77 alpn_list[1] = "fuzzalpn";
78 alpn_list[2] = NULL;
79
Philippe Antoine08633822019-06-04 14:03:06 +020080 dummy_init();
81
Philippe Antoine72333522018-05-03 16:40:24 +020082 initialized = 1;
83 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010084 mbedtls_ssl_init(&ssl);
85 mbedtls_ssl_config_init(&conf);
86 mbedtls_ctr_drbg_init(&ctr_drbg);
87 mbedtls_entropy_init(&entropy);
Przemek Stekiel7aca4e42022-10-10 14:14:13 +020088#if defined(MBEDTLS_SSL_SESSION_TICKETS) && defined(MBEDTLS_SSL_TICKET_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010089 mbedtls_ssl_ticket_init(&ticket_ctx);
Philippe Antoine72333522018-05-03 16:40:24 +020090#endif
91
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010092 if (mbedtls_ctr_drbg_seed(&ctr_drbg, dummy_entropy, &entropy,
93 (const unsigned char *) pers, strlen(pers)) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020094 goto exit;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010095 }
Philippe Antoine72333522018-05-03 16:40:24 +020096
97
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010098 if (mbedtls_ssl_config_defaults(&conf,
Philippe Antoine72333522018-05-03 16:40:24 +020099 MBEDTLS_SSL_IS_SERVER,
100 MBEDTLS_SSL_TRANSPORT_STREAM,
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100101 MBEDTLS_SSL_PRESET_DEFAULT) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200102 goto exit;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100103 }
Philippe Antoine72333522018-05-03 16:40:24 +0200104
Philippe Antoine2b7c9a22019-06-04 12:05:36 +0200105 srand(1);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100106 mbedtls_ssl_conf_rng(&conf, dummy_random, &ctr_drbg);
Philippe Antoine72333522018-05-03 16:40:24 +0200107
Philippe Antoinedaab28a2019-06-28 12:31:23 +0200108#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100109 mbedtls_ssl_conf_ca_chain(&conf, srvcert.next, NULL);
110 if (mbedtls_ssl_conf_own_cert(&conf, &srvcert, &pkey) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200111 goto exit;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100112 }
Philippe Antoine72333522018-05-03 16:40:24 +0200113#endif
114
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100115 mbedtls_ssl_conf_cert_req_ca_list(&conf,
116 (options &
117 0x1) ? MBEDTLS_SSL_CERT_REQ_CA_LIST_ENABLED : MBEDTLS_SSL_CERT_REQ_CA_LIST_DISABLED);
Philippe Antoine72333522018-05-03 16:40:24 +0200118#if defined(MBEDTLS_SSL_ALPN)
119 if (options & 0x2) {
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100120 mbedtls_ssl_conf_alpn_protocols(&conf, alpn_list);
Philippe Antoine72333522018-05-03 16:40:24 +0200121 }
122#endif
Przemek Stekiel7aca4e42022-10-10 14:14:13 +0200123#if defined(MBEDTLS_SSL_SESSION_TICKETS) && defined(MBEDTLS_SSL_TICKET_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100124 if (options & 0x4) {
125 if (mbedtls_ssl_ticket_setup(&ticket_ctx,
Philippe Antoine72333522018-05-03 16:40:24 +0200126 dummy_random, &ctr_drbg,
127 MBEDTLS_CIPHER_AES_256_GCM,
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100128 86400) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200129 goto exit;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100130 }
Philippe Antoine72333522018-05-03 16:40:24 +0200131
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100132 mbedtls_ssl_conf_session_tickets_cb(&conf,
Philippe Antoine72333522018-05-03 16:40:24 +0200133 mbedtls_ssl_ticket_write,
134 mbedtls_ssl_ticket_parse,
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100135 &ticket_ctx);
Philippe Antoine72333522018-05-03 16:40:24 +0200136 }
137#endif
138#if defined(MBEDTLS_SSL_TRUNCATED_HMAC)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100139 mbedtls_ssl_conf_truncated_hmac(&conf,
140 (options &
141 0x8) ? MBEDTLS_SSL_TRUNC_HMAC_ENABLED : MBEDTLS_SSL_TRUNC_HMAC_DISABLED);
Philippe Antoine72333522018-05-03 16:40:24 +0200142#endif
143#if defined(MBEDTLS_SSL_EXTENDED_MASTER_SECRET)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100144 mbedtls_ssl_conf_extended_master_secret(&conf,
145 (options &
146 0x10) ? MBEDTLS_SSL_EXTENDED_MS_DISABLED : MBEDTLS_SSL_EXTENDED_MS_ENABLED);
Philippe Antoine72333522018-05-03 16:40:24 +0200147#endif
148#if defined(MBEDTLS_SSL_ENCRYPT_THEN_MAC)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100149 mbedtls_ssl_conf_encrypt_then_mac(&conf,
150 (options &
151 0x20) ? MBEDTLS_SSL_ETM_ENABLED : MBEDTLS_SSL_ETM_DISABLED);
Philippe Antoine72333522018-05-03 16:40:24 +0200152#endif
Gilles Peskineeccd8882020-03-10 12:19:08 +0100153#if defined(MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED)
Philippe Antoine72333522018-05-03 16:40:24 +0200154 if (options & 0x40) {
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100155 mbedtls_ssl_conf_psk(&conf, psk, sizeof(psk),
156 (const unsigned char *) psk_id, sizeof(psk_id) - 1);
Philippe Antoine72333522018-05-03 16:40:24 +0200157 }
158#endif
159#if defined(MBEDTLS_SSL_RENEGOTIATION)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100160 mbedtls_ssl_conf_renegotiation(&conf,
161 (options &
162 0x80) ? MBEDTLS_SSL_RENEGOTIATION_ENABLED : MBEDTLS_SSL_RENEGOTIATION_DISABLED);
Philippe Antoine72333522018-05-03 16:40:24 +0200163#endif
164
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100165 if (mbedtls_ssl_setup(&ssl, &conf) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200166 goto exit;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100167 }
Philippe Antoine72333522018-05-03 16:40:24 +0200168
169 biomemfuzz.Data = Data;
170 biomemfuzz.Size = Size-1;
171 biomemfuzz.Offset = 0;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100172 mbedtls_ssl_set_bio(&ssl, &biomemfuzz, dummy_send, fuzz_recv, NULL);
Philippe Antoine72333522018-05-03 16:40:24 +0200173
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100174 mbedtls_ssl_session_reset(&ssl);
175 ret = mbedtls_ssl_handshake(&ssl);
176 if (ret == 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200177 //keep reading data from server until the end
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100178 do {
179 len = sizeof(buf) - 1;
180 ret = mbedtls_ssl_read(&ssl, buf, len);
Philippe Antoine72333522018-05-03 16:40:24 +0200181
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100182 if (ret == MBEDTLS_ERR_SSL_WANT_READ) {
Philippe Antoine72333522018-05-03 16:40:24 +0200183 continue;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100184 } else if (ret <= 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200185 //EOF or error
186 break;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100187 }
188 } while (1);
Philippe Antoine72333522018-05-03 16:40:24 +0200189 }
190
191exit:
Przemek Stekiel7aca4e42022-10-10 14:14:13 +0200192#if defined(MBEDTLS_SSL_SESSION_TICKETS) && defined(MBEDTLS_SSL_TICKET_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100193 mbedtls_ssl_ticket_free(&ticket_ctx);
Philippe Antoine72333522018-05-03 16:40:24 +0200194#endif
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100195 mbedtls_entropy_free(&entropy);
196 mbedtls_ctr_drbg_free(&ctr_drbg);
197 mbedtls_ssl_config_free(&conf);
198 mbedtls_ssl_free(&ssl);
Philippe Antoine72333522018-05-03 16:40:24 +0200199
Philippe Antoinec32fd242019-06-06 09:12:53 +0200200#else
201 (void) Data;
202 (void) Size;
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +0200203#endif /* MBEDTLS_SSL_SRV_C && MBEDTLS_ENTROPY_C && MBEDTLS_CTR_DRBG_C */
Philippe Antoinec32fd242019-06-06 09:12:53 +0200204
Philippe Antoine72333522018-05-03 16:40:24 +0200205 return 0;
206}