/src/openssl32/ssl/quic/quic_rx_depack.c
Line | Count | Source (jump to first uncovered line) |
1 | | /* |
2 | | * Copyright 2022-2023 The OpenSSL Project Authors. All Rights Reserved. |
3 | | * |
4 | | * Licensed under the Apache License 2.0 (the "License"). You may not use |
5 | | * this file except in compliance with the License. You can obtain a copy |
6 | | * in the file LICENSE in the source distribution or at |
7 | | * https://www.openssl.org/source/license.html |
8 | | */ |
9 | | |
10 | | #include "internal/packet_quic.h" |
11 | | #include "internal/nelem.h" |
12 | | #include "internal/quic_wire.h" |
13 | | #include "internal/quic_record_rx.h" |
14 | | #include "internal/quic_ackm.h" |
15 | | #include "internal/quic_rx_depack.h" |
16 | | #include "internal/quic_error.h" |
17 | | #include "internal/quic_fc.h" |
18 | | #include "internal/quic_channel.h" |
19 | | #include "internal/sockets.h" |
20 | | |
21 | | #include "quic_local.h" |
22 | | #include "quic_channel_local.h" |
23 | | #include "../ssl_local.h" |
24 | | |
25 | | /* |
26 | | * Helper functions to process different frame types. |
27 | | * |
28 | | * Typically, those that are ACK eliciting will take an OSSL_ACKM_RX_PKT |
29 | | * pointer argument, the few that aren't ACK eliciting will not. This makes |
30 | | * them a verifiable pattern against tables where this is specified. |
31 | | */ |
32 | | static int depack_do_implicit_stream_create(QUIC_CHANNEL *ch, |
33 | | uint64_t stream_id, |
34 | | uint64_t frame_type, |
35 | | QUIC_STREAM **result); |
36 | | |
37 | | static int depack_do_frame_padding(PACKET *pkt) |
38 | 269k | { |
39 | | /* We ignore this frame */ |
40 | 269k | ossl_quic_wire_decode_padding(pkt); |
41 | 269k | return 1; |
42 | 269k | } |
43 | | |
44 | | static int depack_do_frame_ping(PACKET *pkt, QUIC_CHANNEL *ch, |
45 | | uint32_t enc_level, |
46 | | OSSL_ACKM_RX_PKT *ackm_data) |
47 | 677k | { |
48 | | /* We ignore this frame, apart from eliciting an ACK */ |
49 | 677k | if (!ossl_quic_wire_decode_frame_ping(pkt)) { |
50 | 0 | ossl_quic_channel_raise_protocol_error(ch, |
51 | 0 | QUIC_ERR_FRAME_ENCODING_ERROR, |
52 | 0 | OSSL_QUIC_FRAME_TYPE_PING, |
53 | 0 | "decode error"); |
54 | 0 | return 0; |
55 | 0 | } |
56 | | |
57 | 677k | ossl_quic_tx_packetiser_schedule_ack_eliciting(ch->txp, enc_level); |
58 | 677k | return 1; |
59 | 677k | } |
60 | | |
61 | | static int depack_do_frame_ack(PACKET *pkt, QUIC_CHANNEL *ch, |
62 | | int packet_space, OSSL_TIME received, |
63 | | uint64_t frame_type, |
64 | | OSSL_QRX_PKT *qpacket) |
65 | 112k | { |
66 | 112k | OSSL_QUIC_FRAME_ACK ack; |
67 | 112k | OSSL_QUIC_ACK_RANGE *p; |
68 | 112k | uint64_t total_ranges = 0; |
69 | 112k | uint32_t ack_delay_exp = ch->rx_ack_delay_exp; |
70 | | |
71 | 112k | if (!ossl_quic_wire_peek_frame_ack_num_ranges(pkt, &total_ranges) |
72 | | /* In case sizeof(uint64_t) > sizeof(size_t) */ |
73 | 112k | || total_ranges > SIZE_MAX / sizeof(OSSL_QUIC_ACK_RANGE)) |
74 | 429 | goto malformed; |
75 | | |
76 | 112k | if (ch->num_ack_range_scratch < (size_t)total_ranges) { |
77 | 16.5k | if ((p = OPENSSL_realloc(ch->ack_range_scratch, |
78 | 16.5k | sizeof(OSSL_QUIC_ACK_RANGE) |
79 | 16.5k | * (size_t)total_ranges)) == NULL) |
80 | 0 | goto malformed; |
81 | | |
82 | 16.5k | ch->ack_range_scratch = p; |
83 | 16.5k | ch->num_ack_range_scratch = (size_t)total_ranges; |
84 | 16.5k | } |
85 | | |
86 | 112k | ack.ack_ranges = ch->ack_range_scratch; |
87 | 112k | ack.num_ack_ranges = (size_t)total_ranges; |
88 | | |
89 | 112k | if (!ossl_quic_wire_decode_frame_ack(pkt, ack_delay_exp, &ack, NULL)) |
90 | 484 | goto malformed; |
91 | | |
92 | 111k | if (qpacket->hdr->type == QUIC_PKT_TYPE_1RTT |
93 | 111k | && (qpacket->key_epoch < ossl_qrx_get_key_epoch(ch->qrx) |
94 | 27.3k | || ch->rxku_expected) |
95 | 111k | && ack.ack_ranges[0].end >= ch->txku_pn) { |
96 | | /* |
97 | | * RFC 9001 s. 6.2: An endpoint that receives an acknowledgment that is |
98 | | * carried in a packet protected with old keys where any acknowledged |
99 | | * packet was protected with newer keys MAY treat that as a connection |
100 | | * error of type KEY_UPDATE_ERROR. |
101 | | * |
102 | | * Two cases to handle here: |
103 | | * |
104 | | * - We did spontaneous TXKU, the peer has responded in kind and we |
105 | | * have detected RXKU; !ch->rxku_expected, but then it sent a packet |
106 | | * with old keys acknowledging a packet in the new key epoch. |
107 | | * |
108 | | * This also covers the case where we got RXKU and triggered |
109 | | * solicited TXKU, and then for some reason the peer sent an ACK of |
110 | | * a PN in our new TX key epoch with old keys. |
111 | | * |
112 | | * - We did spontaneous TXKU; ch->txku_pn is the starting PN of our |
113 | | * new TX key epoch; the peer has not initiated a solicited TXKU in |
114 | | * response (so we have not detected RXKU); in this case the RX key |
115 | | * epoch has not incremented and ch->rxku_expected is still 1. |
116 | | */ |
117 | 26 | ossl_quic_channel_raise_protocol_error(ch, |
118 | 26 | QUIC_ERR_KEY_UPDATE_ERROR, |
119 | 26 | frame_type, |
120 | 26 | "acked packet which initiated a " |
121 | 26 | "key update without a " |
122 | 26 | "corresponding key update"); |
123 | 26 | return 0; |
124 | 26 | } |
125 | | |
126 | 111k | if (!ossl_ackm_on_rx_ack_frame(ch->ackm, &ack, |
127 | 111k | packet_space, received)) |
128 | 0 | goto malformed; |
129 | | |
130 | 111k | ++ch->diag_num_rx_ack; |
131 | 111k | return 1; |
132 | | |
133 | 913 | malformed: |
134 | 913 | ossl_quic_channel_raise_protocol_error(ch, |
135 | 913 | QUIC_ERR_FRAME_ENCODING_ERROR, |
136 | 913 | frame_type, |
137 | 913 | "decode error"); |
138 | 913 | return 0; |
139 | 111k | } |
140 | | |
141 | | static int depack_do_frame_reset_stream(PACKET *pkt, |
142 | | QUIC_CHANNEL *ch, |
143 | | OSSL_ACKM_RX_PKT *ackm_data) |
144 | 3.20k | { |
145 | 3.20k | OSSL_QUIC_FRAME_RESET_STREAM frame_data; |
146 | 3.20k | QUIC_STREAM *stream = NULL; |
147 | 3.20k | uint64_t fce; |
148 | | |
149 | 3.20k | if (!ossl_quic_wire_decode_frame_reset_stream(pkt, &frame_data)) { |
150 | 38 | ossl_quic_channel_raise_protocol_error(ch, |
151 | 38 | QUIC_ERR_FRAME_ENCODING_ERROR, |
152 | 38 | OSSL_QUIC_FRAME_TYPE_RESET_STREAM, |
153 | 38 | "decode error"); |
154 | 38 | return 0; |
155 | 38 | } |
156 | | |
157 | 3.16k | if (!depack_do_implicit_stream_create(ch, frame_data.stream_id, |
158 | 3.16k | OSSL_QUIC_FRAME_TYPE_RESET_STREAM, |
159 | 3.16k | &stream)) |
160 | 77 | return 0; /* error already raised for us */ |
161 | | |
162 | 3.08k | if (stream == NULL) |
163 | 0 | return 1; /* old deleted stream, not a protocol violation, ignore */ |
164 | | |
165 | 3.08k | if (!ossl_quic_stream_has_recv(stream)) { |
166 | 0 | ossl_quic_channel_raise_protocol_error(ch, |
167 | 0 | QUIC_ERR_STREAM_STATE_ERROR, |
168 | 0 | OSSL_QUIC_FRAME_TYPE_RESET_STREAM, |
169 | 0 | "RESET_STREAM frame for " |
170 | 0 | "TX only stream"); |
171 | 0 | return 0; |
172 | 0 | } |
173 | | |
174 | | /* |
175 | | * The final size field of the RESET_STREAM frame must be used to determine |
176 | | * how much flow control credit the aborted stream was considered to have |
177 | | * consumed. |
178 | | * |
179 | | * We also need to ensure that if we already have a final size for the |
180 | | * stream, the RESET_STREAM frame's Final Size field matches this; we SHOULD |
181 | | * terminate the connection otherwise (RFC 9000 s. 4.5). The RXFC takes care |
182 | | * of this for us. |
183 | | */ |
184 | 3.08k | if (!ossl_quic_rxfc_on_rx_stream_frame(&stream->rxfc, |
185 | 3.08k | frame_data.final_size, /*is_fin=*/1)) { |
186 | 0 | ossl_quic_channel_raise_protocol_error(ch, |
187 | 0 | QUIC_ERR_INTERNAL_ERROR, |
188 | 0 | OSSL_QUIC_FRAME_TYPE_RESET_STREAM, |
189 | 0 | "internal error (flow control)"); |
190 | 0 | return 0; |
191 | 0 | } |
192 | | |
193 | | /* Has a flow control error occurred? */ |
194 | 3.08k | fce = ossl_quic_rxfc_get_error(&stream->rxfc, 0); |
195 | 3.08k | if (fce != QUIC_ERR_NO_ERROR) { |
196 | 53 | ossl_quic_channel_raise_protocol_error(ch, |
197 | 53 | fce, |
198 | 53 | OSSL_QUIC_FRAME_TYPE_RESET_STREAM, |
199 | 53 | "flow control violation"); |
200 | 53 | return 0; |
201 | 53 | } |
202 | | |
203 | | /* |
204 | | * Depending on the receive part state this is handled either as a reset |
205 | | * transition or a no-op (e.g. if a reset has already been received before, |
206 | | * or the application already retired a FIN). Best effort - there are no |
207 | | * protocol error conditions we need to check for here. |
208 | | */ |
209 | 3.03k | ossl_quic_stream_map_notify_reset_recv_part(&ch->qsm, stream, |
210 | 3.03k | frame_data.app_error_code, |
211 | 3.03k | frame_data.final_size); |
212 | | |
213 | 3.03k | ossl_quic_stream_map_update_state(&ch->qsm, stream); |
214 | 3.03k | return 1; |
215 | 3.08k | } |
216 | | |
217 | | static int depack_do_frame_stop_sending(PACKET *pkt, |
218 | | QUIC_CHANNEL *ch, |
219 | | OSSL_ACKM_RX_PKT *ackm_data) |
220 | 40.6k | { |
221 | 40.6k | OSSL_QUIC_FRAME_STOP_SENDING frame_data; |
222 | 40.6k | QUIC_STREAM *stream = NULL; |
223 | | |
224 | 40.6k | if (!ossl_quic_wire_decode_frame_stop_sending(pkt, &frame_data)) { |
225 | 27 | ossl_quic_channel_raise_protocol_error(ch, |
226 | 27 | QUIC_ERR_FRAME_ENCODING_ERROR, |
227 | 27 | OSSL_QUIC_FRAME_TYPE_STOP_SENDING, |
228 | 27 | "decode error"); |
229 | 27 | return 0; |
230 | 27 | } |
231 | | |
232 | 40.6k | if (!depack_do_implicit_stream_create(ch, frame_data.stream_id, |
233 | 40.6k | OSSL_QUIC_FRAME_TYPE_STOP_SENDING, |
234 | 40.6k | &stream)) |
235 | 81 | return 0; /* error already raised for us */ |
236 | | |
237 | 40.5k | if (stream == NULL) |
238 | 0 | return 1; /* old deleted stream, not a protocol violation, ignore */ |
239 | | |
240 | 40.5k | if (!ossl_quic_stream_has_send(stream)) { |
241 | 11 | ossl_quic_channel_raise_protocol_error(ch, |
242 | 11 | QUIC_ERR_STREAM_STATE_ERROR, |
243 | 11 | OSSL_QUIC_FRAME_TYPE_STOP_SENDING, |
244 | 11 | "STOP_SENDING frame for " |
245 | 11 | "RX only stream"); |
246 | 11 | return 0; |
247 | 11 | } |
248 | | |
249 | 40.5k | stream->peer_stop_sending = 1; |
250 | 40.5k | stream->peer_stop_sending_aec = frame_data.app_error_code; |
251 | | |
252 | | /* |
253 | | * RFC 9000 s. 3.5: Receiving a STOP_SENDING frame means we must respond in |
254 | | * turn with a RESET_STREAM frame for the same part of the stream. The other |
255 | | * part is unaffected. |
256 | | */ |
257 | 40.5k | ossl_quic_stream_map_reset_stream_send_part(&ch->qsm, stream, |
258 | 40.5k | frame_data.app_error_code); |
259 | 40.5k | return 1; |
260 | 40.5k | } |
261 | | |
262 | | static int depack_do_frame_crypto(PACKET *pkt, QUIC_CHANNEL *ch, |
263 | | OSSL_QRX_PKT *parent_pkt, |
264 | | OSSL_ACKM_RX_PKT *ackm_data, |
265 | | uint64_t *datalen) |
266 | 147k | { |
267 | 147k | OSSL_QUIC_FRAME_CRYPTO f; |
268 | 147k | QUIC_RSTREAM *rstream; |
269 | 147k | QUIC_RXFC *rxfc; |
270 | | |
271 | 147k | *datalen = 0; |
272 | | |
273 | 147k | if (!ossl_quic_wire_decode_frame_crypto(pkt, 0, &f)) { |
274 | 369 | ossl_quic_channel_raise_protocol_error(ch, |
275 | 369 | QUIC_ERR_FRAME_ENCODING_ERROR, |
276 | 369 | OSSL_QUIC_FRAME_TYPE_CRYPTO, |
277 | 369 | "decode error"); |
278 | 369 | return 0; |
279 | 369 | } |
280 | | |
281 | 147k | if (f.len == 0) |
282 | 53.8k | return 1; /* nothing to do */ |
283 | | |
284 | 93.6k | rstream = ch->crypto_recv[ackm_data->pkt_space]; |
285 | 93.6k | if (!ossl_assert(rstream != NULL)) |
286 | | /* |
287 | | * This should not happen; we should only have a NULL stream here if |
288 | | * the EL has been discarded, and if the EL has been discarded we |
289 | | * shouldn't be here. |
290 | | */ |
291 | 0 | return 0; |
292 | | |
293 | 93.6k | rxfc = &ch->crypto_rxfc[ackm_data->pkt_space]; |
294 | | |
295 | 93.6k | if (!ossl_quic_rxfc_on_rx_stream_frame(rxfc, f.offset + f.len, |
296 | 93.6k | /*is_fin=*/0)) { |
297 | 0 | ossl_quic_channel_raise_protocol_error(ch, |
298 | 0 | QUIC_ERR_INTERNAL_ERROR, |
299 | 0 | OSSL_QUIC_FRAME_TYPE_CRYPTO, |
300 | 0 | "internal error (crypto RXFC)"); |
301 | 0 | return 0; |
302 | 0 | } |
303 | | |
304 | 93.6k | if (ossl_quic_rxfc_get_error(rxfc, 0) != QUIC_ERR_NO_ERROR) { |
305 | 119 | ossl_quic_channel_raise_protocol_error(ch, QUIC_ERR_CRYPTO_BUFFER_EXCEEDED, |
306 | 119 | OSSL_QUIC_FRAME_TYPE_CRYPTO, |
307 | 119 | "exceeded maximum crypto buffer"); |
308 | 119 | return 0; |
309 | 119 | } |
310 | | |
311 | 93.4k | if (!ossl_quic_rstream_queue_data(rstream, parent_pkt, |
312 | 93.4k | f.offset, f.data, f.len, 0)) { |
313 | 0 | ossl_quic_channel_raise_protocol_error(ch, |
314 | 0 | QUIC_ERR_INTERNAL_ERROR, |
315 | 0 | OSSL_QUIC_FRAME_TYPE_CRYPTO, |
316 | 0 | "internal error (rstream queue)"); |
317 | 0 | return 0; |
318 | 0 | } |
319 | | |
320 | 93.4k | ch->did_crypto_frame = 1; |
321 | 93.4k | *datalen = f.len; |
322 | | |
323 | 93.4k | return 1; |
324 | 93.4k | } |
325 | | |
326 | | static int depack_do_frame_new_token(PACKET *pkt, QUIC_CHANNEL *ch, |
327 | | OSSL_ACKM_RX_PKT *ackm_data) |
328 | 1.01k | { |
329 | 1.01k | const uint8_t *token; |
330 | 1.01k | size_t token_len; |
331 | | |
332 | 1.01k | if (!ossl_quic_wire_decode_frame_new_token(pkt, &token, &token_len)) { |
333 | 20 | ossl_quic_channel_raise_protocol_error(ch, |
334 | 20 | QUIC_ERR_FRAME_ENCODING_ERROR, |
335 | 20 | OSSL_QUIC_FRAME_TYPE_NEW_TOKEN, |
336 | 20 | "decode error"); |
337 | 20 | return 0; |
338 | 20 | } |
339 | | |
340 | 999 | if (token_len == 0) { |
341 | | /* |
342 | | * RFC 9000 s. 19.7: "A client MUST treat receipt of a NEW_TOKEN frame |
343 | | * with an empty Token field as a connection error of type |
344 | | * FRAME_ENCODING_ERROR." |
345 | | */ |
346 | 5 | ossl_quic_channel_raise_protocol_error(ch, |
347 | 5 | QUIC_ERR_FRAME_ENCODING_ERROR, |
348 | 5 | OSSL_QUIC_FRAME_TYPE_NEW_TOKEN, |
349 | 5 | "zero-length NEW_TOKEN"); |
350 | 5 | return 0; |
351 | 5 | } |
352 | | |
353 | | /* TODO(QUIC FUTURE): ADD CODE to send |token| to the session manager */ |
354 | | |
355 | 994 | return 1; |
356 | 999 | } |
357 | | |
358 | | /* |
359 | | * Returns 1 if no protocol violation has occurred. In this case *result will be |
360 | | * non-NULL unless this is an old deleted stream and we should ignore the frame |
361 | | * causing this function to be called. Returns 0 on protocol violation. |
362 | | */ |
363 | | static int depack_do_implicit_stream_create(QUIC_CHANNEL *ch, |
364 | | uint64_t stream_id, |
365 | | uint64_t frame_type, |
366 | | QUIC_STREAM **result) |
367 | 77.0k | { |
368 | 77.0k | QUIC_STREAM *stream; |
369 | 77.0k | uint64_t peer_role, stream_ordinal; |
370 | 77.0k | uint64_t *p_next_ordinal_local, *p_next_ordinal_remote; |
371 | 77.0k | QUIC_RXFC *max_streams_fc; |
372 | 77.0k | int is_uni, is_remote_init; |
373 | | |
374 | 77.0k | stream = ossl_quic_stream_map_get_by_id(&ch->qsm, stream_id); |
375 | 77.0k | if (stream != NULL) { |
376 | 70.3k | *result = stream; |
377 | 70.3k | return 1; |
378 | 70.3k | } |
379 | | |
380 | | /* |
381 | | * If we do not yet have a stream with the given ID, there are three |
382 | | * possibilities: |
383 | | * |
384 | | * (a) The stream ID is for a remotely-created stream and the peer |
385 | | * is creating a stream. |
386 | | * |
387 | | * (b) The stream ID is for a locally-created stream which has |
388 | | * previously been deleted. |
389 | | * |
390 | | * (c) The stream ID is for a locally-created stream which does |
391 | | * not exist yet. This is a protocol violation and we must |
392 | | * terminate the connection in this case. |
393 | | * |
394 | | * We distinguish between (b) and (c) using the stream ID allocator |
395 | | * variable. Since stream ordinals are allocated monotonically, we |
396 | | * simply determine if the stream ordinal is in the future. |
397 | | */ |
398 | 6.68k | peer_role = ch->is_server |
399 | 6.68k | ? QUIC_STREAM_INITIATOR_CLIENT |
400 | 6.68k | : QUIC_STREAM_INITIATOR_SERVER; |
401 | | |
402 | 6.68k | is_remote_init = ((stream_id & QUIC_STREAM_INITIATOR_MASK) == peer_role); |
403 | 6.68k | is_uni = ((stream_id & QUIC_STREAM_DIR_MASK) == QUIC_STREAM_DIR_UNI); |
404 | | |
405 | 6.68k | stream_ordinal = stream_id >> 2; |
406 | | |
407 | 6.68k | if (is_remote_init) { |
408 | | /* |
409 | | * Peer-created stream which does not yet exist. Create it. QUIC stream |
410 | | * ordinals within a given stream type MUST be used in sequence and |
411 | | * receiving a STREAM frame for ordinal n must implicitly create streams |
412 | | * with ordinals [0, n) within that stream type even if no explicit |
413 | | * STREAM frames are received for those ordinals. |
414 | | */ |
415 | 6.29k | p_next_ordinal_remote = is_uni |
416 | 6.29k | ? &ch->next_remote_stream_ordinal_uni |
417 | 6.29k | : &ch->next_remote_stream_ordinal_bidi; |
418 | | |
419 | | /* Check this isn't violating stream count flow control. */ |
420 | 6.29k | max_streams_fc = is_uni |
421 | 6.29k | ? &ch->max_streams_uni_rxfc |
422 | 6.29k | : &ch->max_streams_bidi_rxfc; |
423 | | |
424 | 6.29k | if (!ossl_quic_rxfc_on_rx_stream_frame(max_streams_fc, |
425 | 6.29k | stream_ordinal + 1, |
426 | 6.29k | /*is_fin=*/0)) { |
427 | 0 | ossl_quic_channel_raise_protocol_error(ch, |
428 | 0 | QUIC_ERR_INTERNAL_ERROR, |
429 | 0 | frame_type, |
430 | 0 | "internal error (stream count RXFC)"); |
431 | 0 | return 0; |
432 | 0 | } |
433 | | |
434 | 6.29k | if (ossl_quic_rxfc_get_error(max_streams_fc, 0) != QUIC_ERR_NO_ERROR) { |
435 | 47 | ossl_quic_channel_raise_protocol_error(ch, QUIC_ERR_STREAM_LIMIT_ERROR, |
436 | 47 | frame_type, |
437 | 47 | "exceeded maximum allowed streams"); |
438 | 47 | return 0; |
439 | 47 | } |
440 | | |
441 | | /* |
442 | | * Create the named stream and any streams coming before it yet to be |
443 | | * created. |
444 | | */ |
445 | 65.0k | while (*p_next_ordinal_remote <= stream_ordinal) { |
446 | 58.7k | uint64_t cur_stream_id = (*p_next_ordinal_remote << 2) | |
447 | 58.7k | (stream_id |
448 | 58.7k | & (QUIC_STREAM_DIR_MASK | QUIC_STREAM_INITIATOR_MASK)); |
449 | | |
450 | 58.7k | stream = ossl_quic_channel_new_stream_remote(ch, cur_stream_id); |
451 | 58.7k | if (stream == NULL) { |
452 | 0 | ossl_quic_channel_raise_protocol_error(ch, |
453 | 0 | QUIC_ERR_INTERNAL_ERROR, |
454 | 0 | frame_type, |
455 | 0 | "internal error (stream allocation)"); |
456 | 0 | return 0; |
457 | 0 | } |
458 | | |
459 | 58.7k | ++*p_next_ordinal_remote; |
460 | 58.7k | } |
461 | | |
462 | 6.25k | *result = stream; |
463 | 6.25k | } else { |
464 | | /* Locally-created stream which does not yet exist. */ |
465 | 384 | p_next_ordinal_local = is_uni |
466 | 384 | ? &ch->next_local_stream_ordinal_uni |
467 | 384 | : &ch->next_local_stream_ordinal_bidi; |
468 | | |
469 | 384 | if (stream_ordinal >= *p_next_ordinal_local) { |
470 | | /* |
471 | | * We never created this stream yet, this is a protocol |
472 | | * violation. |
473 | | */ |
474 | 384 | ossl_quic_channel_raise_protocol_error(ch, |
475 | 384 | QUIC_ERR_STREAM_STATE_ERROR, |
476 | 384 | frame_type, |
477 | 384 | "STREAM frame for nonexistent " |
478 | 384 | "stream"); |
479 | 384 | return 0; |
480 | 384 | } |
481 | | |
482 | | /* |
483 | | * Otherwise this is for an old locally-initiated stream which we |
484 | | * have subsequently deleted. Ignore the data; it may simply be a |
485 | | * retransmission. We already take care of notifying the peer of the |
486 | | * termination of the stream during the stream deletion lifecycle. |
487 | | */ |
488 | 0 | *result = NULL; |
489 | 0 | } |
490 | | |
491 | 6.25k | return 1; |
492 | 6.68k | } |
493 | | |
494 | | static int depack_do_frame_stream(PACKET *pkt, QUIC_CHANNEL *ch, |
495 | | OSSL_QRX_PKT *parent_pkt, |
496 | | OSSL_ACKM_RX_PKT *ackm_data, |
497 | | uint64_t frame_type, |
498 | | uint64_t *datalen) |
499 | 28.1k | { |
500 | 28.1k | OSSL_QUIC_FRAME_STREAM frame_data; |
501 | 28.1k | QUIC_STREAM *stream; |
502 | 28.1k | uint64_t fce; |
503 | 28.1k | size_t rs_avail; |
504 | 28.1k | int rs_fin = 0; |
505 | | |
506 | 28.1k | *datalen = 0; |
507 | | |
508 | 28.1k | if (!ossl_quic_wire_decode_frame_stream(pkt, 0, &frame_data)) { |
509 | 182 | ossl_quic_channel_raise_protocol_error(ch, |
510 | 182 | QUIC_ERR_FRAME_ENCODING_ERROR, |
511 | 182 | frame_type, |
512 | 182 | "decode error"); |
513 | 182 | return 0; |
514 | 182 | } |
515 | | |
516 | 27.9k | if (!depack_do_implicit_stream_create(ch, frame_data.stream_id, |
517 | 27.9k | frame_type, &stream)) |
518 | 178 | return 0; /* protocol error raised by above call */ |
519 | | |
520 | 27.7k | if (stream == NULL) |
521 | | /* |
522 | | * Data for old stream which is not a protocol violation but should be |
523 | | * ignored, so stop here. |
524 | | */ |
525 | 0 | return 1; |
526 | | |
527 | 27.7k | if (!ossl_quic_stream_has_recv(stream)) { |
528 | 0 | ossl_quic_channel_raise_protocol_error(ch, |
529 | 0 | QUIC_ERR_STREAM_STATE_ERROR, |
530 | 0 | frame_type, |
531 | 0 | "STREAM frame for TX only " |
532 | 0 | "stream"); |
533 | 0 | return 0; |
534 | 0 | } |
535 | | |
536 | | /* Notify stream flow controller. */ |
537 | 27.7k | if (!ossl_quic_rxfc_on_rx_stream_frame(&stream->rxfc, |
538 | 27.7k | frame_data.offset + frame_data.len, |
539 | 27.7k | frame_data.is_fin)) { |
540 | 0 | ossl_quic_channel_raise_protocol_error(ch, |
541 | 0 | QUIC_ERR_INTERNAL_ERROR, |
542 | 0 | frame_type, |
543 | 0 | "internal error (flow control)"); |
544 | 0 | return 0; |
545 | 0 | } |
546 | | |
547 | | /* Has a flow control error occurred? */ |
548 | 27.7k | fce = ossl_quic_rxfc_get_error(&stream->rxfc, 0); |
549 | 27.7k | if (fce != QUIC_ERR_NO_ERROR) { |
550 | 166 | ossl_quic_channel_raise_protocol_error(ch, |
551 | 166 | fce, |
552 | 166 | frame_type, |
553 | 166 | "flow control violation"); |
554 | 166 | return 0; |
555 | 166 | } |
556 | | |
557 | 27.6k | switch (stream->recv_state) { |
558 | 6.27k | case QUIC_RSTREAM_STATE_RECV: |
559 | 23.1k | case QUIC_RSTREAM_STATE_SIZE_KNOWN: |
560 | | /* |
561 | | * It only makes sense to process incoming STREAM frames in these |
562 | | * states. |
563 | | */ |
564 | 23.1k | break; |
565 | | |
566 | 4.38k | case QUIC_RSTREAM_STATE_DATA_RECVD: |
567 | 4.45k | case QUIC_RSTREAM_STATE_DATA_READ: |
568 | 4.47k | case QUIC_RSTREAM_STATE_RESET_RECVD: |
569 | 4.47k | case QUIC_RSTREAM_STATE_RESET_READ: |
570 | 4.47k | default: |
571 | | /* |
572 | | * We have no use for STREAM frames once the receive part reaches any of |
573 | | * these states, so just ignore. |
574 | | */ |
575 | 4.47k | return 1; |
576 | 27.6k | } |
577 | | |
578 | | /* If we are in RECV, auto-transition to SIZE_KNOWN on FIN. */ |
579 | 23.1k | if (frame_data.is_fin |
580 | 23.1k | && !ossl_quic_stream_recv_get_final_size(stream, NULL)) { |
581 | | |
582 | | /* State was already checked above, so can't fail. */ |
583 | 3.69k | ossl_quic_stream_map_notify_size_known_recv_part(&ch->qsm, stream, |
584 | 3.69k | frame_data.offset |
585 | 3.69k | + frame_data.len); |
586 | 3.69k | } |
587 | | |
588 | | /* |
589 | | * If we requested STOP_SENDING do not bother buffering the data. Note that |
590 | | * this must happen after RXFC checks above as even if we sent STOP_SENDING |
591 | | * we must still enforce correct flow control (RFC 9000 s. 3.5). |
592 | | */ |
593 | 23.1k | if (stream->stop_sending) |
594 | 0 | return 1; /* not an error - packet reordering, etc. */ |
595 | | |
596 | | /* |
597 | | * The receive stream buffer may or may not choose to consume the data |
598 | | * without copying by reffing the OSSL_QRX_PKT. In this case |
599 | | * ossl_qrx_pkt_release() will be eventually called when the data is no |
600 | | * longer needed. |
601 | | * |
602 | | * It is OK for the peer to send us a zero-length non-FIN STREAM frame, |
603 | | * which is a no-op, aside from the fact that it ensures the stream exists. |
604 | | * In this case we have nothing to report to the receive buffer. |
605 | | */ |
606 | 23.1k | if ((frame_data.len > 0 || frame_data.is_fin) |
607 | 23.1k | && !ossl_quic_rstream_queue_data(stream->rstream, parent_pkt, |
608 | 22.8k | frame_data.offset, |
609 | 22.8k | frame_data.data, |
610 | 22.8k | frame_data.len, |
611 | 22.8k | frame_data.is_fin)) { |
612 | 0 | ossl_quic_channel_raise_protocol_error(ch, |
613 | 0 | QUIC_ERR_INTERNAL_ERROR, |
614 | 0 | frame_type, |
615 | 0 | "internal error (rstream queue)"); |
616 | 0 | return 0; |
617 | 0 | } |
618 | | |
619 | | /* |
620 | | * rs_fin will be 1 only if we can read all data up to and including the FIN |
621 | | * without any gaps before it; this implies we have received all data. Avoid |
622 | | * calling ossl_quic_rstream_available() where it is not necessary as it is |
623 | | * more expensive. |
624 | | */ |
625 | 23.1k | if (stream->recv_state == QUIC_RSTREAM_STATE_SIZE_KNOWN |
626 | 23.1k | && !ossl_quic_rstream_available(stream->rstream, &rs_avail, &rs_fin)) { |
627 | 0 | ossl_quic_channel_raise_protocol_error(ch, |
628 | 0 | QUIC_ERR_INTERNAL_ERROR, |
629 | 0 | frame_type, |
630 | 0 | "internal error (rstream available)"); |
631 | 0 | return 0; |
632 | 0 | } |
633 | | |
634 | 23.1k | if (rs_fin) |
635 | 1.44k | ossl_quic_stream_map_notify_totally_received(&ch->qsm, stream); |
636 | | |
637 | 23.1k | *datalen = frame_data.len; |
638 | | |
639 | 23.1k | return 1; |
640 | 23.1k | } |
641 | | |
642 | | static void update_streams(QUIC_STREAM *s, void *arg) |
643 | 118k | { |
644 | 118k | QUIC_CHANNEL *ch = arg; |
645 | | |
646 | 118k | ossl_quic_stream_map_update_state(&ch->qsm, s); |
647 | 118k | } |
648 | | |
649 | | static void update_streams_bidi(QUIC_STREAM *s, void *arg) |
650 | 30.3k | { |
651 | 30.3k | QUIC_CHANNEL *ch = arg; |
652 | | |
653 | 30.3k | if (!ossl_quic_stream_is_bidi(s)) |
654 | 8.63k | return; |
655 | | |
656 | 21.7k | ossl_quic_stream_map_update_state(&ch->qsm, s); |
657 | 21.7k | } |
658 | | |
659 | | static void update_streams_uni(QUIC_STREAM *s, void *arg) |
660 | 299k | { |
661 | 299k | QUIC_CHANNEL *ch = arg; |
662 | | |
663 | 299k | if (ossl_quic_stream_is_bidi(s)) |
664 | 48.0k | return; |
665 | | |
666 | 251k | ossl_quic_stream_map_update_state(&ch->qsm, s); |
667 | 251k | } |
668 | | |
669 | | static int depack_do_frame_max_data(PACKET *pkt, QUIC_CHANNEL *ch, |
670 | | OSSL_ACKM_RX_PKT *ackm_data) |
671 | 13.3k | { |
672 | 13.3k | uint64_t max_data = 0; |
673 | | |
674 | 13.3k | if (!ossl_quic_wire_decode_frame_max_data(pkt, &max_data)) { |
675 | 18 | ossl_quic_channel_raise_protocol_error(ch, |
676 | 18 | QUIC_ERR_FRAME_ENCODING_ERROR, |
677 | 18 | OSSL_QUIC_FRAME_TYPE_MAX_DATA, |
678 | 18 | "decode error"); |
679 | 18 | return 0; |
680 | 18 | } |
681 | | |
682 | 13.3k | ossl_quic_txfc_bump_cwm(&ch->conn_txfc, max_data); |
683 | 13.3k | ossl_quic_stream_map_visit(&ch->qsm, update_streams, ch); |
684 | 13.3k | return 1; |
685 | 13.3k | } |
686 | | |
687 | | static int depack_do_frame_max_stream_data(PACKET *pkt, |
688 | | QUIC_CHANNEL *ch, |
689 | | OSSL_ACKM_RX_PKT *ackm_data) |
690 | 4.36k | { |
691 | 4.36k | uint64_t stream_id = 0; |
692 | 4.36k | uint64_t max_stream_data = 0; |
693 | 4.36k | QUIC_STREAM *stream; |
694 | | |
695 | 4.36k | if (!ossl_quic_wire_decode_frame_max_stream_data(pkt, &stream_id, |
696 | 4.36k | &max_stream_data)) { |
697 | 20 | ossl_quic_channel_raise_protocol_error(ch, |
698 | 20 | QUIC_ERR_FRAME_ENCODING_ERROR, |
699 | 20 | OSSL_QUIC_FRAME_TYPE_MAX_STREAM_DATA, |
700 | 20 | "decode error"); |
701 | 20 | return 0; |
702 | 20 | } |
703 | | |
704 | 4.34k | if (!depack_do_implicit_stream_create(ch, stream_id, |
705 | 4.34k | OSSL_QUIC_FRAME_TYPE_MAX_STREAM_DATA, |
706 | 4.34k | &stream)) |
707 | 69 | return 0; /* error already raised for us */ |
708 | | |
709 | 4.27k | if (stream == NULL) |
710 | 0 | return 1; /* old deleted stream, not a protocol violation, ignore */ |
711 | | |
712 | 4.27k | if (!ossl_quic_stream_has_send(stream)) { |
713 | 11 | ossl_quic_channel_raise_protocol_error(ch, |
714 | 11 | QUIC_ERR_STREAM_STATE_ERROR, |
715 | 11 | OSSL_QUIC_FRAME_TYPE_MAX_STREAM_DATA, |
716 | 11 | "MAX_STREAM_DATA for TX only " |
717 | 11 | "stream"); |
718 | 11 | return 0; |
719 | 11 | } |
720 | | |
721 | 4.26k | ossl_quic_txfc_bump_cwm(&stream->txfc, max_stream_data); |
722 | 4.26k | ossl_quic_stream_map_update_state(&ch->qsm, stream); |
723 | 4.26k | return 1; |
724 | 4.27k | } |
725 | | |
726 | | static int depack_do_frame_max_streams(PACKET *pkt, |
727 | | QUIC_CHANNEL *ch, |
728 | | OSSL_ACKM_RX_PKT *ackm_data, |
729 | | uint64_t frame_type) |
730 | 20.5k | { |
731 | 20.5k | uint64_t max_streams = 0; |
732 | | |
733 | 20.5k | if (!ossl_quic_wire_decode_frame_max_streams(pkt, &max_streams)) { |
734 | 15 | ossl_quic_channel_raise_protocol_error(ch, |
735 | 15 | QUIC_ERR_FRAME_ENCODING_ERROR, |
736 | 15 | frame_type, |
737 | 15 | "decode error"); |
738 | 15 | return 0; |
739 | 15 | } |
740 | | |
741 | 20.4k | if (max_streams > (((uint64_t)1) << 60)) { |
742 | 43 | ossl_quic_channel_raise_protocol_error(ch, |
743 | 43 | QUIC_ERR_FRAME_ENCODING_ERROR, |
744 | 43 | frame_type, |
745 | 43 | "invalid max streams value"); |
746 | 43 | return 0; |
747 | 43 | } |
748 | | |
749 | 20.4k | switch (frame_type) { |
750 | 8.37k | case OSSL_QUIC_FRAME_TYPE_MAX_STREAMS_BIDI: |
751 | 8.37k | if (max_streams > ch->max_local_streams_bidi) |
752 | 430 | ch->max_local_streams_bidi = max_streams; |
753 | | |
754 | | /* Some streams may now be able to send. */ |
755 | 8.37k | ossl_quic_stream_map_visit(&ch->qsm, update_streams_bidi, ch); |
756 | 8.37k | break; |
757 | 12.0k | case OSSL_QUIC_FRAME_TYPE_MAX_STREAMS_UNI: |
758 | 12.0k | if (max_streams > ch->max_local_streams_uni) |
759 | 384 | ch->max_local_streams_uni = max_streams; |
760 | | |
761 | | /* Some streams may now be able to send. */ |
762 | 12.0k | ossl_quic_stream_map_visit(&ch->qsm, update_streams_uni, ch); |
763 | 12.0k | break; |
764 | 0 | default: |
765 | 0 | ossl_quic_channel_raise_protocol_error(ch, |
766 | 0 | QUIC_ERR_FRAME_ENCODING_ERROR, |
767 | 0 | frame_type, |
768 | 0 | "decode error"); |
769 | 0 | return 0; |
770 | 20.4k | } |
771 | | |
772 | 20.4k | return 1; |
773 | 20.4k | } |
774 | | |
775 | | static int depack_do_frame_data_blocked(PACKET *pkt, |
776 | | QUIC_CHANNEL *ch, |
777 | | OSSL_ACKM_RX_PKT *ackm_data) |
778 | 1.57k | { |
779 | 1.57k | uint64_t max_data = 0; |
780 | | |
781 | 1.57k | if (!ossl_quic_wire_decode_frame_data_blocked(pkt, &max_data)) { |
782 | 5 | ossl_quic_channel_raise_protocol_error(ch, |
783 | 5 | QUIC_ERR_FRAME_ENCODING_ERROR, |
784 | 5 | OSSL_QUIC_FRAME_TYPE_DATA_BLOCKED, |
785 | 5 | "decode error"); |
786 | 5 | return 0; |
787 | 5 | } |
788 | | |
789 | | /* No-op - informative/debugging frame. */ |
790 | 1.56k | return 1; |
791 | 1.57k | } |
792 | | |
793 | | static int depack_do_frame_stream_data_blocked(PACKET *pkt, |
794 | | QUIC_CHANNEL *ch, |
795 | | OSSL_ACKM_RX_PKT *ackm_data) |
796 | 976 | { |
797 | 976 | uint64_t stream_id = 0; |
798 | 976 | uint64_t max_data = 0; |
799 | 976 | QUIC_STREAM *stream; |
800 | | |
801 | 976 | if (!ossl_quic_wire_decode_frame_stream_data_blocked(pkt, &stream_id, |
802 | 976 | &max_data)) { |
803 | 19 | ossl_quic_channel_raise_protocol_error(ch, |
804 | 19 | QUIC_ERR_FRAME_ENCODING_ERROR, |
805 | 19 | OSSL_QUIC_FRAME_TYPE_STREAM_DATA_BLOCKED, |
806 | 19 | "decode error"); |
807 | 19 | return 0; |
808 | 19 | } |
809 | | |
810 | | /* |
811 | | * This is an informative/debugging frame, so we don't have to do anything, |
812 | | * but it does trigger stream creation. |
813 | | */ |
814 | 957 | if (!depack_do_implicit_stream_create(ch, stream_id, |
815 | 957 | OSSL_QUIC_FRAME_TYPE_STREAM_DATA_BLOCKED, |
816 | 957 | &stream)) |
817 | 26 | return 0; /* error already raised for us */ |
818 | | |
819 | 931 | if (stream == NULL) |
820 | 0 | return 1; /* old deleted stream, not a protocol violation, ignore */ |
821 | | |
822 | 931 | if (!ossl_quic_stream_has_recv(stream)) { |
823 | | /* |
824 | | * RFC 9000 s. 19.14: "An endpoint that receives a STREAM_DATA_BLOCKED |
825 | | * frame for a send-only stream MUST terminate the connection with error |
826 | | * STREAM_STATE_ERROR." |
827 | | */ |
828 | 0 | ossl_quic_channel_raise_protocol_error(ch, |
829 | 0 | QUIC_ERR_STREAM_STATE_ERROR, |
830 | 0 | OSSL_QUIC_FRAME_TYPE_STREAM_DATA_BLOCKED, |
831 | 0 | "STREAM_DATA_BLOCKED frame for " |
832 | 0 | "TX only stream"); |
833 | 0 | return 0; |
834 | 0 | } |
835 | | |
836 | | /* No-op - informative/debugging frame. */ |
837 | 931 | return 1; |
838 | 931 | } |
839 | | |
840 | | static int depack_do_frame_streams_blocked(PACKET *pkt, |
841 | | QUIC_CHANNEL *ch, |
842 | | OSSL_ACKM_RX_PKT *ackm_data, |
843 | | uint64_t frame_type) |
844 | 48.5k | { |
845 | 48.5k | uint64_t max_data = 0; |
846 | | |
847 | 48.5k | if (!ossl_quic_wire_decode_frame_streams_blocked(pkt, &max_data)) { |
848 | 10 | ossl_quic_channel_raise_protocol_error(ch, |
849 | 10 | QUIC_ERR_FRAME_ENCODING_ERROR, |
850 | 10 | frame_type, |
851 | 10 | "decode error"); |
852 | 10 | return 0; |
853 | 10 | } |
854 | | |
855 | 48.5k | if (max_data > (((uint64_t)1) << 60)) { |
856 | | /* |
857 | | * RFC 9000 s. 19.14: "This value cannot exceed 2**60, as it is not |
858 | | * possible to encode stream IDs larger than 2**62 - 1. Receipt of a |
859 | | * frame that encodes a larger stream ID MUST be treated as a connection |
860 | | * error of type STREAM_LIMIT_ERROR or FRAME_ENCODING_ERROR." |
861 | | */ |
862 | 66 | ossl_quic_channel_raise_protocol_error(ch, |
863 | 66 | QUIC_ERR_STREAM_LIMIT_ERROR, |
864 | 66 | frame_type, |
865 | 66 | "invalid stream count limit"); |
866 | 66 | return 0; |
867 | 66 | } |
868 | | |
869 | | /* No-op - informative/debugging frame. */ |
870 | 48.4k | return 1; |
871 | 48.5k | } |
872 | | |
873 | | static int depack_do_frame_new_conn_id(PACKET *pkt, |
874 | | QUIC_CHANNEL *ch, |
875 | | OSSL_ACKM_RX_PKT *ackm_data) |
876 | 8.35k | { |
877 | 8.35k | OSSL_QUIC_FRAME_NEW_CONN_ID frame_data; |
878 | | |
879 | 8.35k | if (!ossl_quic_wire_decode_frame_new_conn_id(pkt, &frame_data)) { |
880 | 323 | ossl_quic_channel_raise_protocol_error(ch, |
881 | 323 | QUIC_ERR_FRAME_ENCODING_ERROR, |
882 | 323 | OSSL_QUIC_FRAME_TYPE_NEW_CONN_ID, |
883 | 323 | "decode error"); |
884 | 323 | return 0; |
885 | 323 | } |
886 | | |
887 | 8.03k | ossl_quic_channel_on_new_conn_id(ch, &frame_data); |
888 | | |
889 | 8.03k | return 1; |
890 | 8.35k | } |
891 | | |
892 | | static int depack_do_frame_retire_conn_id(PACKET *pkt, |
893 | | QUIC_CHANNEL *ch, |
894 | | OSSL_ACKM_RX_PKT *ackm_data) |
895 | 36 | { |
896 | 36 | uint64_t seq_num; |
897 | | |
898 | 36 | if (!ossl_quic_wire_decode_frame_retire_conn_id(pkt, &seq_num)) { |
899 | 4 | ossl_quic_channel_raise_protocol_error(ch, |
900 | 4 | QUIC_ERR_FRAME_ENCODING_ERROR, |
901 | 4 | OSSL_QUIC_FRAME_TYPE_RETIRE_CONN_ID, |
902 | 4 | "decode error"); |
903 | 4 | return 0; |
904 | 4 | } |
905 | | |
906 | | /* |
907 | | * RFC 9000 s. 19.16: "An endpoint cannot send this frame if it was provided |
908 | | * with a zero-length connection ID by its peer. An endpoint that provides a |
909 | | * zero-length connection ID MUST treat receipt of a RETIRE_CONNECTION_ID |
910 | | * frame as a connection error of type PROTOCOL_VIOLATION." |
911 | | * |
912 | | * Since we always use a zero-length SCID as a client, there is no case |
913 | | * where it is valid for a server to send this. Our server support is |
914 | | * currently non-conformant and for internal testing use; simply handle it |
915 | | * as a no-op in this case. |
916 | | * |
917 | | * TODO(QUIC SERVER): Revise and implement correctly for server support. |
918 | | */ |
919 | 32 | if (!ch->is_server) { |
920 | 32 | ossl_quic_channel_raise_protocol_error(ch, |
921 | 32 | QUIC_ERR_PROTOCOL_VIOLATION, |
922 | 32 | OSSL_QUIC_FRAME_TYPE_RETIRE_CONN_ID, |
923 | 32 | "conn has zero-length CID"); |
924 | 32 | return 0; |
925 | 32 | } |
926 | | |
927 | 0 | return 1; |
928 | 32 | } |
929 | | |
930 | | static void free_path_response(unsigned char *buf, size_t buf_len, void *arg) |
931 | 111k | { |
932 | 111k | OPENSSL_free(buf); |
933 | 111k | } |
934 | | |
935 | | static int depack_do_frame_path_challenge(PACKET *pkt, |
936 | | QUIC_CHANNEL *ch, |
937 | | OSSL_ACKM_RX_PKT *ackm_data) |
938 | 111k | { |
939 | 111k | uint64_t frame_data = 0; |
940 | 111k | unsigned char *encoded = NULL; |
941 | 111k | size_t encoded_len; |
942 | 111k | WPACKET wpkt; |
943 | | |
944 | 111k | if (!ossl_quic_wire_decode_frame_path_challenge(pkt, &frame_data)) { |
945 | 25 | ossl_quic_channel_raise_protocol_error(ch, |
946 | 25 | QUIC_ERR_FRAME_ENCODING_ERROR, |
947 | 25 | OSSL_QUIC_FRAME_TYPE_PATH_CHALLENGE, |
948 | 25 | "decode error"); |
949 | 25 | return 0; |
950 | 25 | } |
951 | | |
952 | | /* |
953 | | * RFC 9000 s. 8.2.2: On receiving a PATH_CHALLENGE frame, an endpoint MUST |
954 | | * respond by echoing the data contained in the PATH_CHALLENGE frame in a |
955 | | * PATH_RESPONSE frame. |
956 | | * |
957 | | * TODO(QUIC FUTURE): We should try to avoid allocation here in the future. |
958 | | */ |
959 | 111k | encoded_len = sizeof(uint64_t) + 1; |
960 | 111k | if ((encoded = OPENSSL_malloc(encoded_len)) == NULL) |
961 | 0 | goto err; |
962 | | |
963 | 111k | if (!WPACKET_init_static_len(&wpkt, encoded, encoded_len, 0)) |
964 | 0 | goto err; |
965 | | |
966 | 111k | if (!ossl_quic_wire_encode_frame_path_response(&wpkt, frame_data)) { |
967 | 0 | WPACKET_cleanup(&wpkt); |
968 | 0 | goto err; |
969 | 0 | } |
970 | | |
971 | 111k | WPACKET_finish(&wpkt); |
972 | | |
973 | 111k | if (!ossl_quic_cfq_add_frame(ch->cfq, 0, QUIC_PN_SPACE_APP, |
974 | 111k | OSSL_QUIC_FRAME_TYPE_PATH_RESPONSE, |
975 | 111k | QUIC_CFQ_ITEM_FLAG_UNRELIABLE, |
976 | 111k | encoded, encoded_len, |
977 | 111k | free_path_response, NULL)) |
978 | 0 | goto err; |
979 | | |
980 | 111k | return 1; |
981 | | |
982 | 0 | err: |
983 | 0 | OPENSSL_free(encoded); |
984 | 0 | ossl_quic_channel_raise_protocol_error(ch, QUIC_ERR_INTERNAL_ERROR, |
985 | 0 | OSSL_QUIC_FRAME_TYPE_PATH_CHALLENGE, |
986 | 0 | "internal error"); |
987 | 0 | return 0; |
988 | 111k | } |
989 | | |
990 | | static int depack_do_frame_path_response(PACKET *pkt, |
991 | | QUIC_CHANNEL *ch, |
992 | | OSSL_ACKM_RX_PKT *ackm_data) |
993 | 14.8k | { |
994 | 14.8k | uint64_t frame_data = 0; |
995 | | |
996 | 14.8k | if (!ossl_quic_wire_decode_frame_path_response(pkt, &frame_data)) { |
997 | 13 | ossl_quic_channel_raise_protocol_error(ch, |
998 | 13 | QUIC_ERR_FRAME_ENCODING_ERROR, |
999 | 13 | OSSL_QUIC_FRAME_TYPE_PATH_RESPONSE, |
1000 | 13 | "decode error"); |
1001 | 13 | return 0; |
1002 | 13 | } |
1003 | | |
1004 | | /* TODO(QUIC MULTIPATH): ADD CODE to send |frame_data| to the ch manager */ |
1005 | | |
1006 | 14.8k | return 1; |
1007 | 14.8k | } |
1008 | | |
1009 | | static int depack_do_frame_conn_close(PACKET *pkt, QUIC_CHANNEL *ch, |
1010 | | uint64_t frame_type) |
1011 | 896 | { |
1012 | 896 | OSSL_QUIC_FRAME_CONN_CLOSE frame_data; |
1013 | | |
1014 | 896 | if (!ossl_quic_wire_decode_frame_conn_close(pkt, &frame_data)) { |
1015 | 144 | ossl_quic_channel_raise_protocol_error(ch, |
1016 | 144 | QUIC_ERR_FRAME_ENCODING_ERROR, |
1017 | 144 | frame_type, |
1018 | 144 | "decode error"); |
1019 | 144 | return 0; |
1020 | 144 | } |
1021 | | |
1022 | 752 | ossl_quic_channel_on_remote_conn_close(ch, &frame_data); |
1023 | 752 | return 1; |
1024 | 896 | } |
1025 | | |
1026 | | static int depack_do_frame_handshake_done(PACKET *pkt, |
1027 | | QUIC_CHANNEL *ch, |
1028 | | OSSL_ACKM_RX_PKT *ackm_data) |
1029 | 214k | { |
1030 | 214k | if (!ossl_quic_wire_decode_frame_handshake_done(pkt)) { |
1031 | | /* This can fail only with an internal error. */ |
1032 | 0 | ossl_quic_channel_raise_protocol_error(ch, |
1033 | 0 | QUIC_ERR_INTERNAL_ERROR, |
1034 | 0 | OSSL_QUIC_FRAME_TYPE_HANDSHAKE_DONE, |
1035 | 0 | "internal error (decode frame handshake done)"); |
1036 | 0 | return 0; |
1037 | 0 | } |
1038 | | |
1039 | 214k | ossl_quic_channel_on_handshake_confirmed(ch); |
1040 | 214k | return 1; |
1041 | 214k | } |
1042 | | |
1043 | | /* Main frame processor */ |
1044 | | |
1045 | | static int depack_process_frames(QUIC_CHANNEL *ch, PACKET *pkt, |
1046 | | OSSL_QRX_PKT *parent_pkt, uint32_t enc_level, |
1047 | | OSSL_TIME received, OSSL_ACKM_RX_PKT *ackm_data) |
1048 | 133k | { |
1049 | 133k | uint32_t pkt_type = parent_pkt->hdr->type; |
1050 | 133k | uint32_t packet_space = ossl_quic_enc_level_to_pn_space(enc_level); |
1051 | | |
1052 | 133k | if (PACKET_remaining(pkt) == 0) { |
1053 | | /* |
1054 | | * RFC 9000 s. 12.4: An endpoint MUST treat receipt of a packet |
1055 | | * containing no frames as a connection error of type |
1056 | | * PROTOCOL_VIOLATION. |
1057 | | */ |
1058 | 0 | ossl_quic_channel_raise_protocol_error(ch, |
1059 | 0 | QUIC_ERR_PROTOCOL_VIOLATION, |
1060 | 0 | 0, |
1061 | 0 | "empty packet payload"); |
1062 | 0 | return 0; |
1063 | 0 | } |
1064 | | |
1065 | 922k | while (PACKET_remaining(pkt) > 0) { |
1066 | 792k | int was_minimal; |
1067 | 792k | uint64_t frame_type; |
1068 | 792k | const unsigned char *sof = NULL; |
1069 | 792k | uint64_t datalen = 0; |
1070 | | |
1071 | 792k | if (ch->msg_callback != NULL) |
1072 | 0 | sof = PACKET_data(pkt); |
1073 | | |
1074 | 792k | if (!ossl_quic_wire_peek_frame_header(pkt, &frame_type, &was_minimal)) { |
1075 | 286 | ossl_quic_channel_raise_protocol_error(ch, |
1076 | 286 | QUIC_ERR_PROTOCOL_VIOLATION, |
1077 | 286 | 0, |
1078 | 286 | "malformed frame header"); |
1079 | 286 | return 0; |
1080 | 286 | } |
1081 | | |
1082 | 792k | if (!was_minimal) { |
1083 | 44 | ossl_quic_channel_raise_protocol_error(ch, |
1084 | 44 | QUIC_ERR_PROTOCOL_VIOLATION, |
1085 | 44 | frame_type, |
1086 | 44 | "non-minimal frame type encoding"); |
1087 | 44 | return 0; |
1088 | 44 | } |
1089 | | |
1090 | | /* |
1091 | | * There are only a few frame types which are not ACK-eliciting. Handle |
1092 | | * these centrally to make error handling cases more resilient, as we |
1093 | | * should tell the ACKM about an ACK-eliciting frame even if it was not |
1094 | | * successfully handled. |
1095 | | */ |
1096 | 792k | switch (frame_type) { |
1097 | 124k | case OSSL_QUIC_FRAME_TYPE_PADDING: |
1098 | 166k | case OSSL_QUIC_FRAME_TYPE_ACK_WITHOUT_ECN: |
1099 | 184k | case OSSL_QUIC_FRAME_TYPE_ACK_WITH_ECN: |
1100 | 184k | case OSSL_QUIC_FRAME_TYPE_CONN_CLOSE_TRANSPORT: |
1101 | 184k | case OSSL_QUIC_FRAME_TYPE_CONN_CLOSE_APP: |
1102 | 184k | break; |
1103 | 608k | default: |
1104 | 608k | ackm_data->is_ack_eliciting = 1; |
1105 | 608k | break; |
1106 | 792k | } |
1107 | | |
1108 | 792k | switch (frame_type) { |
1109 | 308k | case OSSL_QUIC_FRAME_TYPE_PING: |
1110 | | /* Allowed in all packet types */ |
1111 | 308k | if (!depack_do_frame_ping(pkt, ch, enc_level, ackm_data)) |
1112 | 0 | return 0; |
1113 | 308k | break; |
1114 | 308k | case OSSL_QUIC_FRAME_TYPE_PADDING: |
1115 | | /* Allowed in all packet types */ |
1116 | 124k | if (!depack_do_frame_padding(pkt)) |
1117 | 0 | return 0; |
1118 | 124k | break; |
1119 | | |
1120 | 124k | case OSSL_QUIC_FRAME_TYPE_ACK_WITHOUT_ECN: |
1121 | 59.8k | case OSSL_QUIC_FRAME_TYPE_ACK_WITH_ECN: |
1122 | | /* ACK frames are valid everywhere except in 0RTT packets */ |
1123 | 59.8k | if (pkt_type == QUIC_PKT_TYPE_0RTT) { |
1124 | 0 | ossl_quic_channel_raise_protocol_error(ch, |
1125 | 0 | QUIC_ERR_PROTOCOL_VIOLATION, |
1126 | 0 | frame_type, |
1127 | 0 | "ACK not valid in 0-RTT"); |
1128 | 0 | return 0; |
1129 | 0 | } |
1130 | 59.8k | if (!depack_do_frame_ack(pkt, ch, packet_space, received, |
1131 | 59.8k | frame_type, parent_pkt)) |
1132 | 462 | return 0; |
1133 | 59.4k | break; |
1134 | | |
1135 | 59.4k | case OSSL_QUIC_FRAME_TYPE_RESET_STREAM: |
1136 | | /* RESET_STREAM frames are valid in 0RTT and 1RTT packets */ |
1137 | 1.30k | if (pkt_type != QUIC_PKT_TYPE_0RTT |
1138 | 1.30k | && pkt_type != QUIC_PKT_TYPE_1RTT) { |
1139 | 45 | ossl_quic_channel_raise_protocol_error(ch, |
1140 | 45 | QUIC_ERR_PROTOCOL_VIOLATION, |
1141 | 45 | frame_type, |
1142 | 45 | "RESET_STREAM not valid in " |
1143 | 45 | "INITIAL/HANDSHAKE"); |
1144 | 45 | return 0; |
1145 | 45 | } |
1146 | 1.25k | if (!depack_do_frame_reset_stream(pkt, ch, ackm_data)) |
1147 | 79 | return 0; |
1148 | 1.17k | break; |
1149 | 24.4k | case OSSL_QUIC_FRAME_TYPE_STOP_SENDING: |
1150 | | /* STOP_SENDING frames are valid in 0RTT and 1RTT packets */ |
1151 | 24.4k | if (pkt_type != QUIC_PKT_TYPE_0RTT |
1152 | 24.4k | && pkt_type != QUIC_PKT_TYPE_1RTT) { |
1153 | 20 | ossl_quic_channel_raise_protocol_error(ch, |
1154 | 20 | QUIC_ERR_PROTOCOL_VIOLATION, |
1155 | 20 | frame_type, |
1156 | 20 | "STOP_SENDING not valid in " |
1157 | 20 | "INITIAL/HANDSHAKE"); |
1158 | 20 | return 0; |
1159 | 20 | } |
1160 | 24.3k | if (!depack_do_frame_stop_sending(pkt, ch, ackm_data)) |
1161 | 64 | return 0; |
1162 | 24.3k | break; |
1163 | 69.1k | case OSSL_QUIC_FRAME_TYPE_CRYPTO: |
1164 | | /* CRYPTO frames are valid everywhere except in 0RTT packets */ |
1165 | 69.1k | if (pkt_type == QUIC_PKT_TYPE_0RTT) { |
1166 | 0 | ossl_quic_channel_raise_protocol_error(ch, |
1167 | 0 | QUIC_ERR_PROTOCOL_VIOLATION, |
1168 | 0 | frame_type, |
1169 | 0 | "CRYPTO frame not valid in 0-RTT"); |
1170 | 0 | return 0; |
1171 | 0 | } |
1172 | 69.1k | if (!depack_do_frame_crypto(pkt, ch, parent_pkt, ackm_data, &datalen)) |
1173 | 245 | return 0; |
1174 | 68.9k | break; |
1175 | 68.9k | case OSSL_QUIC_FRAME_TYPE_NEW_TOKEN: |
1176 | | /* NEW_TOKEN frames are valid in 1RTT packets */ |
1177 | 1.04k | if (pkt_type != QUIC_PKT_TYPE_1RTT) { |
1178 | 23 | ossl_quic_channel_raise_protocol_error(ch, |
1179 | 23 | QUIC_ERR_PROTOCOL_VIOLATION, |
1180 | 23 | frame_type, |
1181 | 23 | "NEW_TOKEN valid only in 1-RTT"); |
1182 | 23 | return 0; |
1183 | 23 | } |
1184 | 1.01k | if (!depack_do_frame_new_token(pkt, ch, ackm_data)) |
1185 | 25 | return 0; |
1186 | 994 | break; |
1187 | | |
1188 | 1.36k | case OSSL_QUIC_FRAME_TYPE_STREAM: |
1189 | 2.68k | case OSSL_QUIC_FRAME_TYPE_STREAM_FIN: |
1190 | 3.10k | case OSSL_QUIC_FRAME_TYPE_STREAM_LEN: |
1191 | 4.59k | case OSSL_QUIC_FRAME_TYPE_STREAM_LEN_FIN: |
1192 | 4.71k | case OSSL_QUIC_FRAME_TYPE_STREAM_OFF: |
1193 | 6.79k | case OSSL_QUIC_FRAME_TYPE_STREAM_OFF_FIN: |
1194 | 6.95k | case OSSL_QUIC_FRAME_TYPE_STREAM_OFF_LEN: |
1195 | 13.9k | case OSSL_QUIC_FRAME_TYPE_STREAM_OFF_LEN_FIN: |
1196 | | /* STREAM frames are valid in 0RTT and 1RTT packets */ |
1197 | 13.9k | if (pkt_type != QUIC_PKT_TYPE_0RTT |
1198 | 13.9k | && pkt_type != QUIC_PKT_TYPE_1RTT) { |
1199 | 83 | ossl_quic_channel_raise_protocol_error(ch, |
1200 | 83 | QUIC_ERR_PROTOCOL_VIOLATION, |
1201 | 83 | frame_type, |
1202 | 83 | "STREAM valid only in 0/1-RTT"); |
1203 | 83 | return 0; |
1204 | 83 | } |
1205 | 13.8k | if (!depack_do_frame_stream(pkt, ch, parent_pkt, ackm_data, |
1206 | 13.8k | frame_type, &datalen)) |
1207 | 277 | return 0; |
1208 | 13.5k | break; |
1209 | | |
1210 | 13.5k | case OSSL_QUIC_FRAME_TYPE_MAX_DATA: |
1211 | | /* MAX_DATA frames are valid in 0RTT and 1RTT packets */ |
1212 | 5.61k | if (pkt_type != QUIC_PKT_TYPE_0RTT |
1213 | 5.61k | && pkt_type != QUIC_PKT_TYPE_1RTT) { |
1214 | 26 | ossl_quic_channel_raise_protocol_error(ch, |
1215 | 26 | QUIC_ERR_PROTOCOL_VIOLATION, |
1216 | 26 | frame_type, |
1217 | 26 | "MAX_DATA valid only in 0/1-RTT"); |
1218 | 26 | return 0; |
1219 | 26 | } |
1220 | 5.59k | if (!depack_do_frame_max_data(pkt, ch, ackm_data)) |
1221 | 6 | return 0; |
1222 | 5.58k | break; |
1223 | 5.58k | case OSSL_QUIC_FRAME_TYPE_MAX_STREAM_DATA: |
1224 | | /* MAX_STREAM_DATA frames are valid in 0RTT and 1RTT packets */ |
1225 | 2.95k | if (pkt_type != QUIC_PKT_TYPE_0RTT |
1226 | 2.95k | && pkt_type != QUIC_PKT_TYPE_1RTT) { |
1227 | 9 | ossl_quic_channel_raise_protocol_error(ch, |
1228 | 9 | QUIC_ERR_PROTOCOL_VIOLATION, |
1229 | 9 | frame_type, |
1230 | 9 | "MAX_STREAM_DATA valid only in 0/1-RTT"); |
1231 | 9 | return 0; |
1232 | 9 | } |
1233 | 2.94k | if (!depack_do_frame_max_stream_data(pkt, ch, ackm_data)) |
1234 | 61 | return 0; |
1235 | 2.88k | break; |
1236 | | |
1237 | 6.90k | case OSSL_QUIC_FRAME_TYPE_MAX_STREAMS_BIDI: |
1238 | 15.9k | case OSSL_QUIC_FRAME_TYPE_MAX_STREAMS_UNI: |
1239 | | /* MAX_STREAMS frames are valid in 0RTT and 1RTT packets */ |
1240 | 15.9k | if (pkt_type != QUIC_PKT_TYPE_0RTT |
1241 | 15.9k | && pkt_type != QUIC_PKT_TYPE_1RTT) { |
1242 | 7 | ossl_quic_channel_raise_protocol_error(ch, |
1243 | 7 | QUIC_ERR_PROTOCOL_VIOLATION, |
1244 | 7 | frame_type, |
1245 | 7 | "MAX_STREAMS valid only in 0/1-RTT"); |
1246 | 7 | return 0; |
1247 | 7 | } |
1248 | 15.8k | if (!depack_do_frame_max_streams(pkt, ch, ackm_data, |
1249 | 15.8k | frame_type)) |
1250 | 43 | return 0; |
1251 | 15.8k | break; |
1252 | | |
1253 | 15.8k | case OSSL_QUIC_FRAME_TYPE_DATA_BLOCKED: |
1254 | | /* DATA_BLOCKED frames are valid in 0RTT and 1RTT packets */ |
1255 | 981 | if (pkt_type != QUIC_PKT_TYPE_0RTT |
1256 | 981 | && pkt_type != QUIC_PKT_TYPE_1RTT) { |
1257 | 13 | ossl_quic_channel_raise_protocol_error(ch, |
1258 | 13 | QUIC_ERR_PROTOCOL_VIOLATION, |
1259 | 13 | frame_type, |
1260 | 13 | "DATA_BLOCKED valid only in 0/1-RTT"); |
1261 | 13 | return 0; |
1262 | 13 | } |
1263 | 968 | if (!depack_do_frame_data_blocked(pkt, ch, ackm_data)) |
1264 | 2 | return 0; |
1265 | 966 | break; |
1266 | 966 | case OSSL_QUIC_FRAME_TYPE_STREAM_DATA_BLOCKED: |
1267 | | /* STREAM_DATA_BLOCKED frames are valid in 0RTT and 1RTT packets */ |
1268 | 541 | if (pkt_type != QUIC_PKT_TYPE_0RTT |
1269 | 541 | && pkt_type != QUIC_PKT_TYPE_1RTT) { |
1270 | 8 | ossl_quic_channel_raise_protocol_error(ch, |
1271 | 8 | QUIC_ERR_PROTOCOL_VIOLATION, |
1272 | 8 | frame_type, |
1273 | 8 | "STREAM_DATA_BLOCKED valid only in 0/1-RTT"); |
1274 | 8 | return 0; |
1275 | 8 | } |
1276 | 533 | if (!depack_do_frame_stream_data_blocked(pkt, ch, ackm_data)) |
1277 | 25 | return 0; |
1278 | 508 | break; |
1279 | | |
1280 | 587 | case OSSL_QUIC_FRAME_TYPE_STREAMS_BLOCKED_BIDI: |
1281 | 17.6k | case OSSL_QUIC_FRAME_TYPE_STREAMS_BLOCKED_UNI: |
1282 | | /* STREAMS_BLOCKED frames are valid in 0RTT and 1RTT packets */ |
1283 | 17.6k | if (pkt_type != QUIC_PKT_TYPE_0RTT |
1284 | 17.6k | && pkt_type != QUIC_PKT_TYPE_1RTT) { |
1285 | 24 | ossl_quic_channel_raise_protocol_error(ch, |
1286 | 24 | QUIC_ERR_PROTOCOL_VIOLATION, |
1287 | 24 | frame_type, |
1288 | 24 | "STREAMS valid only in 0/1-RTT"); |
1289 | 24 | return 0; |
1290 | 24 | } |
1291 | 17.6k | if (!depack_do_frame_streams_blocked(pkt, ch, ackm_data, |
1292 | 17.6k | frame_type)) |
1293 | 46 | return 0; |
1294 | 17.5k | break; |
1295 | | |
1296 | 17.5k | case OSSL_QUIC_FRAME_TYPE_NEW_CONN_ID: |
1297 | | /* NEW_CONN_ID frames are valid in 0RTT and 1RTT packets */ |
1298 | 4.42k | if (pkt_type != QUIC_PKT_TYPE_0RTT |
1299 | 4.42k | && pkt_type != QUIC_PKT_TYPE_1RTT) { |
1300 | 268 | ossl_quic_channel_raise_protocol_error(ch, |
1301 | 268 | QUIC_ERR_PROTOCOL_VIOLATION, |
1302 | 268 | frame_type, |
1303 | 268 | "NEW_CONN_ID valid only in 0/1-RTT"); |
1304 | 268 | } |
1305 | 4.42k | if (!depack_do_frame_new_conn_id(pkt, ch, ackm_data)) |
1306 | 174 | return 0; |
1307 | 4.25k | break; |
1308 | 4.25k | case OSSL_QUIC_FRAME_TYPE_RETIRE_CONN_ID: |
1309 | | /* RETIRE_CONN_ID frames are valid in 0RTT and 1RTT packets */ |
1310 | 28 | if (pkt_type != QUIC_PKT_TYPE_0RTT |
1311 | 28 | && pkt_type != QUIC_PKT_TYPE_1RTT) { |
1312 | 8 | ossl_quic_channel_raise_protocol_error(ch, |
1313 | 8 | QUIC_ERR_PROTOCOL_VIOLATION, |
1314 | 8 | frame_type, |
1315 | 8 | "RETIRE_CONN_ID valid only in 0/1-RTT"); |
1316 | 8 | return 0; |
1317 | 8 | } |
1318 | 20 | if (!depack_do_frame_retire_conn_id(pkt, ch, ackm_data)) |
1319 | 20 | return 0; |
1320 | 0 | break; |
1321 | 67.6k | case OSSL_QUIC_FRAME_TYPE_PATH_CHALLENGE: |
1322 | | /* PATH_CHALLENGE frames are valid in 0RTT and 1RTT packets */ |
1323 | 67.6k | if (pkt_type != QUIC_PKT_TYPE_0RTT |
1324 | 67.6k | && pkt_type != QUIC_PKT_TYPE_1RTT) { |
1325 | 7 | ossl_quic_channel_raise_protocol_error(ch, |
1326 | 7 | QUIC_ERR_PROTOCOL_VIOLATION, |
1327 | 7 | frame_type, |
1328 | 7 | "PATH_CHALLENGE valid only in 0/1-RTT"); |
1329 | 7 | return 0; |
1330 | 7 | } |
1331 | 67.6k | if (!depack_do_frame_path_challenge(pkt, ch, ackm_data)) |
1332 | 10 | return 0; |
1333 | | |
1334 | 67.6k | break; |
1335 | 67.6k | case OSSL_QUIC_FRAME_TYPE_PATH_RESPONSE: |
1336 | | /* PATH_RESPONSE frames are valid in 1RTT packets */ |
1337 | 6.37k | if (pkt_type != QUIC_PKT_TYPE_1RTT) { |
1338 | 8 | ossl_quic_channel_raise_protocol_error(ch, |
1339 | 8 | QUIC_ERR_PROTOCOL_VIOLATION, |
1340 | 8 | frame_type, |
1341 | 8 | "PATH_CHALLENGE valid only in 1-RTT"); |
1342 | 8 | return 0; |
1343 | 8 | } |
1344 | 6.36k | if (!depack_do_frame_path_response(pkt, ch, ackm_data)) |
1345 | 6 | return 0; |
1346 | 6.36k | break; |
1347 | | |
1348 | 6.36k | case OSSL_QUIC_FRAME_TYPE_CONN_CLOSE_APP: |
1349 | | /* CONN_CLOSE_APP frames are valid in 0RTT and 1RTT packets */ |
1350 | 134 | if (pkt_type != QUIC_PKT_TYPE_0RTT |
1351 | 134 | && pkt_type != QUIC_PKT_TYPE_1RTT) { |
1352 | 7 | ossl_quic_channel_raise_protocol_error(ch, |
1353 | 7 | QUIC_ERR_PROTOCOL_VIOLATION, |
1354 | 7 | frame_type, |
1355 | 7 | "CONN_CLOSE (APP) valid only in 0/1-RTT"); |
1356 | 7 | return 0; |
1357 | 7 | } |
1358 | | /* FALLTHRU */ |
1359 | 473 | case OSSL_QUIC_FRAME_TYPE_CONN_CLOSE_TRANSPORT: |
1360 | | /* CONN_CLOSE_TRANSPORT frames are valid in all packets */ |
1361 | 473 | if (!depack_do_frame_conn_close(pkt, ch, frame_type)) |
1362 | 84 | return 0; |
1363 | 389 | break; |
1364 | | |
1365 | 66.0k | case OSSL_QUIC_FRAME_TYPE_HANDSHAKE_DONE: |
1366 | | /* HANDSHAKE_DONE frames are valid in 1RTT packets */ |
1367 | 66.0k | if (pkt_type != QUIC_PKT_TYPE_1RTT) { |
1368 | 8 | ossl_quic_channel_raise_protocol_error(ch, |
1369 | 8 | QUIC_ERR_PROTOCOL_VIOLATION, |
1370 | 8 | frame_type, |
1371 | 8 | "HANDSHAKE_DONE valid only in 1-RTT"); |
1372 | 8 | return 0; |
1373 | 8 | } |
1374 | 66.0k | if (!depack_do_frame_handshake_done(pkt, ch, ackm_data)) |
1375 | 0 | return 0; |
1376 | 66.0k | break; |
1377 | | |
1378 | 66.0k | default: |
1379 | | /* Unknown frame type */ |
1380 | 1.45k | ossl_quic_channel_raise_protocol_error(ch, |
1381 | 1.45k | QUIC_ERR_FRAME_ENCODING_ERROR, |
1382 | 1.45k | frame_type, |
1383 | 1.45k | "Unknown frame type received"); |
1384 | 1.45k | return 0; |
1385 | 792k | } |
1386 | | |
1387 | 789k | if (ch->msg_callback != NULL) { |
1388 | 0 | int ctype = SSL3_RT_QUIC_FRAME_FULL; |
1389 | |
|
1390 | 0 | size_t framelen = PACKET_data(pkt) - sof; |
1391 | |
|
1392 | 0 | if (frame_type == OSSL_QUIC_FRAME_TYPE_PADDING) { |
1393 | 0 | ctype = SSL3_RT_QUIC_FRAME_PADDING; |
1394 | 0 | } else if (OSSL_QUIC_FRAME_TYPE_IS_STREAM(frame_type) |
1395 | 0 | || frame_type == OSSL_QUIC_FRAME_TYPE_CRYPTO) { |
1396 | 0 | ctype = SSL3_RT_QUIC_FRAME_HEADER; |
1397 | 0 | framelen -= (size_t)datalen; |
1398 | 0 | } |
1399 | |
|
1400 | 0 | ch->msg_callback(0, OSSL_QUIC1_VERSION, ctype, sof, framelen, |
1401 | 0 | ch->msg_callback_ssl, ch->msg_callback_arg); |
1402 | 0 | } |
1403 | 789k | } |
1404 | | |
1405 | 129k | return 1; |
1406 | 133k | } |
1407 | | |
1408 | | QUIC_NEEDS_LOCK |
1409 | | int ossl_quic_handle_frames(QUIC_CHANNEL *ch, OSSL_QRX_PKT *qpacket) |
1410 | 133k | { |
1411 | 133k | PACKET pkt; |
1412 | 133k | OSSL_ACKM_RX_PKT ackm_data; |
1413 | 133k | uint32_t enc_level; |
1414 | | |
1415 | | /* |
1416 | | * ok has three states: |
1417 | | * -1 error with ackm_data uninitialized |
1418 | | * 0 error with ackm_data initialized |
1419 | | * 1 success (ackm_data initialized) |
1420 | | */ |
1421 | 133k | int ok = -1; /* Assume the worst */ |
1422 | | |
1423 | 133k | if (ch == NULL) |
1424 | 0 | goto end; |
1425 | | |
1426 | 133k | ch->did_crypto_frame = 0; |
1427 | | |
1428 | | /* Initialize |ackm_data| (and reinitialize |ok|)*/ |
1429 | 133k | memset(&ackm_data, 0, sizeof(ackm_data)); |
1430 | | /* |
1431 | | * ASSUMPTION: All packets that aren't special case have a |
1432 | | * packet number. |
1433 | | */ |
1434 | 133k | ackm_data.pkt_num = qpacket->pn; |
1435 | 133k | ackm_data.time = qpacket->time; |
1436 | 133k | enc_level = ossl_quic_pkt_type_to_enc_level(qpacket->hdr->type); |
1437 | 133k | if (enc_level >= QUIC_ENC_LEVEL_NUM) |
1438 | | /* |
1439 | | * Retry and Version Negotiation packets should not be passed to this |
1440 | | * function. |
1441 | | */ |
1442 | 0 | goto end; |
1443 | | |
1444 | 133k | ok = 0; /* Still assume the worst */ |
1445 | 133k | ackm_data.pkt_space = ossl_quic_enc_level_to_pn_space(enc_level); |
1446 | | |
1447 | | /* Now that special cases are out of the way, parse frames */ |
1448 | 133k | if (!PACKET_buf_init(&pkt, qpacket->hdr->data, qpacket->hdr->len) |
1449 | 133k | || !depack_process_frames(ch, &pkt, qpacket, |
1450 | 133k | enc_level, |
1451 | 133k | qpacket->time, |
1452 | 133k | &ackm_data)) |
1453 | 3.71k | goto end; |
1454 | | |
1455 | 129k | ok = 1; |
1456 | 133k | end: |
1457 | | /* |
1458 | | * ASSUMPTION: If this function is called at all, |qpacket| is |
1459 | | * a legitimate packet, even if its contents aren't. |
1460 | | * Therefore, we call ossl_ackm_on_rx_packet() unconditionally, as long as |
1461 | | * |ackm_data| has at least been initialized. |
1462 | | */ |
1463 | 133k | if (ok >= 0) |
1464 | 133k | ossl_ackm_on_rx_packet(ch->ackm, &ackm_data); |
1465 | | |
1466 | 133k | return ok > 0; |
1467 | 129k | } |