blob: 007838565321f51f99194d88da6d9736f2790248 [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"
Andrzej Kurekeabeb302022-10-17 07:52:51 -040014#include "mbedtls/legacy_or_psa.h"
Philippe Antoine72333522018-05-03 16:40:24 +020015
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +020016#if defined(MBEDTLS_SSL_SRV_C) && \
17 defined(MBEDTLS_ENTROPY_C) && \
18 defined(MBEDTLS_CTR_DRBG_C) && \
Andrzej Kurekeabeb302022-10-17 07:52:51 -040019 defined(MBEDTLS_TIMING_C) && \
Gilles Peskine449bd832023-01-11 14:50:10 +010020 (defined(MBEDTLS_HAS_ALG_SHA_384_VIA_MD_OR_PSA_BASED_ON_USE_PSA) || \
21 defined(MBEDTLS_HAS_ALG_SHA_256_VIA_MD_OR_PSA_BASED_ON_USE_PSA))
Philippe Antoine72333522018-05-03 16:40:24 +020022const char *pers = "fuzz_dtlsserver";
Gilles Peskine449bd832023-01-11 14:50:10 +010023const unsigned char client_ip[4] = { 0x7F, 0, 0, 1 };
Philippe Antoine42a2ce82019-07-10 14:26:31 +020024static int initialized = 0;
Philippe Antoinedaab28a2019-06-28 12:31:23 +020025#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Philippe Antoine72333522018-05-03 16:40:24 +020026static mbedtls_x509_crt srvcert;
27static mbedtls_pk_context pkey;
28#endif
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +020029#endif
Philippe Antoineadc23e62019-06-25 21:53:12 +020030#endif // MBEDTLS_SSL_PROTO_DTLS
Philippe Antoine72333522018-05-03 16:40:24 +020031
Gilles Peskine449bd832023-01-11 14:50:10 +010032int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size)
33{
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +020034#if defined(MBEDTLS_SSL_PROTO_DTLS) && \
35 defined(MBEDTLS_SSL_SRV_C) && \
36 defined(MBEDTLS_ENTROPY_C) && \
37 defined(MBEDTLS_CTR_DRBG_C) && \
Andrzej Kurekeabeb302022-10-17 07:52:51 -040038 defined(MBEDTLS_TIMING_C) && \
Gilles Peskine449bd832023-01-11 14:50:10 +010039 (defined(MBEDTLS_HAS_ALG_SHA_384_VIA_MD_OR_PSA_BASED_ON_USE_PSA) || \
40 defined(MBEDTLS_HAS_ALG_SHA_256_VIA_MD_OR_PSA_BASED_ON_USE_PSA))
Philippe Antoine72333522018-05-03 16:40:24 +020041 int ret;
42 size_t len;
43 mbedtls_ssl_context ssl;
44 mbedtls_ssl_config conf;
45 mbedtls_ctr_drbg_context ctr_drbg;
46 mbedtls_entropy_context entropy;
47 mbedtls_timing_delay_context timer;
48 mbedtls_ssl_cookie_ctx cookie_ctx;
49 unsigned char buf[4096];
50 fuzzBufferOffset_t biomemfuzz;
51
Gilles Peskine449bd832023-01-11 14:50:10 +010052 mbedtls_ctr_drbg_init(&ctr_drbg);
53 mbedtls_entropy_init(&entropy);
Paul Elliottbb016812022-02-14 15:57:11 +000054
Gilles Peskine449bd832023-01-11 14:50:10 +010055 if (mbedtls_ctr_drbg_seed(&ctr_drbg, dummy_entropy, &entropy,
56 (const unsigned char *) pers, strlen(pers)) != 0) {
Paul Elliottbb016812022-02-14 15:57:11 +000057 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +010058 }
Paul Elliottbb016812022-02-14 15:57:11 +000059
Philippe Antoine72333522018-05-03 16:40:24 +020060 if (initialized == 0) {
Philippe Antoinedaab28a2019-06-28 12:31:23 +020061#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +010062 mbedtls_x509_crt_init(&srvcert);
63 mbedtls_pk_init(&pkey);
64 if (mbedtls_x509_crt_parse(&srvcert, (const unsigned char *) mbedtls_test_srv_crt,
65 mbedtls_test_srv_crt_len) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020066 return 1;
Gilles Peskine449bd832023-01-11 14:50:10 +010067 }
68 if (mbedtls_x509_crt_parse(&srvcert, (const unsigned char *) mbedtls_test_cas_pem,
69 mbedtls_test_cas_pem_len) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020070 return 1;
Gilles Peskine449bd832023-01-11 14:50:10 +010071 }
72 if (mbedtls_pk_parse_key(&pkey, (const unsigned char *) mbedtls_test_srv_key,
Manuel Pégourié-Gonnard84dea012021-06-15 11:29:26 +020073 mbedtls_test_srv_key_len, NULL, 0,
Gilles Peskine449bd832023-01-11 14:50:10 +010074 dummy_random, &ctr_drbg) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020075 return 1;
Gilles Peskine449bd832023-01-11 14:50:10 +010076 }
Philippe Antoine72333522018-05-03 16:40:24 +020077#endif
Philippe Antoine08633822019-06-04 14:03:06 +020078 dummy_init();
79
Philippe Antoine72333522018-05-03 16:40:24 +020080 initialized = 1;
81 }
Gilles Peskine449bd832023-01-11 14:50:10 +010082 mbedtls_ssl_init(&ssl);
83 mbedtls_ssl_config_init(&conf);
84 mbedtls_ssl_cookie_init(&cookie_ctx);
Philippe Antoine72333522018-05-03 16:40:24 +020085
Gilles Peskine449bd832023-01-11 14:50:10 +010086 if (mbedtls_ssl_config_defaults(&conf,
Philippe Antoine72333522018-05-03 16:40:24 +020087 MBEDTLS_SSL_IS_SERVER,
88 MBEDTLS_SSL_TRANSPORT_DATAGRAM,
Gilles Peskine449bd832023-01-11 14:50:10 +010089 MBEDTLS_SSL_PRESET_DEFAULT) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020090 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +010091 }
Philippe Antoine72333522018-05-03 16:40:24 +020092
93
Philippe Antoine2b7c9a22019-06-04 12:05:36 +020094 srand(1);
Gilles Peskine449bd832023-01-11 14:50:10 +010095 mbedtls_ssl_conf_rng(&conf, dummy_random, &ctr_drbg);
Philippe Antoine72333522018-05-03 16:40:24 +020096
Philippe Antoinedaab28a2019-06-28 12:31:23 +020097#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +010098 mbedtls_ssl_conf_ca_chain(&conf, srvcert.next, NULL);
99 if (mbedtls_ssl_conf_own_cert(&conf, &srvcert, &pkey) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200100 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100101 }
Philippe Antoine72333522018-05-03 16:40:24 +0200102#endif
103
Gilles Peskine449bd832023-01-11 14:50:10 +0100104 if (mbedtls_ssl_cookie_setup(&cookie_ctx, dummy_random, &ctr_drbg) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200105 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100106 }
Philippe Antoine72333522018-05-03 16:40:24 +0200107
Gilles Peskine449bd832023-01-11 14:50:10 +0100108 mbedtls_ssl_conf_dtls_cookies(&conf,
109 mbedtls_ssl_cookie_write,
110 mbedtls_ssl_cookie_check,
111 &cookie_ctx);
Philippe Antoine72333522018-05-03 16:40:24 +0200112
Gilles Peskine449bd832023-01-11 14:50:10 +0100113 if (mbedtls_ssl_setup(&ssl, &conf) != 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_set_timer_cb(&ssl, &timer, mbedtls_timing_set_delay,
118 mbedtls_timing_get_delay);
Philippe Antoine72333522018-05-03 16:40:24 +0200119
120 biomemfuzz.Data = Data;
121 biomemfuzz.Size = Size;
122 biomemfuzz.Offset = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100123 mbedtls_ssl_set_bio(&ssl, &biomemfuzz, dummy_send, fuzz_recv, fuzz_recv_timeout);
124 if (mbedtls_ssl_set_client_transport_id(&ssl, client_ip, sizeof(client_ip)) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200125 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100126 }
Philippe Antoine72333522018-05-03 16:40:24 +0200127
Gilles Peskine449bd832023-01-11 14:50:10 +0100128 ret = mbedtls_ssl_handshake(&ssl);
Philippe Antoine72333522018-05-03 16:40:24 +0200129
130 if (ret == MBEDTLS_ERR_SSL_HELLO_VERIFY_REQUIRED) {
131 biomemfuzz.Offset = ssl.next_record_offset;
Gilles Peskine449bd832023-01-11 14:50:10 +0100132 mbedtls_ssl_session_reset(&ssl);
133 mbedtls_ssl_set_bio(&ssl, &biomemfuzz, dummy_send, fuzz_recv, fuzz_recv_timeout);
134 if (mbedtls_ssl_set_client_transport_id(&ssl, client_ip, sizeof(client_ip)) != 0) {
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 ret = mbedtls_ssl_handshake(&ssl);
Philippe Antoine72333522018-05-03 16:40:24 +0200139
Gilles Peskine449bd832023-01-11 14:50:10 +0100140 if (ret == 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200141 //keep reading data from server until the end
Gilles Peskine449bd832023-01-11 14:50:10 +0100142 do {
143 len = sizeof(buf) - 1;
144 ret = mbedtls_ssl_read(&ssl, buf, len);
145 if (ret == MBEDTLS_ERR_SSL_WANT_READ) {
Philippe Antoine72333522018-05-03 16:40:24 +0200146 continue;
Gilles Peskine449bd832023-01-11 14:50:10 +0100147 } else if (ret <= 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200148 //EOF or error
149 break;
Gilles Peskine449bd832023-01-11 14:50:10 +0100150 }
151 } while (1);
Philippe Antoine72333522018-05-03 16:40:24 +0200152 }
153 }
154
155exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100156 mbedtls_ssl_cookie_free(&cookie_ctx);
157 mbedtls_entropy_free(&entropy);
158 mbedtls_ctr_drbg_free(&ctr_drbg);
159 mbedtls_ssl_config_free(&conf);
160 mbedtls_ssl_free(&ssl);
Philippe Antoine72333522018-05-03 16:40:24 +0200161
162#else
163 (void) Data;
164 (void) Size;
165#endif
166 return 0;
167}