blob: bda8c77e11250cc861e5b2eb31bbcfb0e0a83e29 [file] [log] [blame]
Mateusz Starzyk6c2e9b62021-05-19 17:54:54 +02001#define MBEDTLS_ALLOW_PRIVATE_ACCESS
2
Philippe Antoine72333522018-05-03 16:40:24 +02003#include <string.h>
4#include <stdlib.h>
Philippe Antoine72333522018-05-03 16:40:24 +02005#include <stdint.h>
Philippe Antoine08633822019-06-04 14:03:06 +02006#include "common.h"
Philippe Antoine72333522018-05-03 16:40:24 +02007#include "mbedtls/ssl.h"
Mateusz Starzyk1aec6462021-02-08 15:34:42 +01008#include "test/certs.h"
Philippe Antoine72333522018-05-03 16:40:24 +02009#if defined(MBEDTLS_SSL_PROTO_DTLS)
10#include "mbedtls/entropy.h"
11#include "mbedtls/ctr_drbg.h"
Philippe Antoine72333522018-05-03 16:40:24 +020012#include "mbedtls/timing.h"
13#include "mbedtls/ssl_cookie.h"
Philippe Antoine72333522018-05-03 16:40:24 +020014
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +020015#if defined(MBEDTLS_SSL_SRV_C) && \
16 defined(MBEDTLS_ENTROPY_C) && \
17 defined(MBEDTLS_CTR_DRBG_C) && \
Andrzej Kurekeabeb302022-10-17 07:52:51 -040018 defined(MBEDTLS_TIMING_C) && \
Manuel Pégourié-Gonnardbef824d2023-03-17 12:50:01 +010019 (defined(MBEDTLS_MD_CAN_SHA384) || \
20 defined(MBEDTLS_MD_CAN_SHA256))
Philippe Antoine72333522018-05-03 16:40:24 +020021const char *pers = "fuzz_dtlsserver";
Gilles Peskine449bd832023-01-11 14:50:10 +010022const unsigned char client_ip[4] = { 0x7F, 0, 0, 1 };
Philippe Antoine42a2ce82019-07-10 14:26:31 +020023static int initialized = 0;
Philippe Antoinedaab28a2019-06-28 12:31:23 +020024#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Philippe Antoine72333522018-05-03 16:40:24 +020025static mbedtls_x509_crt srvcert;
26static mbedtls_pk_context pkey;
27#endif
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +020028#endif
Philippe Antoineadc23e62019-06-25 21:53:12 +020029#endif // MBEDTLS_SSL_PROTO_DTLS
Philippe Antoine72333522018-05-03 16:40:24 +020030
Gilles Peskine449bd832023-01-11 14:50:10 +010031int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size)
32{
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +020033#if defined(MBEDTLS_SSL_PROTO_DTLS) && \
34 defined(MBEDTLS_SSL_SRV_C) && \
35 defined(MBEDTLS_ENTROPY_C) && \
36 defined(MBEDTLS_CTR_DRBG_C) && \
Andrzej Kurekeabeb302022-10-17 07:52:51 -040037 defined(MBEDTLS_TIMING_C) && \
Manuel Pégourié-Gonnardbef824d2023-03-17 12:50:01 +010038 (defined(MBEDTLS_MD_CAN_SHA384) || \
39 defined(MBEDTLS_MD_CAN_SHA256))
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;
46 mbedtls_timing_delay_context timer;
47 mbedtls_ssl_cookie_ctx cookie_ctx;
48 unsigned char buf[4096];
49 fuzzBufferOffset_t biomemfuzz;
50
Gilles Peskine449bd832023-01-11 14:50:10 +010051 mbedtls_ctr_drbg_init(&ctr_drbg);
52 mbedtls_entropy_init(&entropy);
Przemek Stekiel774f9de2023-04-19 11:47:01 +020053#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
54 mbedtls_x509_crt_init(&srvcert);
55 mbedtls_pk_init(&pkey);
56#endif
57 mbedtls_ssl_init(&ssl);
58 mbedtls_ssl_config_init(&conf);
59 mbedtls_ssl_cookie_init(&cookie_ctx);
60
61#if defined(MBEDTLS_USE_PSA_CRYPTO)
62 psa_status_t status = psa_crypto_init();
63 if (status != PSA_SUCCESS) {
64 goto exit;
65 }
66#endif /* MBEDTLS_USE_PSA_CRYPTO */
Paul Elliottbb016812022-02-14 15:57:11 +000067
Gilles Peskine449bd832023-01-11 14:50:10 +010068 if (mbedtls_ctr_drbg_seed(&ctr_drbg, dummy_entropy, &entropy,
69 (const unsigned char *) pers, strlen(pers)) != 0) {
Paul Elliottbb016812022-02-14 15:57:11 +000070 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +010071 }
Paul Elliottbb016812022-02-14 15:57:11 +000072
Philippe Antoine72333522018-05-03 16:40:24 +020073 if (initialized == 0) {
Philippe Antoinedaab28a2019-06-28 12:31:23 +020074#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Przemek Stekiel774f9de2023-04-19 11:47:01 +020075
Gilles Peskine449bd832023-01-11 14:50:10 +010076 if (mbedtls_x509_crt_parse(&srvcert, (const unsigned char *) mbedtls_test_srv_crt,
77 mbedtls_test_srv_crt_len) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020078 return 1;
Gilles Peskine449bd832023-01-11 14:50:10 +010079 }
80 if (mbedtls_x509_crt_parse(&srvcert, (const unsigned char *) mbedtls_test_cas_pem,
81 mbedtls_test_cas_pem_len) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020082 return 1;
Gilles Peskine449bd832023-01-11 14:50:10 +010083 }
84 if (mbedtls_pk_parse_key(&pkey, (const unsigned char *) mbedtls_test_srv_key,
Manuel Pégourié-Gonnard84dea012021-06-15 11:29:26 +020085 mbedtls_test_srv_key_len, NULL, 0,
Gilles Peskine449bd832023-01-11 14:50:10 +010086 dummy_random, &ctr_drbg) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020087 return 1;
Gilles Peskine449bd832023-01-11 14:50:10 +010088 }
Philippe Antoine72333522018-05-03 16:40:24 +020089#endif
Philippe Antoine08633822019-06-04 14:03:06 +020090 dummy_init();
91
Philippe Antoine72333522018-05-03 16:40:24 +020092 initialized = 1;
93 }
Philippe Antoine72333522018-05-03 16:40:24 +020094
Gilles Peskine449bd832023-01-11 14:50:10 +010095 if (mbedtls_ssl_config_defaults(&conf,
Philippe Antoine72333522018-05-03 16:40:24 +020096 MBEDTLS_SSL_IS_SERVER,
97 MBEDTLS_SSL_TRANSPORT_DATAGRAM,
Gilles Peskine449bd832023-01-11 14:50:10 +010098 MBEDTLS_SSL_PRESET_DEFAULT) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020099 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100100 }
Philippe Antoine72333522018-05-03 16:40:24 +0200101
102
Philippe Antoine2b7c9a22019-06-04 12:05:36 +0200103 srand(1);
Gilles Peskine449bd832023-01-11 14:50:10 +0100104 mbedtls_ssl_conf_rng(&conf, dummy_random, &ctr_drbg);
Philippe Antoine72333522018-05-03 16:40:24 +0200105
Philippe Antoinedaab28a2019-06-28 12:31:23 +0200106#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100107 mbedtls_ssl_conf_ca_chain(&conf, srvcert.next, NULL);
108 if (mbedtls_ssl_conf_own_cert(&conf, &srvcert, &pkey) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200109 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100110 }
Philippe Antoine72333522018-05-03 16:40:24 +0200111#endif
112
Gilles Peskine449bd832023-01-11 14:50:10 +0100113 if (mbedtls_ssl_cookie_setup(&cookie_ctx, dummy_random, &ctr_drbg) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200114 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100115 }
Philippe Antoine72333522018-05-03 16:40:24 +0200116
Gilles Peskine449bd832023-01-11 14:50:10 +0100117 mbedtls_ssl_conf_dtls_cookies(&conf,
118 mbedtls_ssl_cookie_write,
119 mbedtls_ssl_cookie_check,
120 &cookie_ctx);
Philippe Antoine72333522018-05-03 16:40:24 +0200121
Gilles Peskine449bd832023-01-11 14:50:10 +0100122 if (mbedtls_ssl_setup(&ssl, &conf) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200123 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100124 }
Philippe Antoine72333522018-05-03 16:40:24 +0200125
Gilles Peskine449bd832023-01-11 14:50:10 +0100126 mbedtls_ssl_set_timer_cb(&ssl, &timer, mbedtls_timing_set_delay,
127 mbedtls_timing_get_delay);
Philippe Antoine72333522018-05-03 16:40:24 +0200128
129 biomemfuzz.Data = Data;
130 biomemfuzz.Size = Size;
131 biomemfuzz.Offset = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100132 mbedtls_ssl_set_bio(&ssl, &biomemfuzz, dummy_send, fuzz_recv, fuzz_recv_timeout);
133 if (mbedtls_ssl_set_client_transport_id(&ssl, client_ip, sizeof(client_ip)) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200134 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100135 }
Philippe Antoine72333522018-05-03 16:40:24 +0200136
Gilles Peskine449bd832023-01-11 14:50:10 +0100137 ret = mbedtls_ssl_handshake(&ssl);
Philippe Antoine72333522018-05-03 16:40:24 +0200138
139 if (ret == MBEDTLS_ERR_SSL_HELLO_VERIFY_REQUIRED) {
140 biomemfuzz.Offset = ssl.next_record_offset;
Gilles Peskine449bd832023-01-11 14:50:10 +0100141 mbedtls_ssl_session_reset(&ssl);
142 mbedtls_ssl_set_bio(&ssl, &biomemfuzz, dummy_send, fuzz_recv, fuzz_recv_timeout);
143 if (mbedtls_ssl_set_client_transport_id(&ssl, client_ip, sizeof(client_ip)) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200144 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100145 }
Philippe Antoine72333522018-05-03 16:40:24 +0200146
Gilles Peskine449bd832023-01-11 14:50:10 +0100147 ret = mbedtls_ssl_handshake(&ssl);
Philippe Antoine72333522018-05-03 16:40:24 +0200148
Gilles Peskine449bd832023-01-11 14:50:10 +0100149 if (ret == 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200150 //keep reading data from server until the end
Gilles Peskine449bd832023-01-11 14:50:10 +0100151 do {
152 len = sizeof(buf) - 1;
153 ret = mbedtls_ssl_read(&ssl, buf, len);
154 if (ret == MBEDTLS_ERR_SSL_WANT_READ) {
Philippe Antoine72333522018-05-03 16:40:24 +0200155 continue;
Gilles Peskine449bd832023-01-11 14:50:10 +0100156 } else if (ret <= 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200157 //EOF or error
158 break;
Gilles Peskine449bd832023-01-11 14:50:10 +0100159 }
160 } while (1);
Philippe Antoine72333522018-05-03 16:40:24 +0200161 }
162 }
163
164exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100165 mbedtls_ssl_cookie_free(&cookie_ctx);
166 mbedtls_entropy_free(&entropy);
Przemek Stekiel774f9de2023-04-19 11:47:01 +0200167#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
168 mbedtls_pk_free(&pkey);
169 mbedtls_x509_crt_free(&srvcert);
170#endif
Gilles Peskine449bd832023-01-11 14:50:10 +0100171 mbedtls_ctr_drbg_free(&ctr_drbg);
172 mbedtls_ssl_config_free(&conf);
173 mbedtls_ssl_free(&ssl);
Przemek Stekiel774f9de2023-04-19 11:47:01 +0200174 mbedtls_psa_crypto_free();
Philippe Antoine72333522018-05-03 16:40:24 +0200175
176#else
177 (void) Data;
178 (void) Size;
179#endif
180 return 0;
181}