/src/openssl35/fuzz/quic-lcidm.c
Line | Count | Source (jump to first uncovered line) |
1 | | /* |
2 | | * Copyright 2016-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_lcidm.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 | | * u8(LCID length) |
31 | | * Zero or more of: |
32 | | * ENROL_ODCID u0(0x00) u64(opaque) u8(cidl):cid |
33 | | * RETIRE_ODCID u8(0x01) u64(opaque) |
34 | | * GENERATE_INITIAL u8(0x02) u64(opaque) |
35 | | * GENERATE u8(0x03) u64(opaque) |
36 | | * RETIRE u8(0x04) u64(opaque) u64(retire_prior_to) |
37 | | * CULL u8(0x05) u64(opaque) |
38 | | * LOOKUP u8(0x06) u8(cidl):cid |
39 | | */ |
40 | | |
41 | | enum { |
42 | | CMD_ENROL_ODCID, |
43 | | CMD_RETIRE_ODCID, |
44 | | CMD_GENERATE_INITIAL, |
45 | | CMD_GENERATE, |
46 | | CMD_RETIRE, |
47 | | CMD_CULL, |
48 | | CMD_LOOKUP |
49 | | }; |
50 | | |
51 | 2.51M | #define MAX_CMDS 10000 |
52 | | |
53 | | static int get_cid(PACKET *pkt, QUIC_CONN_ID *cid) |
54 | 1.30M | { |
55 | 1.30M | unsigned int cidl; |
56 | | |
57 | 1.30M | if (!PACKET_get_1(pkt, &cidl) |
58 | 1.30M | || cidl > QUIC_MAX_CONN_ID_LEN |
59 | 1.30M | || !PACKET_copy_bytes(pkt, cid->id, cidl)) |
60 | 251 | return 0; |
61 | | |
62 | 1.30M | cid->id_len = (unsigned char)cidl; |
63 | 1.30M | return 1; |
64 | 1.30M | } |
65 | | |
66 | | int FuzzerTestOneInput(const uint8_t *buf, size_t len) |
67 | 3.38k | { |
68 | 3.38k | int rc = 0; |
69 | 3.38k | QUIC_LCIDM *lcidm = NULL; |
70 | 3.38k | PACKET pkt; |
71 | 3.38k | uint64_t arg_opaque, arg_retire_prior_to, seq_num_out; |
72 | 3.38k | unsigned int cmd, lcidl; |
73 | 3.38k | QUIC_CONN_ID arg_cid, cid_out; |
74 | 3.38k | OSSL_QUIC_FRAME_NEW_CONN_ID ncid_frame; |
75 | 3.38k | int did_retire; |
76 | 3.38k | void *opaque_out; |
77 | 3.38k | size_t limit = 0; |
78 | | |
79 | 3.38k | if (!PACKET_buf_init(&pkt, buf, len)) |
80 | 0 | goto err; |
81 | | |
82 | 3.38k | if (!PACKET_get_1(&pkt, &lcidl) |
83 | 3.38k | || lcidl > QUIC_MAX_CONN_ID_LEN) { |
84 | 13 | rc = -1; |
85 | 13 | goto err; |
86 | 13 | } |
87 | | |
88 | 3.37k | if ((lcidm = ossl_quic_lcidm_new(NULL, lcidl)) == NULL) { |
89 | 0 | rc = -1; |
90 | 0 | goto err; |
91 | 0 | } |
92 | | |
93 | 2.51M | while (PACKET_remaining(&pkt) > 0) { |
94 | 2.51M | if (!PACKET_get_1(&pkt, &cmd)) |
95 | 0 | goto err; |
96 | | |
97 | 2.51M | if (++limit > MAX_CMDS) |
98 | 114 | goto err; |
99 | | |
100 | 2.51M | switch (cmd) { |
101 | 553k | case CMD_ENROL_ODCID: |
102 | 553k | if (!PACKET_get_net_8(&pkt, &arg_opaque) |
103 | 553k | || !get_cid(&pkt, &arg_cid)) { |
104 | 191 | rc = -1; |
105 | 191 | goto err; |
106 | 191 | } |
107 | | |
108 | 553k | ossl_quic_lcidm_enrol_odcid(lcidm, (void *)(uintptr_t)arg_opaque, |
109 | 553k | &arg_cid); |
110 | 553k | break; |
111 | | |
112 | 24.9k | case CMD_RETIRE_ODCID: |
113 | 24.9k | if (!PACKET_get_net_8(&pkt, &arg_opaque)) { |
114 | 16 | rc = -1; |
115 | 16 | goto err; |
116 | 16 | } |
117 | | |
118 | 24.9k | ossl_quic_lcidm_retire_odcid(lcidm, (void *)(uintptr_t)arg_opaque); |
119 | 24.9k | break; |
120 | | |
121 | 160k | case CMD_GENERATE_INITIAL: |
122 | 160k | if (!PACKET_get_net_8(&pkt, &arg_opaque)) { |
123 | 30 | rc = -1; |
124 | 30 | goto err; |
125 | 30 | } |
126 | | |
127 | 160k | ossl_quic_lcidm_generate_initial(lcidm, (void *)(uintptr_t)arg_opaque, |
128 | 160k | &cid_out); |
129 | 160k | break; |
130 | | |
131 | 1.12M | case CMD_GENERATE: |
132 | 1.12M | if (!PACKET_get_net_8(&pkt, &arg_opaque)) { |
133 | 115 | rc = -1; |
134 | 115 | goto err; |
135 | 115 | } |
136 | | |
137 | 1.12M | ossl_quic_lcidm_generate(lcidm, (void *)(uintptr_t)arg_opaque, |
138 | 1.12M | &ncid_frame); |
139 | 1.12M | break; |
140 | | |
141 | 126k | case CMD_RETIRE: |
142 | 126k | if (!PACKET_get_net_8(&pkt, &arg_opaque) |
143 | 126k | || !PACKET_get_net_8(&pkt, &arg_retire_prior_to)) { |
144 | 63 | rc = -1; |
145 | 63 | goto err; |
146 | 63 | } |
147 | | |
148 | 126k | ossl_quic_lcidm_retire(lcidm, (void *)(uintptr_t)arg_opaque, |
149 | 126k | arg_retire_prior_to, |
150 | 126k | NULL, &cid_out, |
151 | 126k | &seq_num_out, &did_retire); |
152 | 126k | break; |
153 | | |
154 | 15.3k | case CMD_CULL: |
155 | 15.3k | if (!PACKET_get_net_8(&pkt, &arg_opaque)) { |
156 | 15 | rc = -1; |
157 | 15 | goto err; |
158 | 15 | } |
159 | | |
160 | 15.3k | ossl_quic_lcidm_cull(lcidm, (void *)(uintptr_t)arg_opaque); |
161 | 15.3k | break; |
162 | | |
163 | 507k | case CMD_LOOKUP: |
164 | 507k | if (!get_cid(&pkt, &arg_cid)) { |
165 | 63 | rc = -1; |
166 | 63 | goto err; |
167 | 63 | } |
168 | | |
169 | 507k | ossl_quic_lcidm_lookup(lcidm, &arg_cid, &seq_num_out, &opaque_out); |
170 | 507k | break; |
171 | | |
172 | 169 | default: |
173 | 169 | rc = -1; |
174 | 169 | goto err; |
175 | 2.51M | } |
176 | 2.51M | } |
177 | | |
178 | 3.38k | err: |
179 | 3.38k | ossl_quic_lcidm_free(lcidm); |
180 | 3.38k | return rc; |
181 | 3.37k | } |
182 | | |
183 | | void FuzzerCleanup(void) |
184 | 0 | { |
185 | 0 | FuzzerClearRand(); |
186 | 0 | } |