/src/openssl34/fuzz/quic-rcidm.c
Line | Count | Source (jump to first uncovered line) |
1 | | /* |
2 | | * Copyright 2023-2024 The OpenSSL Project Authors. All Rights Reserved. |
3 | | * |
4 | | * Licensed under the Apache License 2.0 (the "License"); |
5 | | * you may not use this file except in compliance with the License. |
6 | | * You may obtain a copy of the License at |
7 | | * https://www.openssl.org/source/license.html |
8 | | * or in the file LICENSE in the source distribution. |
9 | | */ |
10 | | |
11 | | #include <openssl/ssl.h> |
12 | | #include <openssl/err.h> |
13 | | #include <openssl/bio.h> |
14 | | #include "fuzzer.h" |
15 | | #include "internal/quic_rcidm.h" |
16 | | #include "internal/packet.h" |
17 | | |
18 | | int FuzzerInitialize(int *argc, char ***argv) |
19 | 200 | { |
20 | 200 | FuzzerSetRand(); |
21 | 200 | OPENSSL_init_crypto(OPENSSL_INIT_LOAD_CRYPTO_STRINGS | OPENSSL_INIT_ASYNC, NULL); |
22 | 200 | OPENSSL_init_ssl(OPENSSL_INIT_LOAD_SSL_STRINGS, NULL); |
23 | 200 | ERR_clear_error(); |
24 | 200 | return 1; |
25 | 200 | } |
26 | | |
27 | | /* |
28 | | * Fuzzer input "protocol": |
29 | | * Big endian |
30 | | * Zero or more of: |
31 | | * RESET_WITH_ODCID u8(0x00) u8(cidl):cid |
32 | | * RESET_WITHOUT_ODCID u8(0x01) |
33 | | * (free and reallocate) |
34 | | * ADD_FROM_INITIAL u8(0x02) u8(cidl):cid |
35 | | * ADD_FROM_SERVER_RETRY u8(0x03) u8(cidl):cid |
36 | | * ADD_FROM_NCID u8(0x04) u64(seq_num) |
37 | | * u64(retire_prior_to) u8(cidl):cid |
38 | | * ON_HANDSHAKE_COMPLETE u8(0x05) |
39 | | * ON_PACKET_SENT u8(0x06) u64(num_pkt) |
40 | | * REQUEST_ROLL u8(0x07) |
41 | | * POP_RETIRE_SEQ_NUM u8(0x08) |
42 | | * PEEK_RETIRE_SEQ_NUM u8(0x09) |
43 | | * GET_PREFERRED_TX_DCID u8(0x0A) |
44 | | * GET_PREFERRED_TX_DCID_CHANGED u8(0x0B) u8(clear) |
45 | | */ |
46 | | |
47 | | enum { |
48 | | CMD_RESET_WITH_ODCID, |
49 | | CMD_RESET_WITHOUT_ODCID, |
50 | | CMD_ADD_FROM_INITIAL, |
51 | | CMD_ADD_FROM_SERVER_RETRY, |
52 | | CMD_ADD_FROM_NCID, |
53 | | CMD_ON_HANDSHAKE_COMPLETE, |
54 | | CMD_ON_PACKET_SENT, |
55 | | CMD_REQUEST_ROLL, |
56 | | CMD_POP_RETIRE_SEQ_NUM, |
57 | | CMD_PEEK_RETIRE_SEQ_NUM, |
58 | | CMD_GET_PREFERRED_TX_DCID, |
59 | | CMD_GET_PREFERRED_TX_DCID_CHANGED |
60 | | }; |
61 | | |
62 | | static int get_cid(PACKET *pkt, QUIC_CONN_ID *cid) |
63 | 7.77M | { |
64 | 7.77M | unsigned int cidl; |
65 | | |
66 | 7.77M | if (!PACKET_get_1(pkt, &cidl) |
67 | 7.77M | || cidl > QUIC_MAX_CONN_ID_LEN |
68 | 7.77M | || !PACKET_copy_bytes(pkt, cid->id, cidl)) |
69 | 408 | return 0; |
70 | | |
71 | 7.77M | cid->id_len = (unsigned char)cidl; |
72 | 7.77M | return 1; |
73 | 7.77M | } |
74 | | |
75 | | int FuzzerTestOneInput(const uint8_t *buf, size_t len) |
76 | 9.06k | { |
77 | 9.06k | int rc = 0; |
78 | 9.06k | QUIC_RCIDM *rcidm = NULL; |
79 | 9.06k | PACKET pkt; |
80 | 9.06k | uint64_t seq_num_out, arg_num_pkt; |
81 | 9.06k | unsigned int cmd, arg_clear; |
82 | 9.06k | QUIC_CONN_ID arg_cid, cid_out; |
83 | 9.06k | OSSL_QUIC_FRAME_NEW_CONN_ID ncid_frame; |
84 | | |
85 | 9.06k | if (!PACKET_buf_init(&pkt, buf, len)) |
86 | 0 | goto err; |
87 | | |
88 | 9.06k | if ((rcidm = ossl_quic_rcidm_new(NULL)) == NULL) |
89 | 0 | goto err; |
90 | | |
91 | 12.2M | while (PACKET_remaining(&pkt) > 0) { |
92 | 12.2M | if (!PACKET_get_1(&pkt, &cmd)) |
93 | 0 | goto err; |
94 | | |
95 | 12.2M | switch (cmd) { |
96 | 2.46M | case CMD_RESET_WITH_ODCID: |
97 | 2.46M | if (!get_cid(&pkt, &arg_cid)) { |
98 | 94 | rc = -1; |
99 | 94 | goto err; |
100 | 94 | } |
101 | | |
102 | 2.46M | ossl_quic_rcidm_free(rcidm); |
103 | | |
104 | 2.46M | if ((rcidm = ossl_quic_rcidm_new(&arg_cid)) == NULL) |
105 | 0 | goto err; |
106 | | |
107 | 2.46M | break; |
108 | | |
109 | 2.46M | case CMD_RESET_WITHOUT_ODCID: |
110 | 83.1k | ossl_quic_rcidm_free(rcidm); |
111 | | |
112 | 83.1k | if ((rcidm = ossl_quic_rcidm_new(NULL)) == NULL) |
113 | 0 | goto err; |
114 | | |
115 | 83.1k | break; |
116 | | |
117 | 302k | case CMD_ADD_FROM_INITIAL: |
118 | 302k | if (!get_cid(&pkt, &arg_cid)) { |
119 | 68 | rc = -1; |
120 | 68 | goto err; |
121 | 68 | } |
122 | | |
123 | 301k | ossl_quic_rcidm_add_from_initial(rcidm, &arg_cid); |
124 | 301k | break; |
125 | | |
126 | 296k | case CMD_ADD_FROM_SERVER_RETRY: |
127 | 296k | if (!get_cid(&pkt, &arg_cid)) { |
128 | 68 | rc = -1; |
129 | 68 | goto err; |
130 | 68 | } |
131 | | |
132 | 296k | ossl_quic_rcidm_add_from_server_retry(rcidm, &arg_cid); |
133 | 296k | break; |
134 | | |
135 | 4.70M | case CMD_ADD_FROM_NCID: |
136 | 4.70M | if (!PACKET_get_net_8(&pkt, &ncid_frame.seq_num) |
137 | 4.70M | || !PACKET_get_net_8(&pkt, &ncid_frame.retire_prior_to) |
138 | 4.70M | || !get_cid(&pkt, &ncid_frame.conn_id)) { |
139 | 406 | rc = -1; |
140 | 406 | goto err; |
141 | 406 | } |
142 | | |
143 | 4.70M | ossl_quic_rcidm_add_from_ncid(rcidm, &ncid_frame); |
144 | 4.70M | break; |
145 | | |
146 | 435k | case CMD_ON_HANDSHAKE_COMPLETE: |
147 | 435k | ossl_quic_rcidm_on_handshake_complete(rcidm); |
148 | 435k | break; |
149 | | |
150 | 601k | case CMD_ON_PACKET_SENT: |
151 | 601k | if (!PACKET_get_net_8(&pkt, &arg_num_pkt)) { |
152 | 42 | rc = -1; |
153 | 42 | goto err; |
154 | 42 | } |
155 | | |
156 | 601k | ossl_quic_rcidm_on_packet_sent(rcidm, arg_num_pkt); |
157 | 601k | break; |
158 | | |
159 | 2.89M | case CMD_REQUEST_ROLL: |
160 | 2.89M | ossl_quic_rcidm_request_roll(rcidm); |
161 | 2.89M | break; |
162 | | |
163 | 99.5k | case CMD_POP_RETIRE_SEQ_NUM: |
164 | 99.5k | ossl_quic_rcidm_pop_retire_seq_num(rcidm, &seq_num_out); |
165 | 99.5k | break; |
166 | | |
167 | 60.8k | case CMD_PEEK_RETIRE_SEQ_NUM: |
168 | 60.8k | ossl_quic_rcidm_peek_retire_seq_num(rcidm, &seq_num_out); |
169 | 60.8k | break; |
170 | | |
171 | 27.5k | case CMD_GET_PREFERRED_TX_DCID: |
172 | 27.5k | ossl_quic_rcidm_get_preferred_tx_dcid(rcidm, &cid_out); |
173 | 27.5k | break; |
174 | | |
175 | 300k | case CMD_GET_PREFERRED_TX_DCID_CHANGED: |
176 | 300k | if (!PACKET_get_1(&pkt, &arg_clear)) { |
177 | 8 | rc = -1; |
178 | 8 | goto err; |
179 | 8 | } |
180 | | |
181 | 300k | ossl_quic_rcidm_get_preferred_tx_dcid_changed(rcidm, arg_clear); |
182 | 300k | break; |
183 | | |
184 | 214 | default: |
185 | 214 | rc = -1; |
186 | 214 | goto err; |
187 | 12.2M | } |
188 | 12.2M | } |
189 | | |
190 | 9.06k | err: |
191 | 9.06k | ossl_quic_rcidm_free(rcidm); |
192 | 9.06k | return rc; |
193 | 9.06k | } |
194 | | |
195 | | void FuzzerCleanup(void) |
196 | 0 | { |
197 | 0 | FuzzerClearRand(); |
198 | 0 | } |