blob: 53f3f786a5239629bb9d19e21806fe1cdf19bb83 [file] [log] [blame]
Mateusz Starzyk6c2e9b62021-05-19 17:54:54 +02001
Philippe Antoine72333522018-05-03 16:40:24 +02002#include <string.h>
3#include <stdlib.h>
Philippe Antoine72333522018-05-03 16:40:24 +02004#include <stdint.h>
Philippe Antoine08633822019-06-04 14:03:06 +02005#include "common.h"
Philippe Antoine72333522018-05-03 16:40:24 +02006#include "mbedtls/ssl.h"
7#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"
Mateusz Starzyk1aec6462021-02-08 15:34:42 +010011#include "test/certs.h"
Philippe Antoine72333522018-05-03 16:40:24 +020012
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +020013#if defined(MBEDTLS_SSL_CLI_C) && \
14 defined(MBEDTLS_ENTROPY_C) && \
15 defined(MBEDTLS_CTR_DRBG_C) && \
16 defined(MBEDTLS_TIMING_C)
Philippe Antoine42a2ce82019-07-10 14:26:31 +020017static int initialized = 0;
Philippe Antoinedaab28a2019-06-28 12:31:23 +020018#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Philippe Antoine72333522018-05-03 16:40:24 +020019static mbedtls_x509_crt cacert;
20#endif
21
Philippe Antoine72333522018-05-03 16:40:24 +020022const char *pers = "fuzz_dtlsclient";
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +020023#endif
Philippe Antoineadc23e62019-06-25 21:53:12 +020024#endif // MBEDTLS_SSL_PROTO_DTLS
Philippe Antoine72333522018-05-03 16:40:24 +020025
26
27
Gilles Peskine449bd832023-01-11 14:50:10 +010028int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size)
29{
Manuel Pégourié-Gonnarda89040c2020-05-20 10:35:01 +020030#if defined(MBEDTLS_SSL_PROTO_DTLS) && \
31 defined(MBEDTLS_SSL_CLI_C) && \
32 defined(MBEDTLS_ENTROPY_C) && \
33 defined(MBEDTLS_CTR_DRBG_C) && \
34 defined(MBEDTLS_TIMING_C)
Philippe Antoine72333522018-05-03 16:40:24 +020035 int ret;
36 size_t len;
37 mbedtls_ssl_context ssl;
38 mbedtls_ssl_config conf;
39 mbedtls_ctr_drbg_context ctr_drbg;
40 mbedtls_entropy_context entropy;
41 mbedtls_timing_delay_context timer;
42 unsigned char buf[4096];
43 fuzzBufferOffset_t biomemfuzz;
44
45 if (initialized == 0) {
Philippe Antoinedaab28a2019-06-28 12:31:23 +020046#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +010047 mbedtls_x509_crt_init(&cacert);
48 if (mbedtls_x509_crt_parse(&cacert, (const unsigned char *) mbedtls_test_cas_pem,
49 mbedtls_test_cas_pem_len) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020050 return 1;
Gilles Peskine449bd832023-01-11 14:50:10 +010051 }
Philippe Antoine72333522018-05-03 16:40:24 +020052#endif
Philippe Antoine08633822019-06-04 14:03:06 +020053 dummy_init();
54
Philippe Antoine72333522018-05-03 16:40:24 +020055 initialized = 1;
56 }
57
Gilles Peskine449bd832023-01-11 14:50:10 +010058 mbedtls_ssl_init(&ssl);
59 mbedtls_ssl_config_init(&conf);
60 mbedtls_ctr_drbg_init(&ctr_drbg);
61 mbedtls_entropy_init(&entropy);
Philippe Antoine72333522018-05-03 16:40:24 +020062
Przemek Stekiel774f9de2023-04-19 11:47:01 +020063#if defined(MBEDTLS_USE_PSA_CRYPTO)
64 psa_status_t status = psa_crypto_init();
65 if (status != PSA_SUCCESS) {
66 goto exit;
67 }
68#endif /* MBEDTLS_USE_PSA_CRYPTO */
69
Philippe Antoine2b7c9a22019-06-04 12:05:36 +020070 srand(1);
Gilles Peskine449bd832023-01-11 14:50:10 +010071 if (mbedtls_ctr_drbg_seed(&ctr_drbg, dummy_entropy, &entropy,
72 (const unsigned char *) pers, strlen(pers)) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020073 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +010074 }
Philippe Antoine72333522018-05-03 16:40:24 +020075
Gilles Peskine449bd832023-01-11 14:50:10 +010076 if (mbedtls_ssl_config_defaults(&conf,
Philippe Antoine72333522018-05-03 16:40:24 +020077 MBEDTLS_SSL_IS_CLIENT,
78 MBEDTLS_SSL_TRANSPORT_DATAGRAM,
Gilles Peskine449bd832023-01-11 14:50:10 +010079 MBEDTLS_SSL_PRESET_DEFAULT) != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020080 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +010081 }
Philippe Antoine72333522018-05-03 16:40:24 +020082
Philippe Antoinedaab28a2019-06-28 12:31:23 +020083#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +010084 mbedtls_ssl_conf_ca_chain(&conf, &cacert, NULL);
Philippe Antoine72333522018-05-03 16:40:24 +020085#endif
Gilles Peskine449bd832023-01-11 14:50:10 +010086 mbedtls_ssl_conf_authmode(&conf, MBEDTLS_SSL_VERIFY_NONE);
87 mbedtls_ssl_conf_rng(&conf, dummy_random, &ctr_drbg);
Philippe Antoine72333522018-05-03 16:40:24 +020088
Gilles Peskine449bd832023-01-11 14:50:10 +010089 if (mbedtls_ssl_setup(&ssl, &conf) != 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
Gilles Peskine449bd832023-01-11 14:50:10 +010093 mbedtls_ssl_set_timer_cb(&ssl, &timer, mbedtls_timing_set_delay,
94 mbedtls_timing_get_delay);
Philippe Antoine72333522018-05-03 16:40:24 +020095
Philippe Antoinedaab28a2019-06-28 12:31:23 +020096#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +010097 if (mbedtls_ssl_set_hostname(&ssl, "localhost") != 0) {
Philippe Antoine72333522018-05-03 16:40:24 +020098 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +010099 }
Philippe Antoine72333522018-05-03 16:40:24 +0200100#endif
101
102 biomemfuzz.Data = Data;
103 biomemfuzz.Size = Size;
104 biomemfuzz.Offset = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100105 mbedtls_ssl_set_bio(&ssl, &biomemfuzz, dummy_send, fuzz_recv, fuzz_recv_timeout);
Philippe Antoine72333522018-05-03 16:40:24 +0200106
Gilles Peskine449bd832023-01-11 14:50:10 +0100107 ret = mbedtls_ssl_handshake(&ssl);
108 if (ret == 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200109 //keep reading data from server until the end
Gilles Peskine449bd832023-01-11 14:50:10 +0100110 do {
111 len = sizeof(buf) - 1;
112 ret = mbedtls_ssl_read(&ssl, buf, len);
Philippe Antoine72333522018-05-03 16:40:24 +0200113
Gilles Peskine449bd832023-01-11 14:50:10 +0100114 if (ret == MBEDTLS_ERR_SSL_WANT_READ) {
Philippe Antoine72333522018-05-03 16:40:24 +0200115 continue;
Gilles Peskine449bd832023-01-11 14:50:10 +0100116 } else if (ret <= 0) {
Philippe Antoine72333522018-05-03 16:40:24 +0200117 //EOF or error
118 break;
Gilles Peskine449bd832023-01-11 14:50:10 +0100119 }
120 } while (1);
Philippe Antoine72333522018-05-03 16:40:24 +0200121 }
122
123exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100124 mbedtls_entropy_free(&entropy);
125 mbedtls_ctr_drbg_free(&ctr_drbg);
126 mbedtls_ssl_config_free(&conf);
127 mbedtls_ssl_free(&ssl);
Przemek Stekiel758aef62023-04-19 13:47:43 +0200128#if defined(MBEDTLS_USE_PSA_CRYPTO)
Przemek Stekiel774f9de2023-04-19 11:47:01 +0200129 mbedtls_psa_crypto_free();
Przemek Stekiel758aef62023-04-19 13:47:43 +0200130#endif /* MBEDTLS_USE_PSA_CRYPTO */
Philippe Antoine72333522018-05-03 16:40:24 +0200131
132#else
133 (void) Data;
134 (void) Size;
135#endif
136 return 0;
137}