xref: /aosp_15_r20/external/mbedtls/programs/fuzz/fuzz_dtlsserver.c (revision 62c56f9862f102b96d72393aff6076c951fb8148)
1*62c56f98SSadaf Ebrahimi #define MBEDTLS_ALLOW_PRIVATE_ACCESS
2*62c56f98SSadaf Ebrahimi 
3*62c56f98SSadaf Ebrahimi #include <string.h>
4*62c56f98SSadaf Ebrahimi #include <stdlib.h>
5*62c56f98SSadaf Ebrahimi #include <stdint.h>
6*62c56f98SSadaf Ebrahimi #include "common.h"
7*62c56f98SSadaf Ebrahimi #include "mbedtls/ssl.h"
8*62c56f98SSadaf Ebrahimi #include "test/certs.h"
9*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_SSL_PROTO_DTLS)
10*62c56f98SSadaf Ebrahimi #include "mbedtls/entropy.h"
11*62c56f98SSadaf Ebrahimi #include "mbedtls/ctr_drbg.h"
12*62c56f98SSadaf Ebrahimi #include "mbedtls/timing.h"
13*62c56f98SSadaf Ebrahimi #include "mbedtls/ssl_cookie.h"
14*62c56f98SSadaf Ebrahimi 
15*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_SSL_SRV_C) && \
16*62c56f98SSadaf Ebrahimi     defined(MBEDTLS_ENTROPY_C) && \
17*62c56f98SSadaf Ebrahimi     defined(MBEDTLS_CTR_DRBG_C) && \
18*62c56f98SSadaf Ebrahimi     defined(MBEDTLS_TIMING_C) && \
19*62c56f98SSadaf Ebrahimi     (defined(MBEDTLS_MD_CAN_SHA384) || \
20*62c56f98SSadaf Ebrahimi     defined(MBEDTLS_MD_CAN_SHA256))
21*62c56f98SSadaf Ebrahimi const char *pers = "fuzz_dtlsserver";
22*62c56f98SSadaf Ebrahimi const unsigned char client_ip[4] = { 0x7F, 0, 0, 1 };
23*62c56f98SSadaf Ebrahimi static int initialized = 0;
24*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
25*62c56f98SSadaf Ebrahimi static mbedtls_x509_crt srvcert;
26*62c56f98SSadaf Ebrahimi static mbedtls_pk_context pkey;
27*62c56f98SSadaf Ebrahimi #endif
28*62c56f98SSadaf Ebrahimi #endif
29*62c56f98SSadaf Ebrahimi #endif // MBEDTLS_SSL_PROTO_DTLS
30*62c56f98SSadaf Ebrahimi 
LLVMFuzzerTestOneInput(const uint8_t * Data,size_t Size)31*62c56f98SSadaf Ebrahimi int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size)
32*62c56f98SSadaf Ebrahimi {
33*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_SSL_PROTO_DTLS) && \
34*62c56f98SSadaf Ebrahimi     defined(MBEDTLS_SSL_SRV_C) && \
35*62c56f98SSadaf Ebrahimi     defined(MBEDTLS_ENTROPY_C) && \
36*62c56f98SSadaf Ebrahimi     defined(MBEDTLS_CTR_DRBG_C) && \
37*62c56f98SSadaf Ebrahimi     defined(MBEDTLS_TIMING_C) && \
38*62c56f98SSadaf Ebrahimi     (defined(MBEDTLS_MD_CAN_SHA384) || \
39*62c56f98SSadaf Ebrahimi     defined(MBEDTLS_MD_CAN_SHA256))
40*62c56f98SSadaf Ebrahimi     int ret;
41*62c56f98SSadaf Ebrahimi     size_t len;
42*62c56f98SSadaf Ebrahimi     mbedtls_ssl_context ssl;
43*62c56f98SSadaf Ebrahimi     mbedtls_ssl_config conf;
44*62c56f98SSadaf Ebrahimi     mbedtls_ctr_drbg_context ctr_drbg;
45*62c56f98SSadaf Ebrahimi     mbedtls_entropy_context entropy;
46*62c56f98SSadaf Ebrahimi     mbedtls_timing_delay_context timer;
47*62c56f98SSadaf Ebrahimi     mbedtls_ssl_cookie_ctx cookie_ctx;
48*62c56f98SSadaf Ebrahimi     unsigned char buf[4096];
49*62c56f98SSadaf Ebrahimi     fuzzBufferOffset_t biomemfuzz;
50*62c56f98SSadaf Ebrahimi 
51*62c56f98SSadaf Ebrahimi     mbedtls_ctr_drbg_init(&ctr_drbg);
52*62c56f98SSadaf Ebrahimi     mbedtls_entropy_init(&entropy);
53*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
54*62c56f98SSadaf Ebrahimi     mbedtls_x509_crt_init(&srvcert);
55*62c56f98SSadaf Ebrahimi     mbedtls_pk_init(&pkey);
56*62c56f98SSadaf Ebrahimi #endif
57*62c56f98SSadaf Ebrahimi     mbedtls_ssl_init(&ssl);
58*62c56f98SSadaf Ebrahimi     mbedtls_ssl_config_init(&conf);
59*62c56f98SSadaf Ebrahimi     mbedtls_ssl_cookie_init(&cookie_ctx);
60*62c56f98SSadaf Ebrahimi 
61*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_USE_PSA_CRYPTO)
62*62c56f98SSadaf Ebrahimi     psa_status_t status = psa_crypto_init();
63*62c56f98SSadaf Ebrahimi     if (status != PSA_SUCCESS) {
64*62c56f98SSadaf Ebrahimi         goto exit;
65*62c56f98SSadaf Ebrahimi     }
66*62c56f98SSadaf Ebrahimi #endif /* MBEDTLS_USE_PSA_CRYPTO */
67*62c56f98SSadaf Ebrahimi 
68*62c56f98SSadaf Ebrahimi     if (mbedtls_ctr_drbg_seed(&ctr_drbg, dummy_entropy, &entropy,
69*62c56f98SSadaf Ebrahimi                               (const unsigned char *) pers, strlen(pers)) != 0) {
70*62c56f98SSadaf Ebrahimi         goto exit;
71*62c56f98SSadaf Ebrahimi     }
72*62c56f98SSadaf Ebrahimi 
73*62c56f98SSadaf Ebrahimi     if (initialized == 0) {
74*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
75*62c56f98SSadaf Ebrahimi 
76*62c56f98SSadaf Ebrahimi         if (mbedtls_x509_crt_parse(&srvcert, (const unsigned char *) mbedtls_test_srv_crt,
77*62c56f98SSadaf Ebrahimi                                    mbedtls_test_srv_crt_len) != 0) {
78*62c56f98SSadaf Ebrahimi             return 1;
79*62c56f98SSadaf Ebrahimi         }
80*62c56f98SSadaf Ebrahimi         if (mbedtls_x509_crt_parse(&srvcert, (const unsigned char *) mbedtls_test_cas_pem,
81*62c56f98SSadaf Ebrahimi                                    mbedtls_test_cas_pem_len) != 0) {
82*62c56f98SSadaf Ebrahimi             return 1;
83*62c56f98SSadaf Ebrahimi         }
84*62c56f98SSadaf Ebrahimi         if (mbedtls_pk_parse_key(&pkey, (const unsigned char *) mbedtls_test_srv_key,
85*62c56f98SSadaf Ebrahimi                                  mbedtls_test_srv_key_len, NULL, 0,
86*62c56f98SSadaf Ebrahimi                                  dummy_random, &ctr_drbg) != 0) {
87*62c56f98SSadaf Ebrahimi             return 1;
88*62c56f98SSadaf Ebrahimi         }
89*62c56f98SSadaf Ebrahimi #endif
90*62c56f98SSadaf Ebrahimi         dummy_init();
91*62c56f98SSadaf Ebrahimi 
92*62c56f98SSadaf Ebrahimi         initialized = 1;
93*62c56f98SSadaf Ebrahimi     }
94*62c56f98SSadaf Ebrahimi 
95*62c56f98SSadaf Ebrahimi     if (mbedtls_ssl_config_defaults(&conf,
96*62c56f98SSadaf Ebrahimi                                     MBEDTLS_SSL_IS_SERVER,
97*62c56f98SSadaf Ebrahimi                                     MBEDTLS_SSL_TRANSPORT_DATAGRAM,
98*62c56f98SSadaf Ebrahimi                                     MBEDTLS_SSL_PRESET_DEFAULT) != 0) {
99*62c56f98SSadaf Ebrahimi         goto exit;
100*62c56f98SSadaf Ebrahimi     }
101*62c56f98SSadaf Ebrahimi 
102*62c56f98SSadaf Ebrahimi 
103*62c56f98SSadaf Ebrahimi     srand(1);
104*62c56f98SSadaf Ebrahimi     mbedtls_ssl_conf_rng(&conf, dummy_random, &ctr_drbg);
105*62c56f98SSadaf Ebrahimi 
106*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
107*62c56f98SSadaf Ebrahimi     mbedtls_ssl_conf_ca_chain(&conf, srvcert.next, NULL);
108*62c56f98SSadaf Ebrahimi     if (mbedtls_ssl_conf_own_cert(&conf, &srvcert, &pkey) != 0) {
109*62c56f98SSadaf Ebrahimi         goto exit;
110*62c56f98SSadaf Ebrahimi     }
111*62c56f98SSadaf Ebrahimi #endif
112*62c56f98SSadaf Ebrahimi 
113*62c56f98SSadaf Ebrahimi     if (mbedtls_ssl_cookie_setup(&cookie_ctx, dummy_random, &ctr_drbg) != 0) {
114*62c56f98SSadaf Ebrahimi         goto exit;
115*62c56f98SSadaf Ebrahimi     }
116*62c56f98SSadaf Ebrahimi 
117*62c56f98SSadaf Ebrahimi     mbedtls_ssl_conf_dtls_cookies(&conf,
118*62c56f98SSadaf Ebrahimi                                   mbedtls_ssl_cookie_write,
119*62c56f98SSadaf Ebrahimi                                   mbedtls_ssl_cookie_check,
120*62c56f98SSadaf Ebrahimi                                   &cookie_ctx);
121*62c56f98SSadaf Ebrahimi 
122*62c56f98SSadaf Ebrahimi     if (mbedtls_ssl_setup(&ssl, &conf) != 0) {
123*62c56f98SSadaf Ebrahimi         goto exit;
124*62c56f98SSadaf Ebrahimi     }
125*62c56f98SSadaf Ebrahimi 
126*62c56f98SSadaf Ebrahimi     mbedtls_ssl_set_timer_cb(&ssl, &timer, mbedtls_timing_set_delay,
127*62c56f98SSadaf Ebrahimi                              mbedtls_timing_get_delay);
128*62c56f98SSadaf Ebrahimi 
129*62c56f98SSadaf Ebrahimi     biomemfuzz.Data = Data;
130*62c56f98SSadaf Ebrahimi     biomemfuzz.Size = Size;
131*62c56f98SSadaf Ebrahimi     biomemfuzz.Offset = 0;
132*62c56f98SSadaf Ebrahimi     mbedtls_ssl_set_bio(&ssl, &biomemfuzz, dummy_send, fuzz_recv, fuzz_recv_timeout);
133*62c56f98SSadaf Ebrahimi     if (mbedtls_ssl_set_client_transport_id(&ssl, client_ip, sizeof(client_ip)) != 0) {
134*62c56f98SSadaf Ebrahimi         goto exit;
135*62c56f98SSadaf Ebrahimi     }
136*62c56f98SSadaf Ebrahimi 
137*62c56f98SSadaf Ebrahimi     ret = mbedtls_ssl_handshake(&ssl);
138*62c56f98SSadaf Ebrahimi 
139*62c56f98SSadaf Ebrahimi     if (ret == MBEDTLS_ERR_SSL_HELLO_VERIFY_REQUIRED) {
140*62c56f98SSadaf Ebrahimi         biomemfuzz.Offset = ssl.next_record_offset;
141*62c56f98SSadaf Ebrahimi         mbedtls_ssl_session_reset(&ssl);
142*62c56f98SSadaf Ebrahimi         mbedtls_ssl_set_bio(&ssl, &biomemfuzz, dummy_send, fuzz_recv, fuzz_recv_timeout);
143*62c56f98SSadaf Ebrahimi         if (mbedtls_ssl_set_client_transport_id(&ssl, client_ip, sizeof(client_ip)) != 0) {
144*62c56f98SSadaf Ebrahimi             goto exit;
145*62c56f98SSadaf Ebrahimi         }
146*62c56f98SSadaf Ebrahimi 
147*62c56f98SSadaf Ebrahimi         ret = mbedtls_ssl_handshake(&ssl);
148*62c56f98SSadaf Ebrahimi 
149*62c56f98SSadaf Ebrahimi         if (ret == 0) {
150*62c56f98SSadaf Ebrahimi             //keep reading data from server until the end
151*62c56f98SSadaf Ebrahimi             do {
152*62c56f98SSadaf Ebrahimi                 len = sizeof(buf) - 1;
153*62c56f98SSadaf Ebrahimi                 ret = mbedtls_ssl_read(&ssl, buf, len);
154*62c56f98SSadaf Ebrahimi                 if (ret == MBEDTLS_ERR_SSL_WANT_READ) {
155*62c56f98SSadaf Ebrahimi                     continue;
156*62c56f98SSadaf Ebrahimi                 } else if (ret <= 0) {
157*62c56f98SSadaf Ebrahimi                     //EOF or error
158*62c56f98SSadaf Ebrahimi                     break;
159*62c56f98SSadaf Ebrahimi                 }
160*62c56f98SSadaf Ebrahimi             } while (1);
161*62c56f98SSadaf Ebrahimi         }
162*62c56f98SSadaf Ebrahimi     }
163*62c56f98SSadaf Ebrahimi 
164*62c56f98SSadaf Ebrahimi exit:
165*62c56f98SSadaf Ebrahimi     mbedtls_ssl_cookie_free(&cookie_ctx);
166*62c56f98SSadaf Ebrahimi     mbedtls_entropy_free(&entropy);
167*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_X509_CRT_PARSE_C) && defined(MBEDTLS_PEM_PARSE_C)
168*62c56f98SSadaf Ebrahimi     mbedtls_pk_free(&pkey);
169*62c56f98SSadaf Ebrahimi     mbedtls_x509_crt_free(&srvcert);
170*62c56f98SSadaf Ebrahimi #endif
171*62c56f98SSadaf Ebrahimi     mbedtls_ctr_drbg_free(&ctr_drbg);
172*62c56f98SSadaf Ebrahimi     mbedtls_ssl_config_free(&conf);
173*62c56f98SSadaf Ebrahimi     mbedtls_ssl_free(&ssl);
174*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_USE_PSA_CRYPTO)
175*62c56f98SSadaf Ebrahimi     mbedtls_psa_crypto_free();
176*62c56f98SSadaf Ebrahimi #endif /* MBEDTLS_USE_PSA_CRYPTO */
177*62c56f98SSadaf Ebrahimi 
178*62c56f98SSadaf Ebrahimi #else
179*62c56f98SSadaf Ebrahimi     (void) Data;
180*62c56f98SSadaf Ebrahimi     (void) Size;
181*62c56f98SSadaf Ebrahimi #endif
182*62c56f98SSadaf Ebrahimi     return 0;
183*62c56f98SSadaf Ebrahimi }
184