Coverage Report

Created: 2025-11-16 06:40

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