/src/openssl34/fuzz/quic-lcidm.c
Line | Count | Source |
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 | 242 | { |
20 | 242 | FuzzerSetRand(); |
21 | 242 | OPENSSL_init_crypto(OPENSSL_INIT_LOAD_CRYPTO_STRINGS | OPENSSL_INIT_ASYNC, NULL); |
22 | 242 | OPENSSL_init_ssl(OPENSSL_INIT_LOAD_SSL_STRINGS, NULL); |
23 | 242 | ERR_clear_error(); |
24 | 242 | return 1; |
25 | 242 | } |
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 | 1.94M | #define MAX_CMDS 5000 |
52 | | |
53 | | static int get_cid(PACKET *pkt, QUIC_CONN_ID *cid) |
54 | 980k | { |
55 | 980k | unsigned int cidl; |
56 | | |
57 | 980k | if (!PACKET_get_1(pkt, &cidl) |
58 | 979k | || cidl > QUIC_MAX_CONN_ID_LEN |
59 | 979k | || !PACKET_copy_bytes(pkt, cid->id, cidl)) |
60 | 286 | return 0; |
61 | | |
62 | 979k | cid->id_len = (unsigned char)cidl; |
63 | 979k | return 1; |
64 | 980k | } |
65 | | |
66 | | int FuzzerTestOneInput(const uint8_t *buf, size_t len) |
67 | 4.41k | { |
68 | 4.41k | int rc = 0; |
69 | 4.41k | QUIC_LCIDM *lcidm = NULL; |
70 | 4.41k | PACKET pkt; |
71 | 4.41k | uint64_t arg_opaque, arg_retire_prior_to, seq_num_out; |
72 | 4.41k | unsigned int cmd, lcidl; |
73 | 4.41k | QUIC_CONN_ID arg_cid, cid_out; |
74 | 4.41k | OSSL_QUIC_FRAME_NEW_CONN_ID ncid_frame; |
75 | 4.41k | int did_retire; |
76 | 4.41k | void *opaque_out; |
77 | 4.41k | size_t limit = 0; |
78 | | |
79 | 4.41k | if (!PACKET_buf_init(&pkt, buf, len)) |
80 | 0 | goto err; |
81 | | |
82 | 4.41k | if (!PACKET_get_1(&pkt, &lcidl) |
83 | 4.41k | || lcidl > QUIC_MAX_CONN_ID_LEN) { |
84 | 13 | rc = -1; |
85 | 13 | goto err; |
86 | 13 | } |
87 | | |
88 | 4.40k | if ((lcidm = ossl_quic_lcidm_new(NULL, lcidl)) == NULL) { |
89 | 0 | rc = -1; |
90 | 0 | goto err; |
91 | 0 | } |
92 | | |
93 | 1.94M | while (PACKET_remaining(&pkt) > 0) { |
94 | 1.94M | if (!PACKET_get_1(&pkt, &cmd)) |
95 | 0 | goto err; |
96 | | |
97 | 1.94M | if (++limit > MAX_CMDS) |
98 | 193 | goto err; |
99 | | |
100 | 1.94M | switch (cmd) { |
101 | 496k | case CMD_ENROL_ODCID: |
102 | 496k | if (!PACKET_get_net_8(&pkt, &arg_opaque) |
103 | 496k | || !get_cid(&pkt, &arg_cid)) { |
104 | 228 | rc = -1; |
105 | 228 | goto err; |
106 | 228 | } |
107 | | |
108 | 496k | ossl_quic_lcidm_enrol_odcid(lcidm, (void *)(uintptr_t)arg_opaque, |
109 | 496k | &arg_cid); |
110 | 496k | break; |
111 | | |
112 | 35.7k | case CMD_RETIRE_ODCID: |
113 | 35.7k | if (!PACKET_get_net_8(&pkt, &arg_opaque)) { |
114 | 23 | rc = -1; |
115 | 23 | goto err; |
116 | 23 | } |
117 | | |
118 | 35.7k | ossl_quic_lcidm_retire_odcid(lcidm, (void *)(uintptr_t)arg_opaque); |
119 | 35.7k | break; |
120 | | |
121 | 146k | case CMD_GENERATE_INITIAL: |
122 | 146k | if (!PACKET_get_net_8(&pkt, &arg_opaque)) { |
123 | 38 | rc = -1; |
124 | 38 | goto err; |
125 | 38 | } |
126 | | |
127 | 146k | ossl_quic_lcidm_generate_initial(lcidm, (void *)(uintptr_t)arg_opaque, |
128 | 146k | &cid_out); |
129 | 146k | break; |
130 | | |
131 | 877k | case CMD_GENERATE: |
132 | 877k | if (!PACKET_get_net_8(&pkt, &arg_opaque)) { |
133 | 87 | rc = -1; |
134 | 87 | goto err; |
135 | 87 | } |
136 | | |
137 | 877k | ossl_quic_lcidm_generate(lcidm, (void *)(uintptr_t)arg_opaque, |
138 | 877k | &ncid_frame); |
139 | 877k | break; |
140 | | |
141 | 59.7k | case CMD_RETIRE: |
142 | 59.7k | if (!PACKET_get_net_8(&pkt, &arg_opaque) |
143 | 59.7k | || !PACKET_get_net_8(&pkt, &arg_retire_prior_to)) { |
144 | 76 | rc = -1; |
145 | 76 | goto err; |
146 | 76 | } |
147 | | |
148 | 59.6k | ossl_quic_lcidm_retire(lcidm, (void *)(uintptr_t)arg_opaque, |
149 | 59.6k | arg_retire_prior_to, |
150 | 59.6k | NULL, &cid_out, |
151 | 59.6k | &seq_num_out, &did_retire); |
152 | 59.6k | break; |
153 | | |
154 | 23.6k | case CMD_CULL: |
155 | 23.6k | if (!PACKET_get_net_8(&pkt, &arg_opaque)) { |
156 | 20 | rc = -1; |
157 | 20 | goto err; |
158 | 20 | } |
159 | | |
160 | 23.6k | ossl_quic_lcidm_cull(lcidm, (void *)(uintptr_t)arg_opaque); |
161 | 23.6k | break; |
162 | | |
163 | 300k | case CMD_LOOKUP: |
164 | 300k | if (!get_cid(&pkt, &arg_cid)) { |
165 | 73 | rc = -1; |
166 | 73 | goto err; |
167 | 73 | } |
168 | | |
169 | 300k | ossl_quic_lcidm_lookup(lcidm, &arg_cid, &seq_num_out, &opaque_out); |
170 | 300k | break; |
171 | | |
172 | 228 | default: |
173 | 228 | rc = -1; |
174 | 228 | goto err; |
175 | 1.94M | } |
176 | 1.94M | } |
177 | | |
178 | 4.41k | err: |
179 | 4.41k | ossl_quic_lcidm_free(lcidm); |
180 | 4.41k | return rc; |
181 | 4.40k | } |
182 | | |
183 | | void FuzzerCleanup(void) |
184 | 0 | { |
185 | 0 | FuzzerClearRand(); |
186 | 0 | } |