blob: cc208b3a4a0b0b4ef49cb3bdf44eac915e1239fa [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"
Philippe Antoine08633822019-06-04 14:03:06 +02005#include "common.h"
Philippe Antoine72333522018-05-03 16:40:24 +02006#include <string.h>
7#include <stdlib.h>
Philippe Antoine72333522018-05-03 16:40:24 +02008#include <stdint.h>
9
10
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +020011#if defined(MBEDTLS_SSL_CLI_C) && \
12 defined(MBEDTLS_ENTROPY_C) && \
13 defined(MBEDTLS_CTR_DRBG_C)
Philippe Antoine42a2ce82019-07-10 14:26:31 +020014static int initialized = 0;
Philippe Antoinedaab28a2019-06-28 12:31:23 +020015#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Philippe Antoine72333522018-05-03 16:40:24 +020016static mbedtls_x509_crt cacert;
17#endif
18const char *alpn_list[3];
19
20
Gilles Peskineeccd8882020-03-10 12:19:08 +010021#if defined(MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED)
Philippe Antoine72333522018-05-03 16:40:24 +020022const unsigned char psk[] = {
23 0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
24 0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f
25};
26const char psk_id[] = "Client_identity";
27#endif
28
29const char *pers = "fuzz_client";
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +020030#endif /* MBEDTLS_SSL_CLI_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_CLI_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;
44 unsigned char buf[4096];
45 fuzzBufferOffset_t biomemfuzz;
46 uint16_t options;
47
48 if (initialized == 0) {
Philippe Antoinedaab28a2019-06-28 12:31:23 +020049#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010050 mbedtls_x509_crt_init(&cacert);
51 if (mbedtls_x509_crt_parse(&cacert, (const unsigned char *) mbedtls_test_cas_pem,
52 mbedtls_test_cas_pem_len) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020053 return 1;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010054 }
Philippe Antoine72333522018-05-03 16:40:24 +020055#endif
56
57 alpn_list[0] = "HTTP";
58 alpn_list[1] = "fuzzalpn";
59 alpn_list[2] = NULL;
60
Philippe Antoine08633822019-06-04 14:03:06 +020061 dummy_init();
62
Philippe Antoine72333522018-05-03 16:40:24 +020063 initialized = 1;
64 }
65
66 //we take 1 byte as options input
67 if (Size < 2) {
68 return 0;
69 }
70 options = (Data[Size - 2] << 8) | Data[Size - 1];
71 //Avoid warnings if compile options imply no options
72 (void) options;
73
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010074 mbedtls_ssl_init(&ssl);
75 mbedtls_ssl_config_init(&conf);
76 mbedtls_ctr_drbg_init(&ctr_drbg);
77 mbedtls_entropy_init(&entropy);
Philippe Antoine72333522018-05-03 16:40:24 +020078
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010079 if (mbedtls_ctr_drbg_seed(&ctr_drbg, dummy_entropy, &entropy,
80 (const unsigned char *) pers, strlen(pers)) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020081 goto exit;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010082 }
Philippe Antoine72333522018-05-03 16:40:24 +020083
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010084 if (mbedtls_ssl_config_defaults(&conf,
Philippe Antoine72333522018-05-03 16:40:24 +020085 MBEDTLS_SSL_IS_CLIENT,
86 MBEDTLS_SSL_TRANSPORT_STREAM,
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010087 MBEDTLS_SSL_PRESET_DEFAULT) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020088 goto exit;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010089 }
Philippe Antoine72333522018-05-03 16:40:24 +020090
Gilles Peskineeccd8882020-03-10 12:19:08 +010091#if defined(MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED)
Philippe Antoine72333522018-05-03 16:40:24 +020092 if (options & 2) {
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010093 mbedtls_ssl_conf_psk(&conf, psk, sizeof(psk),
94 (const unsigned char *) psk_id, sizeof(psk_id) - 1);
Philippe Antoine72333522018-05-03 16:40:24 +020095 }
96#endif
97
Philippe Antoinedaab28a2019-06-28 12:31:23 +020098#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Philippe Antoine72333522018-05-03 16:40:24 +020099 if (options & 4) {
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100100 mbedtls_ssl_conf_ca_chain(&conf, &cacert, NULL);
101 mbedtls_ssl_conf_authmode(&conf, MBEDTLS_SSL_VERIFY_REQUIRED);
Philippe Antoine72333522018-05-03 16:40:24 +0200102 } else
103#endif
104 {
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100105 mbedtls_ssl_conf_authmode(&conf, MBEDTLS_SSL_VERIFY_NONE);
Philippe Antoine72333522018-05-03 16:40:24 +0200106 }
107#if defined(MBEDTLS_SSL_TRUNCATED_HMAC)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100108 mbedtls_ssl_conf_truncated_hmac(&conf,
109 (options &
110 8) ? MBEDTLS_SSL_TRUNC_HMAC_ENABLED : MBEDTLS_SSL_TRUNC_HMAC_DISABLED);
Philippe Antoine72333522018-05-03 16:40:24 +0200111#endif
112#if defined(MBEDTLS_SSL_EXTENDED_MASTER_SECRET)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100113 mbedtls_ssl_conf_extended_master_secret(&conf,
114 (options &
115 0x10) ? MBEDTLS_SSL_EXTENDED_MS_DISABLED : MBEDTLS_SSL_EXTENDED_MS_ENABLED);
Philippe Antoine72333522018-05-03 16:40:24 +0200116#endif
117#if defined(MBEDTLS_SSL_ENCRYPT_THEN_MAC)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100118 mbedtls_ssl_conf_encrypt_then_mac(&conf,
119 (options &
120 0x20) ? MBEDTLS_SSL_ETM_DISABLED : MBEDTLS_SSL_ETM_ENABLED);
Philippe Antoine72333522018-05-03 16:40:24 +0200121#endif
122#if defined(MBEDTLS_SSL_CBC_RECORD_SPLITTING)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100123 mbedtls_ssl_conf_cbc_record_splitting(&conf,
124 (options &
125 0x40) ? MBEDTLS_SSL_CBC_RECORD_SPLITTING_ENABLED : MBEDTLS_SSL_CBC_RECORD_SPLITTING_DISABLED);
Philippe Antoine72333522018-05-03 16:40:24 +0200126#endif
127#if defined(MBEDTLS_SSL_RENEGOTIATION)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100128 mbedtls_ssl_conf_renegotiation(&conf,
129 (options &
130 0x80) ? MBEDTLS_SSL_RENEGOTIATION_ENABLED : MBEDTLS_SSL_RENEGOTIATION_DISABLED);
Philippe Antoine72333522018-05-03 16:40:24 +0200131#endif
132#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100133 mbedtls_ssl_conf_session_tickets(&conf,
134 (options &
135 0x100) ? MBEDTLS_SSL_SESSION_TICKETS_DISABLED : MBEDTLS_SSL_SESSION_TICKETS_ENABLED);
Philippe Antoine72333522018-05-03 16:40:24 +0200136#endif
137#if defined(MBEDTLS_SSL_ALPN)
138 if (options & 0x200) {
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100139 mbedtls_ssl_conf_alpn_protocols(&conf, alpn_list);
Philippe Antoine72333522018-05-03 16:40:24 +0200140 }
141#endif
142 //There may be other options to add :
143 // mbedtls_ssl_conf_cert_profile, mbedtls_ssl_conf_sig_hashes
144
Philippe Antoine2b7c9a22019-06-04 12:05:36 +0200145 srand(1);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100146 mbedtls_ssl_conf_rng(&conf, dummy_random, &ctr_drbg);
Philippe Antoine72333522018-05-03 16:40:24 +0200147
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100148 if (mbedtls_ssl_setup(&ssl, &conf) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200149 goto exit;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100150 }
Philippe Antoine72333522018-05-03 16:40:24 +0200151
Philippe Antoinedaab28a2019-06-28 12:31:23 +0200152#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Philippe Antoine72333522018-05-03 16:40:24 +0200153 if ((options & 1) == 0) {
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100154 if (mbedtls_ssl_set_hostname(&ssl, "localhost") != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200155 goto exit;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100156 }
Philippe Antoine72333522018-05-03 16:40:24 +0200157 }
158#endif
159
160 biomemfuzz.Data = Data;
161 biomemfuzz.Size = Size-2;
162 biomemfuzz.Offset = 0;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100163 mbedtls_ssl_set_bio(&ssl, &biomemfuzz, dummy_send, fuzz_recv, NULL);
Philippe Antoine72333522018-05-03 16:40:24 +0200164
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100165 ret = mbedtls_ssl_handshake(&ssl);
166 if (ret == 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200167 //keep reading data from server until the end
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100168 do {
169 len = sizeof(buf) - 1;
170 ret = mbedtls_ssl_read(&ssl, buf, len);
Philippe Antoine72333522018-05-03 16:40:24 +0200171
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100172 if (ret == MBEDTLS_ERR_SSL_WANT_READ) {
Philippe Antoine72333522018-05-03 16:40:24 +0200173 continue;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100174 } else if (ret <= 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200175 //EOF or error
176 break;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100177 }
178 } while (1);
Philippe Antoine72333522018-05-03 16:40:24 +0200179 }
180
181exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100182 mbedtls_entropy_free(&entropy);
183 mbedtls_ctr_drbg_free(&ctr_drbg);
184 mbedtls_ssl_config_free(&conf);
185 mbedtls_ssl_free(&ssl);
Philippe Antoine72333522018-05-03 16:40:24 +0200186
Philippe Antoinec32fd242019-06-06 09:12:53 +0200187#else
188 (void) Data;
189 (void) Size;
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +0200190#endif /* MBEDTLS_SSL_CLI_C && MBEDTLS_ENTROPY_C && MBEDTLS_CTR_DRBG_C */
Philippe Antoinec32fd242019-06-06 09:12:53 +0200191
Philippe Antoine72333522018-05-03 16:40:24 +0200192 return 0;
193}