/src/openssl35/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 | 8.55M | { |
64 | 8.55M | unsigned int cidl; |
65 | | |
66 | 8.55M | if (!PACKET_get_1(pkt, &cidl) |
67 | 8.55M | || cidl > QUIC_MAX_CONN_ID_LEN |
68 | 8.55M | || !PACKET_copy_bytes(pkt, cid->id, cidl)) |
69 | 413 | return 0; |
70 | | |
71 | 8.55M | cid->id_len = (unsigned char)cidl; |
72 | 8.55M | return 1; |
73 | 8.55M | } |
74 | | |
75 | | int FuzzerTestOneInput(const uint8_t *buf, size_t len) |
76 | 9.30k | { |
77 | 9.30k | int rc = 0; |
78 | 9.30k | QUIC_RCIDM *rcidm = NULL; |
79 | 9.30k | PACKET pkt; |
80 | 9.30k | uint64_t seq_num_out, arg_num_pkt; |
81 | 9.30k | unsigned int cmd, arg_clear; |
82 | 9.30k | QUIC_CONN_ID arg_cid, cid_out; |
83 | 9.30k | OSSL_QUIC_FRAME_NEW_CONN_ID ncid_frame; |
84 | | |
85 | 9.30k | if (!PACKET_buf_init(&pkt, buf, len)) |
86 | 0 | goto err; |
87 | | |
88 | 9.30k | if ((rcidm = ossl_quic_rcidm_new(NULL)) == NULL) |
89 | 0 | goto err; |
90 | | |
91 | 12.9M | while (PACKET_remaining(&pkt) > 0) { |
92 | 12.9M | if (!PACKET_get_1(&pkt, &cmd)) |
93 | 0 | goto err; |
94 | | |
95 | 12.9M | switch (cmd) { |
96 | 3.09M | case CMD_RESET_WITH_ODCID: |
97 | 3.09M | if (!get_cid(&pkt, &arg_cid)) { |
98 | 96 | rc = -1; |
99 | 96 | goto err; |
100 | 96 | } |
101 | | |
102 | 3.09M | ossl_quic_rcidm_free(rcidm); |
103 | | |
104 | 3.09M | if ((rcidm = ossl_quic_rcidm_new(&arg_cid)) == NULL) |
105 | 0 | goto err; |
106 | | |
107 | 3.09M | break; |
108 | | |
109 | 3.09M | case CMD_RESET_WITHOUT_ODCID: |
110 | 92.2k | ossl_quic_rcidm_free(rcidm); |
111 | | |
112 | 92.2k | if ((rcidm = ossl_quic_rcidm_new(NULL)) == NULL) |
113 | 0 | goto err; |
114 | | |
115 | 92.2k | break; |
116 | | |
117 | 346k | case CMD_ADD_FROM_INITIAL: |
118 | 346k | if (!get_cid(&pkt, &arg_cid)) { |
119 | 71 | rc = -1; |
120 | 71 | goto err; |
121 | 71 | } |
122 | | |
123 | 346k | ossl_quic_rcidm_add_from_initial(rcidm, &arg_cid); |
124 | 346k | break; |
125 | | |
126 | 303k | case CMD_ADD_FROM_SERVER_RETRY: |
127 | 303k | if (!get_cid(&pkt, &arg_cid)) { |
128 | 68 | rc = -1; |
129 | 68 | goto err; |
130 | 68 | } |
131 | | |
132 | 303k | ossl_quic_rcidm_add_from_server_retry(rcidm, &arg_cid); |
133 | 303k | break; |
134 | | |
135 | 4.80M | case CMD_ADD_FROM_NCID: |
136 | 4.80M | if (!PACKET_get_net_8(&pkt, &ncid_frame.seq_num) |
137 | 4.80M | || !PACKET_get_net_8(&pkt, &ncid_frame.retire_prior_to) |
138 | 4.80M | || !get_cid(&pkt, &ncid_frame.conn_id)) { |
139 | 404 | rc = -1; |
140 | 404 | goto err; |
141 | 404 | } |
142 | | |
143 | 4.80M | ossl_quic_rcidm_add_from_ncid(rcidm, &ncid_frame); |
144 | 4.80M | break; |
145 | | |
146 | 419k | case CMD_ON_HANDSHAKE_COMPLETE: |
147 | 419k | ossl_quic_rcidm_on_handshake_complete(rcidm); |
148 | 419k | break; |
149 | | |
150 | 565k | case CMD_ON_PACKET_SENT: |
151 | 565k | if (!PACKET_get_net_8(&pkt, &arg_num_pkt)) { |
152 | 43 | rc = -1; |
153 | 43 | goto err; |
154 | 43 | } |
155 | | |
156 | 565k | ossl_quic_rcidm_on_packet_sent(rcidm, arg_num_pkt); |
157 | 565k | break; |
158 | | |
159 | 2.82M | case CMD_REQUEST_ROLL: |
160 | 2.82M | ossl_quic_rcidm_request_roll(rcidm); |
161 | 2.82M | break; |
162 | | |
163 | 111k | case CMD_POP_RETIRE_SEQ_NUM: |
164 | 111k | ossl_quic_rcidm_pop_retire_seq_num(rcidm, &seq_num_out); |
165 | 111k | break; |
166 | | |
167 | 54.5k | case CMD_PEEK_RETIRE_SEQ_NUM: |
168 | 54.5k | ossl_quic_rcidm_peek_retire_seq_num(rcidm, &seq_num_out); |
169 | 54.5k | break; |
170 | | |
171 | 28.4k | case CMD_GET_PREFERRED_TX_DCID: |
172 | 28.4k | ossl_quic_rcidm_get_preferred_tx_dcid(rcidm, &cid_out); |
173 | 28.4k | break; |
174 | | |
175 | 318k | case CMD_GET_PREFERRED_TX_DCID_CHANGED: |
176 | 318k | if (!PACKET_get_1(&pkt, &arg_clear)) { |
177 | 9 | rc = -1; |
178 | 9 | goto err; |
179 | 9 | } |
180 | | |
181 | 318k | ossl_quic_rcidm_get_preferred_tx_dcid_changed(rcidm, arg_clear); |
182 | 318k | break; |
183 | | |
184 | 209 | default: |
185 | 209 | rc = -1; |
186 | 209 | goto err; |
187 | 12.9M | } |
188 | 12.9M | } |
189 | | |
190 | 9.30k | err: |
191 | 9.30k | ossl_quic_rcidm_free(rcidm); |
192 | 9.30k | return rc; |
193 | 9.30k | } |
194 | | |
195 | | void FuzzerCleanup(void) |
196 | 0 | { |
197 | 0 | FuzzerClearRand(); |
198 | 0 | } |