Coverage Report

Created: 2025-12-04 06:33

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/openssl33/ssl/quic/quic_rx_depack.c
Line
Count
Source
1
/*
2
 * Copyright 2022-2025 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
495k
{
39
    /* We ignore this frame */
40
495k
    ossl_quic_wire_decode_padding(pkt);
41
495k
    return 1;
42
495k
}
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
2.27M
{
48
    /* We ignore this frame, apart from eliciting an ACK */
49
2.27M
    if (!ossl_quic_wire_decode_frame_ping(pkt)) {
50
0
        ossl_quic_channel_raise_protocol_error(ch,
51
0
                                               OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
52
0
                                               OSSL_QUIC_FRAME_TYPE_PING,
53
0
                                               "decode error");
54
0
        return 0;
55
0
    }
56
57
2.27M
    ossl_quic_tx_packetiser_schedule_ack_eliciting(ch->txp, enc_level);
58
2.27M
    return 1;
59
2.27M
}
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
268k
{
66
268k
    OSSL_QUIC_FRAME_ACK ack;
67
268k
    OSSL_QUIC_ACK_RANGE *p;
68
268k
    uint64_t total_ranges = 0;
69
268k
    uint32_t ack_delay_exp = ch->rx_ack_delay_exp;
70
71
268k
    if (!ossl_quic_wire_peek_frame_ack_num_ranges(pkt, &total_ranges)
72
        /* In case sizeof(uint64_t) > sizeof(size_t) */
73
267k
        || total_ranges > SIZE_MAX / sizeof(OSSL_QUIC_ACK_RANGE))
74
988
        goto malformed;
75
76
267k
    if (ch->num_ack_range_scratch < (size_t)total_ranges) {
77
42.4k
        if ((p = OPENSSL_realloc(ch->ack_range_scratch,
78
42.4k
                                 sizeof(OSSL_QUIC_ACK_RANGE)
79
42.4k
                                 * (size_t)total_ranges)) == NULL)
80
0
            goto malformed;
81
82
42.4k
        ch->ack_range_scratch       = p;
83
42.4k
        ch->num_ack_range_scratch   = (size_t)total_ranges;
84
42.4k
    }
85
86
267k
    ack.ack_ranges = ch->ack_range_scratch;
87
267k
    ack.num_ack_ranges = (size_t)total_ranges;
88
89
267k
    if (!ossl_quic_wire_decode_frame_ack(pkt, ack_delay_exp, &ack, NULL))
90
1.35k
        goto malformed;
91
92
265k
    if (qpacket->hdr->type == QUIC_PKT_TYPE_1RTT
93
54.8k
        && (qpacket->key_epoch < ossl_qrx_get_key_epoch(ch->qrx)
94
54.2k
            || ch->rxku_expected)
95
568
        && 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
101
        ossl_quic_channel_raise_protocol_error(ch,
118
101
                                               OSSL_QUIC_ERR_KEY_UPDATE_ERROR,
119
101
                                               frame_type,
120
101
                                               "acked packet which initiated a "
121
101
                                               "key update without a "
122
101
                                               "corresponding key update");
123
101
        return 0;
124
101
    }
125
126
265k
    if (!ossl_ackm_on_rx_ack_frame(ch->ackm, &ack,
127
265k
                                   packet_space, received))
128
0
        goto malformed;
129
130
265k
    ++ch->diag_num_rx_ack;
131
265k
    return 1;
132
133
2.33k
malformed:
134
2.33k
    ossl_quic_channel_raise_protocol_error(ch,
135
2.33k
                                           OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
136
2.33k
                                           frame_type,
137
2.33k
                                           "decode error");
138
2.33k
    return 0;
139
265k
}
140
141
static int depack_do_frame_reset_stream(PACKET *pkt,
142
                                        QUIC_CHANNEL *ch,
143
                                        OSSL_ACKM_RX_PKT *ackm_data)
