2021-05-19 17:54:54 +02:00
|
|
|
#define MBEDTLS_ALLOW_PRIVATE_ACCESS
|
|
|
|
|
2018-05-03 16:40:24 +02:00
|
|
|
#include <string.h>
|
|
|
|
#include <stdlib.h>
|
|
|
|
#include <stdint.h>
|
2019-06-04 14:03:06 +02:00
|
|
|
#include "common.h"
|
2018-05-03 16:40:24 +02:00
|
|
|
#include "mbedtls/ssl.h"
|
2021-02-08 15:34:42 +01:00
|
|
|
#include "test/certs.h"
|
2018-05-03 16:40:24 +02:00
|
|
|
#if defined(MBEDTLS_SSL_PROTO_DTLS)
|
|
|
|
#include "mbedtls/entropy.h"
|
|
|
|
#include "mbedtls/ctr_drbg.h"
|
|
|
|
#include "mbedtls/timing.h"
|
|
|
|
#include "mbedtls/ssl_cookie.h"
|
2022-10-17 13:52:51 +02:00
|
|
|
#include "mbedtls/legacy_or_psa.h"
|
2018-05-03 16:40:24 +02:00
|
|
|
|
2020-05-20 10:35:01 +02:00
|
|
|
#if defined(MBEDTLS_SSL_SRV_C) && \
|
|
|
|
defined(MBEDTLS_ENTROPY_C) && \
|
|
|
|
defined(MBEDTLS_CTR_DRBG_C) && \
|
2022-10-17 13:52:51 +02:00
|
|
|
defined(MBEDTLS_TIMING_C) && \
|
2023-01-11 14:50:10 +01:00
|
|
|
(defined(MBEDTLS_HAS_ALG_SHA_384_VIA_MD_OR_PSA_BASED_ON_USE_PSA) || \
|
|
|
|
defined(MBEDTLS_HAS_ALG_SHA_256_VIA_MD_OR_PSA_BASED_ON_USE_PSA))
|
2018-05-03 16:40:24 +02:00
|
|
|
const char *pers = "fuzz_dtlsserver";
|
2023-01-11 14:50:10 +01:00
|
|
|
const unsigned char client_ip[4] = { 0x7F, 0, 0, 1 };
|
2019-07-10 14:26:31 +02:00
|
|
|
static int initialized = 0;
|
2019-06-28 12:31:23 +02:00
|
|
|
#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
|
2018-05-03 16:40:24 +02:00
|
|
|
static mbedtls_x509_crt srvcert;
|
|
|
|
static mbedtls_pk_context pkey;
|
|
|
|
#endif
|
2020-05-20 10:35:01 +02:00
|
|
|
#endif
|
2019-06-25 21:53:12 +02:00
|
|
|
#endif // MBEDTLS_SSL_PROTO_DTLS
|
2018-05-03 16:40:24 +02:00
|
|
|
|
2023-01-11 14:50:10 +01:00
|
|
|
int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size)
|
|
|
|
{
|
2020-05-20 10:35:01 +02:00
|
|
|
#if defined(MBEDTLS_SSL_PROTO_DTLS) && \
|
|
|
|
defined(MBEDTLS_SSL_SRV_C) && \
|
|
|
|
defined(MBEDTLS_ENTROPY_C) && \
|
|
|
|
defined(MBEDTLS_CTR_DRBG_C) && \
|
2022-10-17 13:52:51 +02:00
|
|
|
defined(MBEDTLS_TIMING_C) && \
|
2023-01-11 14:50:10 +01:00
|
|
|
(defined(MBEDTLS_HAS_ALG_SHA_384_VIA_MD_OR_PSA_BASED_ON_USE_PSA) || \
|
|
|
|
defined(MBEDTLS_HAS_ALG_SHA_256_VIA_MD_OR_PSA_BASED_ON_USE_PSA))
|
2018-05-03 16:40:24 +02:00
|
|
|
int ret;
|
|
|
|
size_t len;
|
|
|
|
mbedtls_ssl_context ssl;
|
|
|
|
mbedtls_ssl_config conf;
|
|
|
|
mbedtls_ctr_drbg_context ctr_drbg;
|
|
|
|
mbedtls_entropy_context entropy;
|
|
|
|
mbedtls_timing_delay_context timer;
|
|
|
|
mbedtls_ssl_cookie_ctx cookie_ctx;
|
|
|
|
unsigned char buf[4096];
|
|
|
|
fuzzBufferOffset_t biomemfuzz;
|
|
|
|
|
2023-01-11 14:50:10 +01:00
|
|
|
mbedtls_ctr_drbg_init(&ctr_drbg);
|
|
|
|
mbedtls_entropy_init(&entropy);
|
2022-02-14 16:57:11 +01:00
|
|
|
|
2023-01-11 14:50:10 +01:00
|
|
|
if (mbedtls_ctr_drbg_seed(&ctr_drbg, dummy_entropy, &entropy,
|
|
|
|
(const unsigned char *) pers, strlen(pers)) != 0) {
|
2022-02-14 16:57:11 +01:00
|
|
|
goto exit;
|
2023-01-11 14:50:10 +01:00
|
|
|
}
|
2022-02-14 16:57:11 +01:00
|
|
|
|
2018-05-03 16:40:24 +02:00
|
|
|
if (initialized == 0) {
|
2019-06-28 12:31:23 +02:00
|
|
|
#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
|
2023-01-11 14:50:10 +01:00
|
|
|
mbedtls_x509_crt_init(&srvcert);
|
|
|
|
mbedtls_pk_init(&pkey);
|
|
|
|
if (mbedtls_x509_crt_parse(&srvcert, (const unsigned char *) mbedtls_test_srv_crt,
|
|
|
|
mbedtls_test_srv_crt_len) != 0) {
|
2018-05-03 16:40:24 +02:00
|
|
|
return 1;
|
2023-01-11 14:50:10 +01:00
|
|
|
}
|
|
|
|
if (mbedtls_x509_crt_parse(&srvcert, (const unsigned char *) mbedtls_test_cas_pem,
|
|
|
|
mbedtls_test_cas_pem_len) != 0) {
|
2018-05-03 16:40:24 +02:00
|
|
|
return 1;
|
2023-01-11 14:50:10 +01:00
|
|
|
}
|
|
|
|
if (mbedtls_pk_parse_key(&pkey, (const unsigned char *) mbedtls_test_srv_key,
|
2021-06-15 11:29:26 +02:00
|
|
|
mbedtls_test_srv_key_len, NULL, 0,
|
2023-01-11 14:50:10 +01:00
|
|
|
dummy_random, &ctr_drbg) != 0) {
|
2018-05-03 16:40:24 +02:00
|
|
|
return 1;
|
2023-01-11 14:50:10 +01:00
|
|
|
}
|
2018-05-03 16:40:24 +02:00
|
|
|
#endif
|
2019-06-04 14:03:06 +02:00
|
|
|
dummy_init();
|
|
|
|
|
2018-05-03 16:40:24 +02:00
|
|
|
initialized = 1;
|
|
|
|
}
|
2023-01-11 14:50:10 +01:00
|
|
|
mbedtls_ssl_init(&ssl);
|
|
|
|
mbedtls_ssl_config_init(&conf);
|
|
|
|
mbedtls_ssl_cookie_init(&cookie_ctx);
|
2018-05-03 16:40:24 +02:00
|
|
|
|
2023-01-11 14:50:10 +01:00
|
|
|
if (mbedtls_ssl_config_defaults(&conf,
|
2018-05-03 16:40:24 +02:00
|
|
|
MBEDTLS_SSL_IS_SERVER,
|
|
|
|
MBEDTLS_SSL_TRANSPORT_DATAGRAM,
|
2023-01-11 14:50:10 +01:00
|
|
|
MBEDTLS_SSL_PRESET_DEFAULT) != 0) {
|
2018-05-03 16:40:24 +02:00
|
|
|
goto exit;
|
2023-01-11 14:50:10 +01:00
|
|
|
}
|
2018-05-03 16:40:24 +02:00
|
|
|
|
|
|
|
|
2019-06-04 12:05:36 +02:00
|
|
|
srand(1);
|
2023-01-11 14:50:10 +01:00
|
|
|
mbedtls_ssl_conf_rng(&conf, dummy_random, &ctr_drbg);
|
2018-05-03 16:40:24 +02:00
|
|
|
|
2019-06-28 12:31:23 +02:00
|
|
|
#if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
|
2023-01-11 14:50:10 +01:00
|
|
|
mbedtls_ssl_conf_ca_chain(&conf, srvcert.next, NULL);
|
|
|
|
if (mbedtls_ssl_conf_own_cert(&conf, &srvcert, &pkey) != 0) {
|
2018-05-03 16:40:24 +02:00
|
|
|
goto exit;
|
2023-01-11 14:50:10 +01:00
|
|
|
}
|
2018-05-03 16:40:24 +02:00
|
|
|
#endif
|
|
|
|
|
2023-01-11 14:50:10 +01:00
|
|
|
if (mbedtls_ssl_cookie_setup(&cookie_ctx, dummy_random, &ctr_drbg) != 0) {
|
2018-05-03 16:40:24 +02:00
|
|
|
goto exit;
|
2023-01-11 14:50:10 +01:00
|
|
|
}
|
2018-05-03 16:40:24 +02:00
|
|
|
|
2023-01-11 14:50:10 +01:00
|
|
|
mbedtls_ssl_conf_dtls_cookies(&conf,
|
|
|
|
mbedtls_ssl_cookie_write,
|
|
|
|
mbedtls_ssl_cookie_check,
|
|
|
|
&cookie_ctx);
|
2018-05-03 16:40:24 +02:00
|
|
|
|
2023-01-11 14:50:10 +01:00
|
|
|
if (mbedtls_ssl_setup(&ssl, &conf) != 0) {
|
2018-05-03 16:40:24 +02:00
|
|
|
goto exit;
|
2023-01-11 14:50:10 +01:00
|
|
|
}
|
2018-05-03 16:40:24 +02:00
|
|
|
|
2023-01-11 14:50:10 +01:00
|
|
|
mbedtls_ssl_set_timer_cb(&ssl, &timer, mbedtls_timing_set_delay,
|
|
|
|
mbedtls_timing_get_delay);
|
2018-05-03 16:40:24 +02:00
|
|
|
|
|
|
|
biomemfuzz.Data = Data;
|
|
|
|
biomemfuzz.Size = Size;
|
|
|
|
biomemfuzz.Offset = 0;
|
2023-01-11 14:50:10 +01:00
|
|
|
mbedtls_ssl_set_bio(&ssl, &biomemfuzz, dummy_send, fuzz_recv, fuzz_recv_timeout);
|
|
|
|
if (mbedtls_ssl_set_client_transport_id(&ssl, client_ip, sizeof(client_ip)) != 0) {
|
2018-05-03 16:40:24 +02:00
|
|
|
goto exit;
|
2023-01-11 14:50:10 +01:00
|
|
|
}
|
2018-05-03 16:40:24 +02:00
|
|
|
|
2023-01-11 14:50:10 +01:00
|
|
|
ret = mbedtls_ssl_handshake(&ssl);
|
2018-05-03 16:40:24 +02:00
|
|
|
|
|
|
|
if (ret == MBEDTLS_ERR_SSL_HELLO_VERIFY_REQUIRED) {
|
|
|
|
biomemfuzz.Offset = ssl.next_record_offset;
|
2023-01-11 14:50:10 +01:00
|
|
|
mbedtls_ssl_session_reset(&ssl);
|
|
|
|
mbedtls_ssl_set_bio(&ssl, &biomemfuzz, dummy_send, fuzz_recv, fuzz_recv_timeout);
|
|
|
|
if (mbedtls_ssl_set_client_transport_id(&ssl, client_ip, sizeof(client_ip)) != 0) {
|
2018-05-03 16:40:24 +02:00
|
|
|
goto exit;
|
2023-01-11 14:50:10 +01:00
|
|
|
}
|
2018-05-03 16:40:24 +02:00
|
|
|
|
2023-01-11 14:50:10 +01:00
|
|
|
ret = mbedtls_ssl_handshake(&ssl);
|
2018-05-03 16:40:24 +02:00
|
|
|
|
2023-01-11 14:50:10 +01:00
|
|
|
if (ret == 0) {
|
2018-05-03 16:40:24 +02:00
|
|
|
//keep reading data from server until the end
|
2023-01-11 14:50:10 +01:00
|
|
|
do {
|
|
|
|
len = sizeof(buf) - 1;
|
|
|
|
ret = mbedtls_ssl_read(&ssl, buf, len);
|
|
|
|
if (ret == MBEDTLS_ERR_SSL_WANT_READ) {
|
2018-05-03 16:40:24 +02:00
|
|
|
continue;
|
2023-01-11 14:50:10 +01:00
|
|
|
} else if (ret <= 0) {
|
2018-05-03 16:40:24 +02:00
|
|
|
//EOF or error
|
|
|
|
break;
|
2023-01-11 14:50:10 +01:00
|
|
|
}
|
|
|
|
} while (1);
|
2018-05-03 16:40:24 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
exit:
|
2023-01-11 14:50:10 +01:00
|
|
|
mbedtls_ssl_cookie_free(&cookie_ctx);
|
|
|
|
mbedtls_entropy_free(&entropy);
|
|
|
|
mbedtls_ctr_drbg_free(&ctr_drbg);
|
|
|
|
mbedtls_ssl_config_free(&conf);
|
|
|
|
mbedtls_ssl_free(&ssl);
|
2018-05-03 16:40:24 +02:00
|
|
|
|
|
|
|
#else
|
|
|
|
(void) Data;
|
|
|
|
(void) Size;
|
|
|
|
#endif
|
|
|
|
return 0;
|
|
|
|
}
|