Coverage Report

Created: 2026-07-12 07:21

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