144
5.87k
{
145
5.87k
    OSSL_QUIC_FRAME_RESET_STREAM frame_data;
146
5.87k
    QUIC_STREAM *stream = NULL;
147
5.87k
    uint64_t fce;
148
149
5.87k
    if (!ossl_quic_wire_decode_frame_reset_stream(pkt, &frame_data)) {
150
69
        ossl_quic_channel_raise_protocol_error(ch,
151
69
                                               OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
152
69
                                               OSSL_QUIC_FRAME_TYPE_RESET_STREAM,
153
69
                                               "decode error");
154
69
        return 0;
155
69
    }
156
157
5.80k
    if (!depack_do_implicit_stream_create(ch, frame_data.stream_id,
158
5.80k
                                          OSSL_QUIC_FRAME_TYPE_RESET_STREAM,
159
5.80k
                                          &stream))
160
154
        return 0; /* error already raised for us */
161
162
5.65k
    if (stream == NULL)
163
0
        return 1; /* old deleted stream, not a protocol violation, ignore */
164
165
5.65k
    if (!ossl_quic_stream_has_recv(stream)) {
166
0
        ossl_quic_channel_raise_protocol_error(ch,
167
0
                                               OSSL_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
5.65k
    if (!ossl_quic_rxfc_on_rx_stream_frame(&stream->rxfc,
185
5.65k
                                           frame_data.final_size, /*is_fin=*/1)) {
186
0
        ossl_quic_channel_raise_protocol_error(ch,
187
0
                                               OSSL_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
5.65k
    fce = ossl_quic_rxfc_get_error(&stream->rxfc, 0);
195
5.65k
    if (fce != OSSL_QUIC_ERR_NO_ERROR) {
196
132
        ossl_quic_channel_raise_protocol_error(ch,
197
132
                                               fce,
198
132
                                               OSSL_QUIC_FRAME_TYPE_RESET_STREAM,
199
132
                                               "flow control violation");
200
132
        return 0;
201
132
    }
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
5.51k
    ossl_quic_stream_map_notify_reset_recv_part(&ch->qsm, stream,
210
5.51k
                                                frame_data.app_error_code,
211
5.51k
                                                frame_data.final_size);
212
213
5.51k
    ossl_quic_stream_map_update_state(&ch->qsm, stream);
214
5.51k
    return 1;
215
5.65k
}
216
217
static int depack_do_frame_stop_sending(PACKET *pkt,
218
                                        QUIC_CHANNEL *ch,
219
                                        OSSL_ACKM_RX_PKT *ackm_data)
220
82.8k
{
221
82.8k
    OSSL_QUIC_FRAME_STOP_SENDING frame_data;
222
82.8k
    QUIC_STREAM *stream = NULL;
223
224
82.8k
    if (!ossl_quic_wire_decode_frame_stop_sending(pkt, &frame_data)) {
225
66
        ossl_quic_channel_raise_protocol_error(ch,
226
66
                                               OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
227
66
                                               OSSL_QUIC_FRAME_TYPE_STOP_SENDING,
228
66
                                               "decode error");
229
66
        return 0;
230
66
    }
231
232
82.8k
    if (!depack_do_implicit_stream_create(ch, frame_data.stream_id,
233
82.8k
                                          OSSL_QUIC_FRAME_TYPE_STOP_SENDING,
234
82.8k
                                          &stream))
235
182
        return 0; /* error already raised for us */
236
237
82.6k
    if (stream == NULL)
238
0
        return 1; /* old deleted stream, not a protocol violation, ignore */
239
240
82.6k
    if (!ossl_quic_stream_has_send(stream)) {
241
34
        ossl_quic_channel_raise_protocol_error(ch,
242
34
                                               OSSL_QUIC_ERR_STREAM_STATE_ERROR,
243
34
                                               OSSL_QUIC_FRAME_TYPE_STOP_SENDING,
244
34
                                               "STOP_SENDING frame for "
245
34
                                               "RX only stream");
246
34
        return 0;
247
34
    }
248
249
82.5k
    stream->peer_stop_sending       = 1;
250
82.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
82.5k
    ossl_quic_stream_map_reset_stream_send_part(&ch->qsm, stream,
258
82.5k
                                                frame_data.app_error_code);
259
82.5k
    return 1;
260
82.6k
}
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
336k
{
267
336k
    OSSL_QUIC_FRAME_CRYPTO f;
268
336k
    QUIC_RSTREAM *rstream;
269
336k
    QUIC_RXFC *rxfc;
270
271
336k
    *datalen = 0;
272
273
336k
    if (!ossl_quic_wire_decode_frame_crypto(pkt, 0, &f)) {
274
916
        ossl_quic_channel_raise_protocol_error(ch,
275
916
                                               OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
276
916
                                               OSSL_QUIC_FRAME_TYPE_CRYPTO,
277
916
                                               "decode error");
278
916
        return 0;
279
916
    }
280
281
335k
    if (f.len == 0)
282
83.7k
        return 1; /* nothing to do */
283
284
252k
    rstream = ch->crypto_recv[ackm_data->pkt_space];
285
252k
    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
252k
    rxfc = &ch->crypto_rxfc[ackm_data->pkt_space];
294
295
252k
    if (!ossl_quic_rxfc_on_rx_stream_frame(rxfc, f.offset + f.len,
296
252k
                                           /*is_fin=*/0)) {
297
0
        ossl_quic_channel_raise_protocol_error(ch,
298
0
                                               OSSL_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
252k
    if (ossl_quic_rxfc_get_error(rxfc, 0) != OSSL_QUIC_ERR_NO_ERROR) {
305
591
        ossl_quic_channel_raise_protocol_error(ch, OSSL_QUIC_ERR_CRYPTO_BUFFER_EXCEEDED,
306
591
                                               OSSL_QUIC_FRAME_TYPE_CRYPTO,
307
591
                                               "exceeded maximum crypto buffer");
308
591
        return 0;
309
591
    }
310
311
251k
    if (!ossl_quic_rstream_queue_data(rstream, parent_pkt,
312
251k
                                      f.offset, f.data, f.len, 0)) {
313
0
        ossl_quic_channel_raise_protocol_error(ch,
314
0
                                               OSSL_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
251k
    ch->did_crypto_frame = 1;
321
251k
    *datalen = f.len;
322
323
251k
    return 1;
324
251k
}
325
326
static int depack_do_frame_new_token(PACKET *pkt, QUIC_CHANNEL *ch,
327
                                     OSSL_ACKM_RX_PKT *ackm_data)
328
2.21k
{
329
2.21k
    const uint8_t *token;
330
2.21k
    size_t token_len;
331
332
2.21k
    if (!ossl_quic_wire_decode_frame_new_token(pkt, &token, &token_len)) {
333
46
        ossl_quic_channel_raise_protocol_error(ch,
334
46
                                               OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
335
46
                                               OSSL_QUIC_FRAME_TYPE_NEW_TOKEN,
336
46
                                               "decode error");
337
46
        return 0;
338
46
    }
339
340
2.16k
    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
12
        ossl_quic_channel_raise_protocol_error(ch,
347
12
                                               OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
348
12
                                               OSSL_QUIC_FRAME_TYPE_NEW_TOKEN,
349
12
                                               "zero-length NEW_TOKEN");
350
12
        return 0;
351
12
    }
352
353
    /* TODO(QUIC FUTURE): ADD CODE to send |token| to the session manager */
354
355
2.15k
    return 1;
356
2.16k
}
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
160k
{
368
160k
    QUIC_STREAM *stream;
369
160k
    uint64_t peer_role, stream_ordinal;
370
160k
    uint64_t *p_next_ordinal_local, *p_next_ordinal_remote;
371
160k
    QUIC_RXFC *max_streams_fc;
372
160k
    int is_uni, is_remote_init;
373
374
160k
    stream = ossl_quic_stream_map_get_by_id(&ch->qsm, stream_id);
375
160k
    if (stream != NULL) {
376
142k
        *result = stream;
377
142k
        return 1;
378
142k
    }
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
17.3k
    peer_role = ch->is_server
399
17.3k
        ? QUIC_STREAM_INITIATOR_CLIENT
400
17.3k
        : QUIC_STREAM_INITIATOR_SERVER;
401
402
17.3k
    is_remote_init = ((stream_id & QUIC_STREAM_INITIATOR_MASK) == peer_role);
403
17.3k
    is_uni = ((stream_id & QUIC_STREAM_DIR_MASK) == QUIC_STREAM_DIR_UNI);
404
405
17.3k
    stream_ordinal = stream_id >> 2;
406
407
17.3k
    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
16.5k
        p_next_ordinal_remote = is_uni
416
16.5k
            ? &ch->next_remote_stream_ordinal_uni
417
16.5k
            : &ch->next_remote_stream_ordinal_bidi;
418
419
        /* Check this isn't violating stream count flow control. */
420
16.5k
        max_streams_fc = is_uni
421
16.5k
            ? &ch->max_streams_uni_rxfc
422
16.5k
            : &ch->max_streams_bidi_rxfc;
423
424
16.5k
        if (!ossl_quic_rxfc_on_rx_stream_frame(max_streams_fc,
425
16.5k
                                               stream_ordinal + 1,
426
16.5k
                                               /*is_fin=*/0)) {
427
0
            ossl_quic_channel_raise_protocol_error(ch,
428
0
                                                   OSSL_QUIC_ERR_INTERNAL_ERROR,
429
0
                                                   frame_type,
430
0
                                                   "internal error (stream count RXFC)");
431
0
            return 0;
432
0
        }
433
434
16.5k
        if (ossl_quic_rxfc_get_error(max_streams_fc, 0) != OSSL_QUIC_ERR_NO_ERROR) {
435
126
            ossl_quic_channel_raise_protocol_error(ch, OSSL_QUIC_ERR_STREAM_LIMIT_ERROR,
436
126
                                                   frame_type,
437
126
                                                   "exceeded maximum allowed streams");
438
126
            return 0;
439
126
        }
440
441
        /*
442
         * Create the named stream and any streams coming before it yet to be
443
         * created.
444
         */
445
139k
        while (*p_next_ordinal_remote <= stream_ordinal) {
446
123k
            uint64_t cur_stream_id = (*p_next_ordinal_remote << 2) |
447
123k
                (stream_id
448
123k
                 & (QUIC_STREAM_DIR_MASK | QUIC_STREAM_INITIATOR_MASK));
449
450
123k
            stream = ossl_quic_channel_new_stream_remote(ch, cur_stream_id);
451
123k
            if (stream == NULL) {
452
0
                ossl_quic_channel_raise_protocol_error(ch,
453
0
                                                       OSSL_QUIC_ERR_INTERNAL_ERROR,
454
0
                                                       frame_type,
455
0
                                                       "internal error (stream allocation)");
456
0
                return 0;
457
0
            }
458
459
123k
            ++*p_next_ordinal_remote;
460
123k
        }
461
462
16.4k
        *result = stream;
463
16.4k
    } else {
464
        /* Locally-created stream which does not yet exist. */
465
778
        p_next_ordinal_local = is_uni
466
778
            ? &ch->next_local_stream_ordinal_uni
467
778
            : &ch->next_local_stream_ordinal_bidi;
468
469
778
        if (stream_ordinal >= *p_next_ordinal_local) {
470
            /*
471
             * We never created this stream yet, this is a protocol
472
             * violation.
473
             */
474
778
            ossl_quic_channel_raise_protocol_error(ch,
475
778
                                                   OSSL_QUIC_ERR_STREAM_STATE_ERROR,
476
778
                                                   frame_type,
477
778
                                                   "STREAM frame for nonexistent "
478
778
                                                   "stream");
479
778
            return 0;
480
778
        }
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
16.4k
    return 1;
492
17.3k
}
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
55.4k
{
500
55.4k
    OSSL_QUIC_FRAME_STREAM frame_data;
501
55.4k
    QUIC_STREAM *stream;
502
55.4k
    uint64_t fce;
503
55.4k
    size_t rs_avail;
504
55.4k
    int rs_fin = 0;
505
506
55.4k
    *datalen = 0;
507
508
55.4k
    if (!ossl_quic_wire_decode_frame_stream(pkt, 0, &frame_data)) {
509
450
        ossl_quic_channel_raise_protocol_error(ch,
510
450
                                               OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
511
450
                                               frame_type,
512
450
                                               "decode error");
513
450
        return 0;
514
450
    }
515
516
55.0k
    if (!depack_do_implicit_stream_create(ch, frame_data.stream_id,
517
55.0k
                                          frame_type, &stream))
518
360
        return 0; /* protocol error raised by above call */
519
520
54.6k
    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
54.6k
    if (!ossl_quic_stream_has_recv(stream)) {
528
0
        ossl_quic_channel_raise_protocol_error(ch,
529
0
                                               OSSL_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
54.6k
    if (!ossl_quic_rxfc_on_rx_stream_frame(&stream->rxfc,
538
54.6k
                                           frame_data.offset + frame_data.len,
539
54.6k
                                           frame_data.is_fin)) {
540
0
        ossl_quic_channel_raise_protocol_error(ch,
541
0
                                               OSSL_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
54.6k
    fce = ossl_quic_rxfc_get_error(&stream->rxfc, 0);
549
54.6k
    if (fce != OSSL_QUIC_ERR_NO_ERROR) {
550
321
        ossl_quic_channel_raise_protocol_error(ch,
551
321
                                               fce,
552
321
                                               frame_type,
553
321
                                               "flow control violation");
554
321
        return 0;
555
321
    }
556
557
54.3k
    switch (stream->recv_state) {
558
16.0k
    case QUIC_RSTREAM_STATE_RECV:
559
46.4k
    case QUIC_RSTREAM_STATE_SIZE_KNOWN:
560
        /*
561
         * It only makes sense to process incoming STREAM frames in these
562
         * states.
563
         */
564
46.4k
        break;
565
566
7.48k
    case QUIC_RSTREAM_STATE_DATA_RECVD:
567
7.83k
    case QUIC_RSTREAM_STATE_DATA_READ:
568
7.88k
    case QUIC_RSTREAM_STATE_RESET_RECVD:
569
7.88k
    case QUIC_RSTREAM_STATE_RESET_READ:
570
7.88k
    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
7.88k
        return 1;
576
54.3k
    }
577
578
    /* If we are in RECV, auto-transition to SIZE_KNOWN on FIN. */
579
46.4k
    if (frame_data.is_fin
580
36.9k
        && !ossl_quic_stream_recv_get_final_size(stream, NULL)) {
581
582
        /* State was already checked above, so can't fail. */
583
7.03k
        ossl_quic_stream_map_notify_size_known_recv_part(&ch->qsm, stream,
584
7.03k
                                                         frame_data.offset
585
7.03k
                                                         + frame_data.len);
586
7.03k
    }
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
46.4k
    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
46.4k
    if ((frame_data.len > 0 || frame_data.is_fin)
607
45.7k
        && !ossl_quic_rstream_queue_data(stream->rstream, parent_pkt,
608
45.7k
                                      frame_data.offset,
609
45.7k
                                      frame_data.data,
610
45.7k
                                      frame_data.len,
611
45.7k
                                      frame_data.is_fin)) {
612
0
        ossl_quic_channel_raise_protocol_error(ch,
613
0
                                               OSSL_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
46.4k
    if (stream->recv_state == QUIC_RSTREAM_STATE_SIZE_KNOWN
626
37.4k
        && !ossl_quic_rstream_available(stream->rstream, &rs_avail, &rs_fin)) {
627
0
        ossl_quic_channel_raise_protocol_error(ch,
628
0
                                               OSSL_QUIC_ERR_INTERNAL_ERROR,
629
0
                                               frame_type,
630
0
                                               "internal error (rstream available)");
631
0
        return 0;
632
0
    }
633
634
46.4k
    if (rs_fin)
635
3.20k
        ossl_quic_stream_map_notify_totally_received(&ch->qsm, stream);
636
637
46.4k
    *datalen = frame_data.len;
638
639
46.4k
    return 1;
640
46.4k
}
641
642
static void update_streams(QUIC_STREAM *s, void *arg)
643
354k
{
644
354k
    QUIC_CHANNEL *ch = arg;
645
646
354k
    ossl_quic_stream_map_update_state(&ch->qsm, s);
647
354k
}
648
649
static void update_streams_bidi(QUIC_STREAM *s, void *arg)
650
63.6k
{
651
63.6k
    QUIC_CHANNEL *ch = arg;
652
653
63.6k
    if (!ossl_quic_stream_is_bidi(s))
654
10.7k
        return;
655
656
52.9k
    ossl_quic_stream_map_update_state(&ch->qsm, s);
657
52.9k
}
658
659
static void update_streams_uni(QUIC_STREAM *s, void *arg)
660
675k
{
661
675k
    QUIC_CHANNEL *ch = arg;
662
663
675k
    if (ossl_quic_stream_is_bidi(s))
664
133k
        return;
665
666
542k
    ossl_quic_stream_map_update_state(&ch->qsm, s);
667
542k
}
668
669
static int depack_do_frame_max_data(PACKET *pkt, QUIC_CHANNEL *ch,
670
                                    OSSL_ACKM_RX_PKT *ackm_data)
671
57.1k
{
672
57.1k
    uint64_t max_data = 0;
673
674
57.1k
    if (!ossl_quic_wire_decode_frame_max_data(pkt, &max_data)) {
675
30
        ossl_quic_channel_raise_protocol_error(ch,
676
30
                                               OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
677
30
                                               OSSL_QUIC_FRAME_TYPE_MAX_DATA,
678
30
                                               "decode error");
679
30
        return 0;
680
30
    }
681
682
57.0k
    ossl_quic_txfc_bump_cwm(&ch->conn_txfc, max_data);
683
57.0k
    ossl_quic_stream_map_visit(&ch->qsm, update_streams, ch);
684
57.0k
    return 1;
685
57.1k
}
686
687
static int depack_do_frame_max_stream_data(PACKET *pkt,
688
                                           QUIC_CHANNEL *ch,
689
                                           OSSL_ACKM_RX_PKT *ackm_data)
690
11.3k
{
691
11.3k
    uint64_t stream_id = 0;
692
11.3k
    uint64_t max_stream_data = 0;
693
11.3k
    QUIC_STREAM *stream;
694
695
11.3k
    if (!ossl_quic_wire_decode_frame_max_stream_data(pkt, &stream_id,
696
11.3k
                                                     &max_stream_data)) {
697
42
        ossl_quic_channel_raise_protocol_error(ch,
698
42
                                               OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
699
42
                                               OSSL_QUIC_FRAME_TYPE_MAX_STREAM_DATA,
700
42
                                               "decode error");
701
42
        return 0;
702
42
    }
703
704
11.3k
    if (!depack_do_implicit_stream_create(ch, stream_id,
705
11.3k
                                          OSSL_QUIC_FRAME_TYPE_MAX_STREAM_DATA,
706
11.3k
                                          &stream))
707
120
        return 0; /* error already raised for us */
708
709
11.2k
    if (stream == NULL)
710
0
        return 1; /* old deleted stream, not a protocol violation, ignore */
711
712
11.2k
    if (!ossl_quic_stream_has_send(stream)) {
713
26
        ossl_quic_channel_raise_protocol_error(ch,
714
26
                                               OSSL_QUIC_ERR_STREAM_STATE_ERROR,
715
26
                                               OSSL_QUIC_FRAME_TYPE_MAX_STREAM_DATA,
716
26
                                               "MAX_STREAM_DATA for TX only "
717
26
                                               "stream");
718
26
        return 0;
719
26
    }
720
721
11.1k
    ossl_quic_txfc_bump_cwm(&stream->txfc, max_stream_data);
722
11.1k
    ossl_quic_stream_map_update_state(&ch->qsm, stream);
723
11.1k
    return 1;
724
11.2k
}
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
51.7k
{
731
51.7k
    uint64_t max_streams = 0;
732
733
51.7k
    if (!ossl_quic_wire_decode_frame_max_streams(pkt, &max_streams)) {
734
36
        ossl_quic_channel_raise_protocol_error(ch,
735
36
                                               OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
736
36
                                               frame_type,
737
36
                                               "decode error");
738
36
        return 0;
739
36
    }
740
741
51.6k
    if (max_streams > (((uint64_t)1) << 60)) {
742
83
        ossl_quic_channel_raise_protocol_error(ch,
743
83
                                               OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
744
83
                                               frame_type,
745
83
                                               "invalid max streams value");
746
83
        return 0;
747
83
    }
748
749
51.6k
    switch (frame_type) {
750
18.2k
    case OSSL_QUIC_FRAME_TYPE_MAX_STREAMS_BIDI:
751
18.2k
        if (max_streams > ch->max_local_streams_bidi)
752
592
            ch->max_local_streams_bidi = max_streams;
753
754
        /* Some streams may now be able to send. */
755
18.2k
        ossl_quic_stream_map_visit(&ch->qsm, update_streams_bidi, ch);
756
18.2k
        break;
757
33.3k
    case OSSL_QUIC_FRAME_TYPE_MAX_STREAMS_UNI:
758
33.3k
        if (max_streams > ch->max_local_streams_uni)
759
1.15k
            ch->max_local_streams_uni = max_streams;
760
761
        /* Some streams may now be able to send. */
762
33.3k
        ossl_quic_stream_map_visit(&ch->qsm, update_streams_uni, ch);
763
33.3k
        break;
764
0
    default:
765
0
        ossl_quic_channel_raise_protocol_error(ch,
766
0
                                               OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
767
0
                                               frame_type,
768
0
                                               "decode error");
769
0
        return 0;
770
51.6k
    }
771
772
51.6k
    return 1;
773
51.6k
}
774
775
static int depack_do_frame_data_blocked(PACKET *pkt,
776
                                        QUIC_CHANNEL *ch,
777
                                        OSSL_ACKM_RX_PKT *ackm_data)
778
13.6k
{
779
13.6k
    uint64_t max_data = 0;
780
781
13.6k
    if (!ossl_quic_wire_decode_frame_data_blocked(pkt, &max_data)) {
782
21
        ossl_quic_channel_raise_protocol_error(ch,
783
21
                                               OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
784
21
                                               OSSL_QUIC_FRAME_TYPE_DATA_BLOCKED,
785
21
                                               "decode error");
786
21
        return 0;
787
21
    }
788
789
    /* No-op - informative/debugging frame. */
790
13.6k
    return 1;
791
13.6k
}
792
793
static int depack_do_frame_stream_data_blocked(PACKET *pkt,
794
                                               QUIC_CHANNEL *ch,
795
                                               OSSL_ACKM_RX_PKT *ackm_data)
796
5.24k
{
797
5.24k
    uint64_t stream_id = 0;
798
5.24k
    uint64_t max_data = 0;
799
5.24k
    QUIC_STREAM *stream;
800
801
5.24k
    if (!ossl_quic_wire_decode_frame_stream_data_blocked(pkt, &stream_id,
802
5.24k
                                                         &max_data)) {
803
51
        ossl_quic_channel_raise_protocol_error(ch,
804
51
                                               OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
805
51
                                               OSSL_QUIC_FRAME_TYPE_STREAM_DATA_BLOCKED,
806
51
                                               "decode error");
807
51
        return 0;
808
51
    }
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
5.19k
    if (!depack_do_implicit_stream_create(ch, stream_id,
815
5.19k
                                          OSSL_QUIC_FRAME_TYPE_STREAM_DATA_BLOCKED,
816
5.19k
                                          &stream))
817
88
        return 0; /* error already raised for us */
818
819
5.10k
    if (stream == NULL)
820
0
        return 1; /* old deleted stream, not a protocol violation, ignore */
821
822
5.10k
    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
                                               OSSL_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
5.10k
    return 1;
838
5.10k
}
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
87.6k
{
845
87.6k
    uint64_t max_data = 0;
846
847
87.6k
    if (!ossl_quic_wire_decode_frame_streams_blocked(pkt, &max_data)) {
848
20
        ossl_quic_channel_raise_protocol_error(ch,
849
20
                                               OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
850
20
                                               frame_type,
851
20
                                               "decode error");
852
20
        return 0;
853
20
    }
854
855
87.6k
    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
168
        ossl_quic_channel_raise_protocol_error(ch,
863
168
                                               OSSL_QUIC_ERR_STREAM_LIMIT_ERROR,
864
168
                                               frame_type,
865
168
                                               "invalid stream count limit");
866
168
        return 0;
867
168
    }
868
869
    /* No-op - informative/debugging frame. */
870
87.4k
    return 1;
871
87.6k
}
872
873
static int depack_do_frame_new_conn_id(PACKET *pkt,
874
                                       QUIC_CHANNEL *ch,
875
                                       OSSL_ACKM_RX_PKT *ackm_data)
876
17.8k
{
877
17.8k
    OSSL_QUIC_FRAME_NEW_CONN_ID frame_data;
878
879
17.8k
    if (!ossl_quic_wire_decode_frame_new_conn_id(pkt, &frame_data)) {
880
828
        ossl_quic_channel_raise_protocol_error(ch,
881
828
                                               OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
882
828
                                               OSSL_QUIC_FRAME_TYPE_NEW_CONN_ID,
883
828
                                               "decode error");
884
828
        return 0;
885
828
    }
886
887
17.0k
    ossl_quic_channel_on_new_conn_id(ch, &frame_data);
888
889
17.0k
    return 1;
890
17.8k
}
891
892
static int depack_do_frame_retire_conn_id(PACKET *pkt,
893
                                          QUIC_CHANNEL *ch,
894
                                          OSSL_ACKM_RX_PKT *ackm_data)
895
88
{
896
88
    uint64_t seq_num;
897
898
88
    if (!ossl_quic_wire_decode_frame_retire_conn_id(pkt, &seq_num)) {
899
15
        ossl_quic_channel_raise_protocol_error(ch,
900
15
                                               OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
901
15
                                               OSSL_QUIC_FRAME_TYPE_RETIRE_CONN_ID,
902
15
                                               "decode error");
903
15
        return 0;
904
15
    }
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
73
    if (!ch->is_server) {
920
73
        ossl_quic_channel_raise_protocol_error(ch,
921
73
                                               OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
922
73
                                               OSSL_QUIC_FRAME_TYPE_RETIRE_CONN_ID,
923
73
                                               "conn has zero-length CID");
924
73
        return 0;
925
73
    }
926
927
0
    return 1;
928
73
}
929
930
static void free_path_response(unsigned char *buf, size_t buf_len, void *arg)
931
262k
{
932
262k
    OPENSSL_free(buf);
933
262k
}
934
935
static int depack_do_frame_path_challenge(PACKET *pkt,
936
                                          QUIC_CHANNEL *ch,
937
                                          OSSL_ACKM_RX_PKT *ackm_data)
938
262k
{
939
262k
    uint64_t frame_data = 0;
940
262k
    unsigned char *encoded = NULL;
941
262k
    size_t encoded_len;
942
262k
    WPACKET wpkt;
943
944
262k
    if (!ossl_quic_wire_decode_frame_path_challenge(pkt, &frame_data)) {
945
104
        ossl_quic_channel_raise_protocol_error(ch,
946
104
                                               OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
947
104
                                               OSSL_QUIC_FRAME_TYPE_PATH_CHALLENGE,
948
104
                                               "decode error");
949
104
        return 0;
950
104
    }
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
262k
    encoded_len = sizeof(uint64_t) + 1;
960
262k
    if ((encoded = OPENSSL_malloc(encoded_len)) == NULL)
961
0
        goto err;
962
963
262k
    if (!WPACKET_init_static_len(&wpkt, encoded, encoded_len, 0))
964
0
        goto err;
965
966
262k
    if (!ossl_quic_wire_encode_frame_path_response(&wpkt, frame_data)) {
967
0
        WPACKET_cleanup(&wpkt);
968
0
        goto err;
969
0
    }
970
971
262k
    WPACKET_finish(&wpkt);
972
973
262k
    if (!ossl_quic_cfq_add_frame(ch->cfq, 0, QUIC_PN_SPACE_APP,
974
262k
                                 OSSL_QUIC_FRAME_TYPE_PATH_RESPONSE,
975
262k
                                 QUIC_CFQ_ITEM_FLAG_UNRELIABLE,
976
262k
                                 encoded, encoded_len,
977
262k
                                 free_path_response, NULL))
978
0
        goto err;
979
980
262k
    return 1;
981
982
0
err:
983
0
    OPENSSL_free(encoded);
984
0
    ossl_quic_channel_raise_protocol_error(ch, OSSL_QUIC_ERR_INTERNAL_ERROR,
985
0
                                           OSSL_QUIC_FRAME_TYPE_PATH_CHALLENGE,
986
0
                                           "internal error");
987
0
    return 0;
988
262k
}
989
990
static int depack_do_frame_path_response(PACKET *pkt,
991
                                         QUIC_CHANNEL *ch,
992
                                         OSSL_ACKM_RX_PKT *ackm_data)
993
25.4k
{
994
25.4k
    uint64_t frame_data = 0;
995
996
25.4k
    if (!ossl_quic_wire_decode_frame_path_response(pkt, &frame_data)) {
997
24
        ossl_quic_channel_raise_protocol_error(ch,
998
24
                                               OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
999
24
                                               OSSL_QUIC_FRAME_TYPE_PATH_RESPONSE,
1000
24
                                               "decode error");
1001
24
        return 0;
1002
24
    }
1003
1004
    /* TODO(QUIC MULTIPATH): ADD CODE to send |frame_data| to the ch manager */
1005
1006
25.4k
    return 1;
1007
25.4k
}
1008
1009
static int depack_do_frame_conn_close(PACKET *pkt, QUIC_CHANNEL *ch,
1010
                                      uint64_t frame_type)
1011
2.65k
{
1012
2.65k
    OSSL_QUIC_FRAME_CONN_CLOSE frame_data;
1013
1014
2.65k
    if (!ossl_quic_wire_decode_frame_conn_close(pkt, &frame_data)) {
1015
434
        ossl_quic_channel_raise_protocol_error(ch,
1016
434
                                               OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
1017
434
                                               frame_type,
1018
434
                                               "decode error");
1019
434
        return 0;
1020
434
    }
1021
1022
2.22k
    ossl_quic_channel_on_remote_conn_close(ch, &frame_data);
1023
2.22k
    return 1;
1024
2.65k
}
1025
1026
static int depack_do_frame_handshake_done(PACKET *pkt,
1027
                                          QUIC_CHANNEL *ch,
1028
                                          OSSL_ACKM_RX_PKT *ackm_data)
1029
373k
{
1030
373k
    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
                                               OSSL_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
373k
    ossl_quic_channel_on_handshake_confirmed(ch);
1040
373k
    return 1;
1041
373k
}
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
378k
{
1049
378k
    uint32_t pkt_type = parent_pkt->hdr->type;
1050
378k
    uint32_t packet_space = ossl_quic_enc_level_to_pn_space(enc_level);
1051
1052
378k
    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
                                               OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
1060
0
                                               0,
1061
0
                                               "empty packet payload");
1062
0
        return 0;
1063
0
    }
1064
1065
2.63M
    while (PACKET_remaining(pkt) > 0) {
1066
2.26M
        int was_minimal;
1067
2.26M
        uint64_t frame_type;
1068
2.26M
        const unsigned char *sof = NULL;
1069
2.26M
        uint64_t datalen = 0;
1070
1071
2.26M
        if (ch->msg_callback != NULL)
1072
0
            sof = PACKET_data(pkt);
1073
1074
2.26M
        if (!ossl_quic_wire_peek_frame_header(pkt, &frame_type, &was_minimal)) {
1075
532
            ossl_quic_channel_raise_protocol_error(ch,
1076
532
                                                   OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
1077
532
                                                   0,
1078
532
                                                   "malformed frame header");
1079
532
            return 0;
1080
532
        }
1081
1082
2.26M
        if (!was_minimal) {
1083
139
            ossl_quic_channel_raise_protocol_error(ch,
1084
139
                                                   OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
1085
139
                                                   frame_type,
1086
139
                                                   "non-minimal frame type encoding");
1087
139
            return 0;
1088
139
        }
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
2.26M
        switch (frame_type) {
1097
319k
        case OSSL_QUIC_FRAME_TYPE_PADDING:
1098
422k
        case OSSL_QUIC_FRAME_TYPE_ACK_WITHOUT_ECN:
1099
482k
        case OSSL_QUIC_FRAME_TYPE_ACK_WITH_ECN:
1100
483k
        case OSSL_QUIC_FRAME_TYPE_CONN_CLOSE_TRANSPORT:
1101
484k
        case OSSL_QUIC_FRAME_TYPE_CONN_CLOSE_APP:
1102
484k
            break;
1103
1.77M
        default:
1104
1.77M
            ackm_data->is_ack_eliciting = 1;
1105
1.77M
            break;
1106
2.26M
        }
1107
1108
2.26M
        switch (frame_type) {
1109
997k
        case OSSL_QUIC_FRAME_TYPE_PING:
1110
            /* Allowed in all packet types */
1111
997k
            if (!depack_do_frame_ping(pkt, ch, enc_level, ackm_data))
1112
0
                return 0;
1113
997k
            break;
1114
997k
        case OSSL_QUIC_FRAME_TYPE_PADDING:
1115
            /* Allowed in all packet types */
1116
319k
            if (!depack_do_frame_padding(pkt))
1117
0
                return 0;
1118
319k
            break;
1119
1120
319k
        case OSSL_QUIC_FRAME_TYPE_ACK_WITHOUT_ECN:
1121
163k
        case OSSL_QUIC_FRAME_TYPE_ACK_WITH_ECN:
1122
            /* ACK frames are valid everywhere except in 0RTT packets */
1123
163k
            if (pkt_type == QUIC_PKT_TYPE_0RTT) {
1124
0
                ossl_quic_channel_raise_protocol_error(ch,
1125
0
                                                       OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
1126
0
                                                       frame_type,
1127
0
                                                       "ACK not valid in 0-RTT");
1128
0
                return 0;
1129
0
            }
1130
163k
            if (!depack_do_frame_ack(pkt, ch, packet_space, received,
1131
163k
                                     frame_type, parent_pkt))
1132
1.30k
                return 0;
1133
162k
            break;
1134
1135
162k
        case OSSL_QUIC_FRAME_TYPE_RESET_STREAM:
1136
            /* RESET_STREAM frames are valid in 0RTT and 1RTT packets */
1137
3.18k
            if (pkt_type != QUIC_PKT_TYPE_0RTT
1138
3.18k
                && pkt_type != QUIC_PKT_TYPE_1RTT) {
1139
123
                ossl_quic_channel_raise_protocol_error(ch,
1140
123
                                                       OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
1141
123
                                                       frame_type,
1142
123
                                                       "RESET_STREAM not valid in "
1143
123
                                                       "INITIAL/HANDSHAKE");
1144
123
                return 0;
1145
123
            }
1146
3.06k
            if (!depack_do_frame_reset_stream(pkt, ch, ackm_data))
1147
194
                return 0;
1148
2.86k
            break;
1149
53.7k
        case OSSL_QUIC_FRAME_TYPE_STOP_SENDING:
1150
            /* STOP_SENDING frames are valid in 0RTT and 1RTT packets */
1151
53.7k
            if (pkt_type != QUIC_PKT_TYPE_0RTT
1152
53.7k
                && pkt_type != QUIC_PKT_TYPE_1RTT) {
1153
31
                ossl_quic_channel_raise_protocol_error(ch,
1154
31
                                                       OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
1155
31
                                                       frame_type,
1156
31
                                                       "STOP_SENDING not valid in "
1157
31
                                                       "INITIAL/HANDSHAKE");
1158
31
                return 0;
1159
31
            }
1160
53.7k
            if (!depack_do_frame_stop_sending(pkt, ch, ackm_data))
1161
177
                return 0;
1162
53.5k
            break;
1163
195k
        case OSSL_QUIC_FRAME_TYPE_CRYPTO:
1164
            /* CRYPTO frames are valid everywhere except in 0RTT packets */
1165
195k
            if (pkt_type == QUIC_PKT_TYPE_0RTT) {
1166
0
                ossl_quic_channel_raise_protocol_error(ch,
1167
0
                                                       OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
1168
0
                                                       frame_type,
1169
0
                                                       "CRYPTO frame not valid in 0-RTT");
1170
0
                return 0;
1171
0
            }
1172
195k
            if (!depack_do_frame_crypto(pkt, ch, parent_pkt, ackm_data, &datalen))
1173
856
                return 0;
1174
194k
            break;
1175
194k
        case OSSL_QUIC_FRAME_TYPE_NEW_TOKEN:
1176
            /* NEW_TOKEN frames are valid in 1RTT packets */
1177
2.25k
            if (pkt_type != QUIC_PKT_TYPE_1RTT) {
1178
39
                ossl_quic_channel_raise_protocol_error(ch,
1179
39
                                                       OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
1180
39
                                                       frame_type,
1181
39
                                                       "NEW_TOKEN valid only in 1-RTT");
1182
39
                return 0;
1183
39
            }
1184
2.21k
            if (!depack_do_frame_new_token(pkt, ch, ackm_data))
1185
58
                return 0;
1186
2.15k
            break;
1187
1188
4.09k
        case OSSL_QUIC_FRAME_TYPE_STREAM:
1189
7.25k
        case OSSL_QUIC_FRAME_TYPE_STREAM_FIN:
1190
8.35k
        case OSSL_QUIC_FRAME_TYPE_STREAM_LEN:
1191
11.4k
        case OSSL_QUIC_FRAME_TYPE_STREAM_LEN_FIN:
1192
11.8k
        case OSSL_QUIC_FRAME_TYPE_STREAM_OFF:
1193
16.8k
        case OSSL_QUIC_FRAME_TYPE_STREAM_OFF_FIN:
1194
17.3k
        case OSSL_QUIC_FRAME_TYPE_STREAM_OFF_LEN:
1195
32.3k
        case OSSL_QUIC_FRAME_TYPE_STREAM_OFF_LEN_FIN:
1196
            /* STREAM frames are valid in 0RTT and 1RTT packets */
1197
32.3k
            if (pkt_type != QUIC_PKT_TYPE_0RTT
1198
32.3k
                && pkt_type != QUIC_PKT_TYPE_1RTT) {
1199
197
                ossl_quic_channel_raise_protocol_error(ch,
1200
197
                                                       OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
1201
197
                                                       frame_type,
1202
197
                                                       "STREAM valid only in 0/1-RTT");
1203
197
                return 0;
1204
197
            }
1205
32.1k
            if (!depack_do_frame_stream(pkt, ch, parent_pkt, ackm_data,
1206
32.1k
                                        frame_type, &datalen))
1207
647
                return 0;
1208
31.4k
            break;
1209
1210
31.4k
        case OSSL_QUIC_FRAME_TYPE_MAX_DATA:
1211
            /* MAX_DATA frames are valid in 0RTT and 1RTT packets */
1212
19.7k
            if (pkt_type != QUIC_PKT_TYPE_0RTT
1213
19.7k
                && pkt_type != QUIC_PKT_TYPE_1RTT) {
1214
38
                ossl_quic_channel_raise_protocol_error(ch,
1215
38
                                                       OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
1216
38
                                                       frame_type,
1217
38
                                                       "MAX_DATA valid only in 0/1-RTT");
1218
38
                return 0;
1219
38
            }
1220
19.6k
            if (!depack_do_frame_max_data(pkt, ch, ackm_data))
1221
10
                return 0;
1222
19.6k
            break;
1223
19.6k
        case OSSL_QUIC_FRAME_TYPE_MAX_STREAM_DATA:
1224
            /* MAX_STREAM_DATA frames are valid in 0RTT and 1RTT packets */
1225
6.61k
            if (pkt_type != QUIC_PKT_TYPE_0RTT
1226
6.61k
                && pkt_type != QUIC_PKT_TYPE_1RTT) {
1227
20
                ossl_quic_channel_raise_protocol_error(ch,
1228
20
                                                       OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
1229
20
                                                       frame_type,
1230
20
                                                       "MAX_STREAM_DATA valid only in 0/1-RTT");
1231
20
                return 0;
1232
20
            }
1233
6.59k
            if (!depack_do_frame_max_stream_data(pkt, ch, ackm_data))
1234
103
                return 0;
1235
6.48k
            break;
1236
1237
14.3k
        case OSSL_QUIC_FRAME_TYPE_MAX_STREAMS_BIDI:
1238
35.8k
        case OSSL_QUIC_FRAME_TYPE_MAX_STREAMS_UNI:
1239
            /* MAX_STREAMS frames are valid in 0RTT and 1RTT packets */
1240
35.8k
            if (pkt_type != QUIC_PKT_TYPE_0RTT
1241
35.8k
                && pkt_type != QUIC_PKT_TYPE_1RTT) {
1242
30
                ossl_quic_channel_raise_protocol_error(ch,
1243
30
                                                       OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
1244
30
                                                       frame_type,
1245
30
                                                       "MAX_STREAMS valid only in 0/1-RTT");
1246
30
                return 0;
1247
30
            }
1248
35.7k
            if (!depack_do_frame_max_streams(pkt, ch, ackm_data,
1249
35.7k
                                             frame_type))
1250
70
                return 0;
1251
35.7k
            break;
1252
1253
35.7k
        case OSSL_QUIC_FRAME_TYPE_DATA_BLOCKED:
1254
            /* DATA_BLOCKED frames are valid in 0RTT and 1RTT packets */
1255
5.67k
            if (pkt_type != QUIC_PKT_TYPE_0RTT
1256
5.67k
                && pkt_type != QUIC_PKT_TYPE_1RTT) {
1257
19
                ossl_quic_channel_raise_protocol_error(ch,
1258
19
                                                       OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
1259
19
                                                       frame_type,
1260
19
                                                       "DATA_BLOCKED valid only in 0/1-RTT");
1261
19
                return 0;
1262
19
            }
1263
5.65k
            if (!depack_do_frame_data_blocked(pkt, ch, ackm_data))
1264
8
                return 0;
1265
5.64k
            break;
1266
5.64k
        case OSSL_QUIC_FRAME_TYPE_STREAM_DATA_BLOCKED:
1267
            /* STREAM_DATA_BLOCKED frames are valid in 0RTT and 1RTT packets */
1268
2.47k
            if (pkt_type != QUIC_PKT_TYPE_0RTT
1269
2.47k
                && pkt_type != QUIC_PKT_TYPE_1RTT) {
1270
21
                ossl_quic_channel_raise_protocol_error(ch,
1271
21
                                                       OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
1272
21
                                                       frame_type,
1273
21
                                                       "STREAM_DATA_BLOCKED valid only in 0/1-RTT");
1274
21
                return 0;
1275
21
            }
1276
2.45k
            if (!depack_do_frame_stream_data_blocked(pkt, ch, ackm_data))
1277
77
                return 0;
1278
2.37k
            break;
1279
1280
2.64k
        case OSSL_QUIC_FRAME_TYPE_STREAMS_BLOCKED_BIDI:
1281
46.4k
        case OSSL_QUIC_FRAME_TYPE_STREAMS_BLOCKED_UNI:
1282
            /* STREAMS_BLOCKED frames are valid in 0RTT and 1RTT packets */
1283
46.4k
            if (pkt_type != QUIC_PKT_TYPE_0RTT
1284
46.4k
                && pkt_type != QUIC_PKT_TYPE_1RTT) {
1285
43
                ossl_quic_channel_raise_protocol_error(ch,
1286
43
                                                       OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
1287
43
                                                       frame_type,
1288
43
                                                       "STREAMS valid only in 0/1-RTT");
1289
43
                return 0;
1290
43
            }
1291
46.4k
            if (!depack_do_frame_streams_blocked(pkt, ch, ackm_data,
1292
46.4k
                                                 frame_type))
1293
109
                return 0;
1294
46.3k
            break;
1295
1296
46.3k
        case OSSL_QUIC_FRAME_TYPE_NEW_CONN_ID:
1297
            /* NEW_CONN_ID frames are valid in 0RTT and 1RTT packets */
1298
10.6k
            if (pkt_type != QUIC_PKT_TYPE_0RTT
1299
10.6k
                && pkt_type != QUIC_PKT_TYPE_1RTT) {
1300
690
                ossl_quic_channel_raise_protocol_error(ch,
1301
690
                                                       OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
1302
690
                                                       frame_type,
1303
690
                                                       "NEW_CONN_ID valid only in 0/1-RTT");
1304
690
            }
1305
10.6k
            if (!depack_do_frame_new_conn_id(pkt, ch, ackm_data))
1306
460
                return 0;
1307
10.1k
            break;
1308
10.1k
        case OSSL_QUIC_FRAME_TYPE_RETIRE_CONN_ID:
1309
            /* RETIRE_CONN_ID frames are valid in 0RTT and 1RTT packets */
1310
59
            if (pkt_type != QUIC_PKT_TYPE_0RTT
1311
59
                && pkt_type != QUIC_PKT_TYPE_1RTT) {
1312
12
                ossl_quic_channel_raise_protocol_error(ch,
1313
12
                                                       OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
1314
12
                                                       frame_type,
1315
12
                                                       "RETIRE_CONN_ID valid only in 0/1-RTT");
1316
12
                return 0;
1317
12
            }
1318
47
            if (!depack_do_frame_retire_conn_id(pkt, ch, ackm_data))
1319
47
                return 0;
1320
0
            break;
1321
173k
        case OSSL_QUIC_FRAME_TYPE_PATH_CHALLENGE:
1322
            /* PATH_CHALLENGE frames are valid in 0RTT and 1RTT packets */
1323
173k
            if (pkt_type != QUIC_PKT_TYPE_0RTT
1324
173k
                && pkt_type != QUIC_PKT_TYPE_1RTT) {
1325
24
                ossl_quic_channel_raise_protocol_error(ch,
1326
24
                                                       OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
1327
24
                                                       frame_type,
1328
24
                                                       "PATH_CHALLENGE valid only in 0/1-RTT");
1329
24
                return 0;
1330
24
            }
1331
173k
            if (!depack_do_frame_path_challenge(pkt, ch, ackm_data))
1332
52
                return 0;
1333
1334
173k
            break;
1335
173k
        case OSSL_QUIC_FRAME_TYPE_PATH_RESPONSE:
1336
            /* PATH_RESPONSE frames are valid in 1RTT packets */
1337
14.6k
            if (pkt_type != QUIC_PKT_TYPE_1RTT) {
1338
10
                ossl_quic_channel_raise_protocol_error(ch,
1339
10
                                                       OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
1340
10
                                                       frame_type,
1341
10
                                                       "PATH_CHALLENGE valid only in 1-RTT");
1342
10
                return 0;
1343
10
            }
1344
14.6k
            if (!depack_do_frame_path_response(pkt, ch, ackm_data))
1345
9
                return 0;
1346
14.6k
            break;
1347
1348
14.6k
        case OSSL_QUIC_FRAME_TYPE_CONN_CLOSE_APP:
1349
            /* CONN_CLOSE_APP frames are valid in 0RTT and 1RTT packets */
1350
504
            if (pkt_type != QUIC_PKT_TYPE_0RTT
1351
504
                && pkt_type != QUIC_PKT_TYPE_1RTT) {
1352
11
                ossl_quic_channel_raise_protocol_error(ch,
1353
11
                                                       OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
1354
11
                                                       frame_type,
1355
11
                                                       "CONN_CLOSE (APP) valid only in 0/1-RTT");
1356
11
                return 0;
1357
11
            }
1358
            /* FALLTHRU */
1359
1.41k
        case OSSL_QUIC_FRAME_TYPE_CONN_CLOSE_TRANSPORT:
1360
            /* CONN_CLOSE_TRANSPORT frames are valid in all packets */
1361
1.41k
            if (!depack_do_frame_conn_close(pkt, ch, frame_type))
1362
233
                return 0;
1363
1.18k
            break;
1364
1365
175k
        case OSSL_QUIC_FRAME_TYPE_HANDSHAKE_DONE:
1366
            /* HANDSHAKE_DONE frames are valid in 1RTT packets */
1367
175k
            if (pkt_type != QUIC_PKT_TYPE_1RTT) {
1368
26
                ossl_quic_channel_raise_protocol_error(ch,
1369
26
                                                       OSSL_QUIC_ERR_PROTOCOL_VIOLATION,
1370
26
                                                       frame_type,
1371
26
                                                       "HANDSHAKE_DONE valid only in 1-RTT");
1372
26
                return 0;
1373
26
            }
1374
175k
            if (!depack_do_frame_handshake_done(pkt, ch, ackm_data))
1375
0
                return 0;
1376
175k
            break;
1377
1378
175k
        default:
1379
            /* Unknown frame type */
1380
3.31k
            ossl_quic_channel_raise_protocol_error(ch,
1381
3.31k
                                                   OSSL_QUIC_ERR_FRAME_ENCODING_ERROR,
1382
3.31k
                                                   frame_type,
1383
3.31k
                                                   "Unknown frame type received");
1384
3.31k
            return 0;
1385
2.26M
        }
1386
1387
2.25M
        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
2.25M
    }
1404
1405
369k
    return 1;
1406
378k
}
1407
1408
QUIC_NEEDS_LOCK
1409
int ossl_quic_handle_frames(QUIC_CHANNEL *ch, OSSL_QRX_PKT *qpacket)
1410
378k
{
1411
378k
    PACKET pkt;
1412
378k
    OSSL_ACKM_RX_PKT ackm_data;
1413
378k
    uint32_t enc_level;
1414
1415
378k
    if (ch == NULL)
1416
0
        return 0;
1417
1418
378k
    ch->did_crypto_frame = 0;
1419
1420
    /* Initialize |ackm_data| (and reinitialize |ok|)*/
1421
378k
    memset(&ackm_data, 0, sizeof(ackm_data));
1422
    /*
1423
     * ASSUMPTION: All packets that aren't special case have a
1424
     * packet number.
1425
     */
1426
378k
    ackm_data.pkt_num = qpacket->pn;
1427
378k
    ackm_data.time = qpacket->time;
1428
378k
    enc_level = ossl_quic_pkt_type_to_enc_level(qpacket->hdr->type);
1429
378k
    if (enc_level >= QUIC_ENC_LEVEL_NUM)
1430
        /*
1431
         * Retry and Version Negotiation packets should not be passed to this
1432
         * function.
1433
         */
1434
0
        return 0;
1435
1436
378k
    ackm_data.pkt_space = ossl_quic_enc_level_to_pn_space(enc_level);
1437
1438
    /* Now that special cases are out of the way, parse frames */
1439
378k
    if (!PACKET_buf_init(&pkt, qpacket->hdr->data, qpacket->hdr->len)
1440
378k
        || !depack_process_frames(ch, &pkt, qpacket,
1441
378k
                                  enc_level,
1442
378k
                                  qpacket->time,
1443
378k
                                  &ackm_data))
1444
9.04k
        return 0;
1445
1446
369k
    ossl_ackm_on_rx_packet(ch->ackm, &ackm_data);
1447
1448
369k
    return 1;
1449
378k
}