blob: fd3e0aa9c782e4cdd924fdaaa1930ddbb1ee3f96 [file] [log] [blame]
Philippe Antoine72333522018-05-03 16:40:24 +02001#include <string.h>
2#include <stdlib.h>
Philippe Antoine72333522018-05-03 16:40:24 +02003#include <stdint.h>
Philippe Antoine08633822019-06-04 14:03:06 +02004#include "common.h"
Philippe Antoine72333522018-05-03 16:40:24 +02005#include "mbedtls/ssl.h"
Mateusz Starzyk1aec6462021-02-08 15:34:42 +01006#include "test/certs.h"
Philippe Antoine72333522018-05-03 16:40:24 +02007#if defined(MBEDTLS_SSL_PROTO_DTLS)
8#include "mbedtls/entropy.h"
9#include "mbedtls/ctr_drbg.h"
Philippe Antoine72333522018-05-03 16:40:24 +020010#include "mbedtls/timing.h"
11#include "mbedtls/ssl_cookie.h"
Philippe Antoine72333522018-05-03 16:40:24 +020012
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +020013#if defined(MBEDTLS_SSL_SRV_C) && \
14 defined(MBEDTLS_ENTROPY_C) && \
15 defined(MBEDTLS_CTR_DRBG_C) && \
Andrzej Kurekeabeb302022-10-17 07:52:51 -040016 defined(MBEDTLS_TIMING_C) && \
Manuel Pégourié-Gonnardbef824d2023-03-17 12:50:01 +010017 (defined(MBEDTLS_MD_CAN_SHA384) || \
18 defined(MBEDTLS_MD_CAN_SHA256))
Philippe Antoine72333522018-05-03 16:40:24 +020019const char *pers = "fuzz_dtlsserver";
Gilles Peskine449bd832023-01-11 14:50:10 +010020const unsigned char client_ip[4] = { 0x7F, 0, 0, 1 };
Philippe Antoine42a2ce82019-07-10 14:26:31 +020021static int initialized = 0;
Philippe Antoinedaab28a2019-06-28 12:31:23 +020022#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Philippe Antoine72333522018-05-03 16:40:24 +020023static mbedtls_x509_crt srvcert;
24static mbedtls_pk_context pkey;
25#endif
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +020026#endif
Philippe Antoineadc23e62019-06-25 21:53:12 +020027#endif // MBEDTLS_SSL_PROTO_DTLS
Philippe Antoine72333522018-05-03 16:40:24 +020028
Gilles Peskine449bd832023-01-11 14:50:10 +010029int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size)
30{
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +020031#if defined(MBEDTLS_SSL_PROTO_DTLS) && \
32 defined(MBEDTLS_SSL_SRV_C) && \
33 defined(MBEDTLS_ENTROPY_C) && \
34 defined(MBEDTLS_CTR_DRBG_C) && \
Andrzej Kurekeabeb302022-10-17 07:52:51 -040035 defined(MBEDTLS_TIMING_C) && \
Manuel Pégourié-Gonnardbef824d2023-03-17 12:50:01 +010036 (defined(MBEDTLS_MD_CAN_SHA384) || \
37 defined(MBEDTLS_MD_CAN_SHA256))
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;
44 mbedtls_timing_delay_context timer;
45 mbedtls_ssl_cookie_ctx cookie_ctx;
46 unsigned char buf[4096];
47 fuzzBufferOffset_t biomemfuzz;
48
Gilles Peskine449bd832023-01-11 14:50:10 +010049 mbedtls_ctr_drbg_init(&ctr_drbg);
50 mbedtls_entropy_init(&entropy);
Przemek Stekiel774f9de2023-04-19 11:47:01 +020051#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
52 mbedtls_x509_crt_init(&srvcert);
53 mbedtls_pk_init(&pkey);
54#endif
55 mbedtls_ssl_init(&ssl);
56 mbedtls_ssl_config_init(&conf);
57 mbedtls_ssl_cookie_init(&cookie_ctx);
58
59#if defined(MBEDTLS_USE_PSA_CRYPTO)
60 psa_status_t status = psa_crypto_init();
61 if (status != PSA_SUCCESS) {
62 goto exit;
63 }
64#endif /* MBEDTLS_USE_PSA_CRYPTO */
Paul Elliottbb016812022-02-14 15:57:11 +000065
Gilles Peskine449bd832023-01-11 14:50:10 +010066 if (mbedtls_ctr_drbg_seed(&ctr_drbg, dummy_entropy, &entropy,
67 (const unsigned char *) pers, strlen(pers)) != 0) {
Paul Elliottbb016812022-02-14 15:57:11 +000068 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +010069 }
Paul Elliottbb016812022-02-14 15:57:11 +000070
Philippe Antoine72333522018-05-03 16:40:24 +020071 if (initialized == 0) {
Philippe Antoinedaab28a2019-06-28 12:31:23 +020072#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Przemek Stekiel774f9de2023-04-19 11:47:01 +020073
Gilles Peskine449bd832023-01-11 14:50:10 +010074 if (mbedtls_x509_crt_parse(&srvcert, (const unsigned char *) mbedtls_test_srv_crt,
75 mbedtls_test_srv_crt_len) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020076 return 1;
Gilles Peskine449bd832023-01-11 14:50:10 +010077 }
78 if (mbedtls_x509_crt_parse(&srvcert, (const unsigned char *) mbedtls_test_cas_pem,
79 mbedtls_test_cas_pem_len) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020080 return 1;
Gilles Peskine449bd832023-01-11 14:50:10 +010081 }
82 if (mbedtls_pk_parse_key(&pkey, (const unsigned char *) mbedtls_test_srv_key,
Manuel Pégourié-Gonnard84dea012021-06-15 11:29:26 +020083 mbedtls_test_srv_key_len, NULL, 0,
Gilles Peskine449bd832023-01-11 14:50:10 +010084 dummy_random, &ctr_drbg) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020085 return 1;
Gilles Peskine449bd832023-01-11 14:50:10 +010086 }
Philippe Antoine72333522018-05-03 16:40:24 +020087#endif
Philippe Antoine08633822019-06-04 14:03:06 +020088 dummy_init();
89
Philippe Antoine72333522018-05-03 16:40:24 +020090 initialized = 1;
91 }
Philippe Antoine72333522018-05-03 16:40:24 +020092
Gilles Peskine449bd832023-01-11 14:50:10 +010093 if (mbedtls_ssl_config_defaults(&conf,
Philippe Antoine72333522018-05-03 16:40:24 +020094 MBEDTLS_SSL_IS_SERVER,
95 MBEDTLS_SSL_TRANSPORT_DATAGRAM,
Gilles Peskine449bd832023-01-11 14:50:10 +010096 MBEDTLS_SSL_PRESET_DEFAULT) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020097 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +010098 }
Philippe Antoine72333522018-05-03 16:40:24 +020099
100
Philippe Antoine2b7c9a22019-06-04 12:05:36 +0200101 srand(1);
Gilles Peskine449bd832023-01-11 14:50:10 +0100102 mbedtls_ssl_conf_rng(&conf, dummy_random, &ctr_drbg);
Philippe Antoine72333522018-05-03 16:40:24 +0200103
Philippe Antoinedaab28a2019-06-28 12:31:23 +0200104#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100105 mbedtls_ssl_conf_ca_chain(&conf, srvcert.next, NULL);
106 if (mbedtls_ssl_conf_own_cert(&conf, &srvcert, &pkey) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200107 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100108 }
Philippe Antoine72333522018-05-03 16:40:24 +0200109#endif
110
Gilles Peskine449bd832023-01-11 14:50:10 +0100111 if (mbedtls_ssl_cookie_setup(&cookie_ctx, dummy_random, &ctr_drbg) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200112 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100113 }
Philippe Antoine72333522018-05-03 16:40:24 +0200114
Gilles Peskine449bd832023-01-11 14:50:10 +0100115 mbedtls_ssl_conf_dtls_cookies(&conf,
116 mbedtls_ssl_cookie_write,
117 mbedtls_ssl_cookie_check,
118 &cookie_ctx);
Philippe Antoine72333522018-05-03 16:40:24 +0200119
Gilles Peskine449bd832023-01-11 14:50:10 +0100120 if (mbedtls_ssl_setup(&ssl, &conf) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200121 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100122 }
Philippe Antoine72333522018-05-03 16:40:24 +0200123
Gilles Peskine449bd832023-01-11 14:50:10 +0100124 mbedtls_ssl_set_timer_cb(&ssl, &timer, mbedtls_timing_set_delay,
125 mbedtls_timing_get_delay);
Philippe Antoine72333522018-05-03 16:40:24 +0200126
127 biomemfuzz.Data = Data;
128 biomemfuzz.Size = Size;
129 biomemfuzz.Offset = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100130 mbedtls_ssl_set_bio(&ssl, &biomemfuzz, dummy_send, fuzz_recv, fuzz_recv_timeout);
131 if (mbedtls_ssl_set_client_transport_id(&ssl, client_ip, sizeof(client_ip)) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200132 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100133 }
Philippe Antoine72333522018-05-03 16:40:24 +0200134
Gilles Peskine449bd832023-01-11 14:50:10 +0100135 ret = mbedtls_ssl_handshake(&ssl);
Philippe Antoine72333522018-05-03 16:40:24 +0200136
137 if (ret == MBEDTLS_ERR_SSL_HELLO_VERIFY_REQUIRED) {
Gilles Peskineabf0be32024-02-22 12:07:09 +0100138 biomemfuzz.Offset = ssl.MBEDTLS_PRIVATE(next_record_offset);
Gilles Peskine449bd832023-01-11 14:50:10 +0100139 mbedtls_ssl_session_reset(&ssl);
140 mbedtls_ssl_set_bio(&ssl, &biomemfuzz, dummy_send, fuzz_recv, fuzz_recv_timeout);
141 if (mbedtls_ssl_set_client_transport_id(&ssl, client_ip, sizeof(client_ip)) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200142 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100143 }
Philippe Antoine72333522018-05-03 16:40:24 +0200144
Gilles Peskine449bd832023-01-11 14:50:10 +0100145 ret = mbedtls_ssl_handshake(&ssl);
Philippe Antoine72333522018-05-03 16:40:24 +0200146
Gilles Peskine449bd832023-01-11 14:50:10 +0100147 if (ret == 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200148 //keep reading data from server until the end
Gilles Peskine449bd832023-01-11 14:50:10 +0100149 do {
150 len = sizeof(buf) - 1;
151 ret = mbedtls_ssl_read(&ssl, buf, len);
152 if (ret == MBEDTLS_ERR_SSL_WANT_READ) {
Philippe Antoine72333522018-05-03 16:40:24 +0200153 continue;
Gilles Peskine449bd832023-01-11 14:50:10 +0100154 } else if (ret <= 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200155 //EOF or error
156 break;
Gilles Peskine449bd832023-01-11 14:50:10 +0100157 }
158 } while (1);
Philippe Antoine72333522018-05-03 16:40:24 +0200159 }
160 }
161
162exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100163 mbedtls_ssl_cookie_free(&cookie_ctx);
164 mbedtls_entropy_free(&entropy);
Przemek Stekiel774f9de2023-04-19 11:47:01 +0200165#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
166 mbedtls_pk_free(&pkey);
167 mbedtls_x509_crt_free(&srvcert);
168#endif
Gilles Peskine449bd832023-01-11 14:50:10 +0100169 mbedtls_ctr_drbg_free(&ctr_drbg);
170 mbedtls_ssl_config_free(&conf);
171 mbedtls_ssl_free(&ssl);
Przemek Stekiel758aef62023-04-19 13:47:43 +0200172#if defined(MBEDTLS_USE_PSA_CRYPTO)
Przemek Stekiel774f9de2023-04-19 11:47:01 +0200173 mbedtls_psa_crypto_free();
Przemek Stekiel758aef62023-04-19 13:47:43 +0200174#endif /* MBEDTLS_USE_PSA_CRYPTO */
Philippe Antoine72333522018-05-03 16:40:24 +0200175
176#else
177 (void) Data;
178 (void) Size;
179#endif
180 return 0;
181}