Coverage Report

Created: 2024-07-27 06:39

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