Coverage Report

Created: 2025-12-31 06:58

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/openssl35/ssl/quic/quic_wire.c
Line
Count
Source
1
/*
2
 * Copyright 2022-2024 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 <openssl/macros.h>
11
#include <openssl/objects.h>
12
#include "internal/quic_ssl.h"
13
#include "internal/quic_vlint.h"
14
#include "internal/quic_wire.h"
15
#include "internal/quic_error.h"
16
17
OSSL_SAFE_MATH_UNSIGNED(uint64_t, uint64_t)
18
19
int ossl_quic_frame_ack_contains_pn(const OSSL_QUIC_FRAME_ACK *ack, QUIC_PN pn)
20
58.8k
{
21
58.8k
    size_t i;
22
23
86.2k
    for (i = 0; i < ack->num_ack_ranges; ++i)
24
82.7k
        if (pn >= ack->ack_ranges[i].start
25
57.0k
            && pn <= ack->ack_ranges[i].end)
26
55.3k
            return 1;
27
28
3.55k
    return 0;
29
58.8k
}
30
31
/*
32
 * QUIC Wire Format Encoding
33
 * =========================
34
 */
35
36
int ossl_quic_wire_encode_padding(WPACKET *pkt, size_t num_bytes)
37
1.43M
{
38
    /*
39
     * PADDING is frame type zero, which as a variable-length integer is
40
     * represented as a single zero byte. As an optimisation, just use memset.
41
     */
42
1.43M
    return WPACKET_memset(pkt, 0, num_bytes);
43
1.43M
}
44
45
static int encode_frame_hdr(WPACKET *pkt, uint64_t frame_type)
46
8.36M
{
47
8.36M
    return WPACKET_quic_write_vlint(pkt, frame_type);
48
8.36M
}
49
50
int ossl_quic_wire_encode_frame_ping(WPACKET *pkt)
51
1.83M
{
52
1.83M
    return encode_frame_hdr(pkt, OSSL_QUIC_FRAME_TYPE_PING);
53
1.83M
}
54
55
int ossl_quic_wire_encode_frame_ack(WPACKET *pkt,
56
    uint32_t ack_delay_exponent,
57
    const OSSL_QUIC_FRAME_ACK *ack)
58
6.58M
{
59
6.58M
    uint64_t frame_type = ack->ecn_present ? OSSL_QUIC_FRAME_TYPE_ACK_WITH_ECN
60
6.58M
                                           : OSSL_QUIC_FRAME_TYPE_ACK_WITHOUT_ECN;
61
62
6.58M
    uint64_t largest_ackd, first_ack_range, ack_delay_enc;
63
6.58M
    uint64_t i, num_ack_ranges = ack->num_ack_ranges;
64
6.58M
    OSSL_TIME delay;
65
66
6.58M
    if (num_ack_ranges == 0)
67
461k
        return 0;
68
69
6.12M
    delay = ossl_time_divide(ossl_time_divide(ack->delay_time, OSSL_TIME_US),
70
6.12M
        (uint64_t)1 << ack_delay_exponent);
71
6.12M
    ack_delay_enc = ossl_time2ticks(delay);
72
73
6.12M
    largest_ackd = ack->ack_ranges[0].end;
74
6.12M
    first_ack_range = ack->ack_ranges[0].end - ack->ack_ranges[0].start;
75
76
6.12M
    if (!encode_frame_hdr(pkt, frame_type)
77
6.12M
        || !WPACKET_quic_write_vlint(pkt, largest_ackd)
78
6.12M
        || !WPACKET_quic_write_vlint(pkt, ack_delay_enc)
79
6.12M
        || !WPACKET_quic_write_vlint(pkt, num_ack_ranges - 1)
80
6.12M
        || !WPACKET_quic_write_vlint(pkt, first_ack_range))
81
310
        return 0;
82
83
16.9M
    for (i = 1; i < num_ack_ranges; ++i) {
84
10.8M
        uint64_t gap, range_len;
85
86
10.8M
        gap = ack->ack_ranges[i - 1].start - ack->ack_ranges[i].end - 2;
87
10.8M
        range_len = ack->ack_ranges[i].end - ack->ack_ranges[i].start;
88
89
10.8M
        if (!WPACKET_quic_write_vlint(pkt, gap)
90
10.8M
            || !WPACKET_quic_write_vlint(pkt, range_len))
91
39
            return 0;
92
10.8M
    }
93
94
6.12M
    if (ack->ecn_present)
95
0
        if (!WPACKET_quic_write_vlint(pkt, ack->ect0)
96
0
            || !WPACKET_quic_write_vlint(pkt, ack->ect1)
97
0
            || !WPACKET_quic_write_vlint(pkt, ack->ecnce))
98
0
            return 0;
99
100
6.12M
    return 1;
101
6.12M
}
102
103
int ossl_quic_wire_encode_frame_reset_stream(WPACKET *pkt,
104
    const OSSL_QUIC_FRAME_RESET_STREAM *f)
105
6.47k
{
106
6.47k
    if (!encode_frame_hdr(pkt, OSSL_QUIC_FRAME_TYPE_RESET_STREAM)
107
6.24k
        || !WPACKET_quic_write_vlint(pkt, f->stream_id)
108
6.19k
        || !WPACKET_quic_write_vlint(pkt, f->app_error_code)
109
6.15k
        || !WPACKET_quic_write_vlint(pkt, f->final_size))
110
369
        return 0;
111
112
6.10k
    return 1;
113
6.47k
}
114
115
int ossl_quic_wire_encode_frame_stop_sending(WPACKET *pkt,
116
    const OSSL_QUIC_FRAME_STOP_SENDING *f)
117
0
{
118
0
    if (!encode_frame_hdr(pkt, OSSL_QUIC_FRAME_TYPE_STOP_SENDING)
119
0
        || !WPACKET_quic_write_vlint(pkt, f->stream_id)
120
0
        || !WPACKET_quic_write_vlint(pkt, f->app_error_code))
121
0
        return 0;
122
123
0
    return 1;
124
0
}
125
126
int ossl_quic_wire_encode_frame_crypto_hdr(WPACKET *pkt,
127
    const OSSL_QUIC_FRAME_CRYPTO *f)
128
99.6k
{
129
99.6k
    if (!encode_frame_hdr(pkt, OSSL_QUIC_FRAME_TYPE_CRYPTO)
130
99.6k
        || !WPACKET_quic_write_vlint(pkt, f->offset)
131
99.6k
        || !WPACKET_quic_write_vlint(pkt, f->len))
132
0
        return 0;
133
134
99.6k
    return 1;
135
99.6k
}
136
137
size_t ossl_quic_wire_get_encoded_frame_len_crypto_hdr(const OSSL_QUIC_FRAME_CRYPTO *f)
138
99.6k
{
139
99.6k
    size_t a, b, c;
140
141
99.6k
    a = ossl_quic_vlint_encode_len(OSSL_QUIC_FRAME_TYPE_CRYPTO);
142
99.6k
    b = ossl_quic_vlint_encode_len(f->offset);
143
99.6k
    c = ossl_quic_vlint_encode_len(f->len);
144
99.6k
    if (a == 0 || b == 0 || c == 0)
145
0
        return 0;
146
147
99.6k
    return a + b + c;
148
99.6k
}
149
150
void *ossl_quic_wire_encode_frame_crypto(WPACKET *pkt,
151
    const OSSL_QUIC_FRAME_CRYPTO *f)
152
0
{
153
0
    unsigned char *p = NULL;
154
155
0
    if (!ossl_quic_wire_encode_frame_crypto_hdr(pkt, f)
156
0
        || f->len > SIZE_MAX /* sizeof(uint64_t) > sizeof(size_t)? */
157
0
        || !WPACKET_allocate_bytes(pkt, (size_t)f->len, &p))
158
0
        return NULL;
159
160
0
    if (f->data != NULL)
161
0
        memcpy(p, f->data, (size_t)f->len);
162
163
0
    return p;
164
0
}
165
166
int ossl_quic_wire_encode_frame_new_token(WPACKET *pkt,
167
    const unsigned char *token,
168
    size_t token_len)
169
0
{
170
0
    if (!encode_frame_hdr(pkt, OSSL_QUIC_FRAME_TYPE_NEW_TOKEN)
171
0
        || !WPACKET_quic_write_vlint(pkt, token_len)
172
0
        || !WPACKET_memcpy(pkt, token, token_len))
173
0
        return 0;
174
175
0
    return 1;
176
0
}
177
178
int ossl_quic_wire_encode_frame_stream_hdr(WPACKET *pkt,
179
    const OSSL_QUIC_FRAME_STREAM *f)
180
6.88k
{
181
6.88k
    uint64_t frame_type = OSSL_QUIC_FRAME_TYPE_STREAM;
182
183
6.88k
    if (f->offset != 0)
184
2.65k
        frame_type |= OSSL_QUIC_FRAME_FLAG_STREAM_OFF;
185
6.88k
    if (f->has_explicit_len)
186
2.08k
        frame_type |= OSSL_QUIC_FRAME_FLAG_STREAM_LEN;
187
6.88k
    if (f->is_fin)
188
0
        frame_type |= OSSL_QUIC_FRAME_FLAG_STREAM_FIN;
189
190
6.88k
    if (!encode_frame_hdr(pkt, frame_type)
191
6.88k
        || !WPACKET_quic_write_vlint(pkt, f->stream_id))
192
0
        return 0;
193
194
6.88k
    if (f->offset != 0 && !WPACKET_quic_write_vlint(pkt, f->offset))
195
0
        return 0;
196
197
6.88k
    if (f->has_explicit_len && !WPACKET_quic_write_vlint(pkt, f->len))
198
0
        return 0;
199
200
6.88k
    return 1;
201
6.88k
}
202
203
size_t ossl_quic_wire_get_encoded_frame_len_stream_hdr(const OSSL_QUIC_FRAME_STREAM *f)
204
9.00k
{
205
9.00k
    size_t a, b, c, d;
206
207
9.00k
    a = ossl_quic_vlint_encode_len(OSSL_QUIC_FRAME_TYPE_STREAM);
208
9.00k
    b = ossl_quic_vlint_encode_len(f->stream_id);
209
9.00k
    if (a == 0 || b == 0)
210
0
        return 0;
211
212
9.00k
    if (f->offset > 0) {
213
3.27k
        c = ossl_quic_vlint_encode_len(f->offset);
214
3.27k
        if (c == 0)
215
0
            return 0;
216
5.73k
    } else {
217
5.73k
        c = 0;
218
5.73k
    }
219
220
9.00k
    if (f->has_explicit_len) {
221
2.08k
        d = ossl_quic_vlint_encode_len(f->len);
222
2.08k
        if (d == 0)
223
0
            return 0;
224
6.91k
    } else {
225
6.91k
        d = 0;
226
6.91k
    }
227
228
9.00k
    return a + b + c + d;
229
9.00k
}
230
231
void *ossl_quic_wire_encode_frame_stream(WPACKET *pkt,
232
    const OSSL_QUIC_FRAME_STREAM *f)
233
0
{
234
235
0
    unsigned char *p = NULL;
236
237
0
    if (!ossl_quic_wire_encode_frame_stream_hdr(pkt, f)
238
0
        || f->len > SIZE_MAX /* sizeof(uint64_t) > sizeof(size_t)? */)
239
0
        return NULL;
240
241
0
    if (!WPACKET_allocate_bytes(pkt, (size_t)f->len, &p))
242
0
        return NULL;
243
244
0
    if (f->data != NULL)
245
0
        memcpy(p, f->data, (size_t)f->len);
246
247
0
    return p;
248
0
}
249
250
int ossl_quic_wire_encode_frame_max_data(WPACKET *pkt,
251
    uint64_t max_data)
252
0
{
253
0
    if (!encode_frame_hdr(pkt, OSSL_QUIC_FRAME_TYPE_MAX_DATA)
254
0
        || !WPACKET_quic_write_vlint(pkt, max_data))
255
0
        return 0;
256
257
0
    return 1;
258
0
}
259
260
int ossl_quic_wire_encode_frame_max_stream_data(WPACKET *pkt,
261
    uint64_t stream_id,
262
    uint64_t max_data)
263
1.44k
{
264
1.44k
    if (!encode_frame_hdr(pkt, OSSL_QUIC_FRAME_TYPE_MAX_STREAM_DATA)
265
1.32k
        || !WPACKET_quic_write_vlint(pkt, stream_id)
266
1.31k
        || !WPACKET_quic_write_vlint(pkt, max_data))
267
176
        return 0;
268
269
1.26k
    return 1;
270
1.44k
}
271
272
int ossl_quic_wire_encode_frame_max_streams(WPACKET *pkt,
273
    char is_uni,
274
    uint64_t max_streams)
275
0
{
276
0
    if (!encode_frame_hdr(pkt, is_uni ? OSSL_QUIC_FRAME_TYPE_MAX_STREAMS_UNI : OSSL_QUIC_FRAME_TYPE_MAX_STREAMS_BIDI)
277
0
        || !WPACKET_quic_write_vlint(pkt, max_streams))
278
0
        return 0;
279
280
0
    return 1;
281
0
}
282
283
int ossl_quic_wire_encode_frame_data_blocked(WPACKET *pkt,
284
    uint64_t max_data)
285
0
{
286
0
    if (!encode_frame_hdr(pkt, OSSL_QUIC_FRAME_TYPE_DATA_BLOCKED)
287
0
        || !WPACKET_quic_write_vlint(pkt, max_data))
288
0
        return 0;
289
290
0
    return 1;
291
0
}
292
293
int ossl_quic_wire_encode_frame_stream_data_blocked(WPACKET *pkt,
294
    uint64_t stream_id,
295
    uint64_t max_stream_data)
296
0
{
297
0
    if (!encode_frame_hdr(pkt, OSSL_QUIC_FRAME_TYPE_STREAM_DATA_BLOCKED)
298
0
        || !WPACKET_quic_write_vlint(pkt, stream_id)
299
0
        || !WPACKET_quic_write_vlint(pkt, max_stream_data))
300
0
        return 0;
301
302
0
    return 1;
303
0
}
304
305
int ossl_quic_wire_encode_frame_streams_blocked(WPACKET *pkt,
306
    char is_uni,
307
    uint64_t max_streams)
308
0
{
309
0
    if (!encode_frame_hdr(pkt, is_uni ? OSSL_QUIC_FRAME_TYPE_STREAMS_BLOCKED_UNI : OSSL_QUIC_FRAME_TYPE_STREAMS_BLOCKED_BIDI)
310
0
        || !WPACKET_quic_write_vlint(pkt, max_streams))
311
0
        return 0;
312
313
0
    return 1;
314
0
}
315
316
int ossl_quic_wire_encode_frame_new_conn_id(WPACKET *pkt,
317
    const OSSL_QUIC_FRAME_NEW_CONN_ID *f)
318
0
{
319
0
    if (f->conn_id.id_len < 1
320
0
        || f->conn_id.id_len > QUIC_MAX_CONN_ID_LEN)
321
0
        return 0;
322
323
0
    if (!encode_frame_hdr(pkt, OSSL_QUIC_FRAME_TYPE_NEW_CONN_ID)
324
0
        || !WPACKET_quic_write_vlint(pkt, f->seq_num)
325
0
        || !WPACKET_quic_write_vlint(pkt, f->retire_prior_to)
326
0
        || !WPACKET_put_bytes_u8(pkt, f->conn_id.id_len)
327
0
        || !WPACKET_memcpy(pkt, f->conn_id.id, f->conn_id.id_len)
328
0
        || !WPACKET_memcpy(pkt, f->stateless_reset.token,
329
0
            sizeof(f->stateless_reset.token)))
330
0
        return 0;
331
332
0
    return 1;
333
0
}
334
335
int ossl_quic_wire_encode_frame_retire_conn_id(WPACKET *pkt,
336
    uint64_t seq_num)
337
11.6k
{
338
11.6k
    if (!encode_frame_hdr(pkt, OSSL_QUIC_FRAME_TYPE_RETIRE_CONN_ID)
339
11.6k
        || !WPACKET_quic_write_vlint(pkt, seq_num))
340
0
        return 0;
341
342
11.6k
    return 1;
343
11.6k
}
344
345
int ossl_quic_wire_encode_frame_path_challenge(WPACKET *pkt,
346
    uint64_t data)
347
0
{
348
0
    if (!encode_frame_hdr(pkt, OSSL_QUIC_FRAME_TYPE_PATH_CHALLENGE)
349
0
        || !WPACKET_put_bytes_u64(pkt, data))
350
0
        return 0;
351
352
0
    return 1;
353
0
}
354
355
int ossl_quic_wire_encode_frame_path_response(WPACKET *pkt,
356
    uint64_t data)
357
257k
{
358
257k
    if (!encode_frame_hdr(pkt, OSSL_QUIC_FRAME_TYPE_PATH_RESPONSE)
359
257k
        || !WPACKET_put_bytes_u64(pkt, data))
360
0
        return 0;
361
362
257k
    return 1;
363
257k
}
364
365
int ossl_quic_wire_encode_frame_conn_close(WPACKET *pkt,
366
    const OSSL_QUIC_FRAME_CONN_CLOSE *f)
367
24.3k
{
368
24.3k
    if (!encode_frame_hdr(pkt, f->is_app ? OSSL_QUIC_FRAME_TYPE_CONN_CLOSE_APP : OSSL_QUIC_FRAME_TYPE_CONN_CLOSE_TRANSPORT)
369
24.3k
        || !WPACKET_quic_write_vlint(pkt, f->error_code))
370
30
        return 0;
371
372
    /*
373
     * RFC 9000 s. 19.19: The application-specific variant of CONNECTION_CLOSE
374
     * (type 0x1d) does not include this field.
375
     */
376
24.3k
    if (!f->is_app && !WPACKET_quic_write_vlint(pkt, f->frame_type))
377
69
        return 0;
378
379
24.2k
    if (!WPACKET_quic_write_vlint(pkt, f->reason_len)
380
24.2k
        || !WPACKET_memcpy(pkt, f->reason, f->reason_len))
381
118
        return 0;
382
383
24.1k
    return 1;
384
24.2k
}
385
386
int ossl_quic_wire_encode_frame_handshake_done(WPACKET *pkt)
387
0
{
388
0
    return encode_frame_hdr(pkt, OSSL_QUIC_FRAME_TYPE_HANDSHAKE_DONE);
389
0
}
390
391
unsigned char *ossl_quic_wire_encode_transport_param_bytes(WPACKET *pkt,
392
    uint64_t id,
393
    const unsigned char *value,
394
    size_t value_len)
395
100k
{
396
100k
    unsigned char *b = NULL;
397
398
100k
    if (!WPACKET_quic_write_vlint(pkt, id)
399
100k
        || !WPACKET_quic_write_vlint(pkt, value_len))
400
0
        return NULL;
401
402
100k
    if (value_len == 0)
403
100k
        b = WPACKET_get_curr(pkt);
404
0
    else if (!WPACKET_allocate_bytes(pkt, value_len, (unsigned char **)&b))
405
0
        return NULL;
406
407
100k
    if (value != NULL)
408
29.4k
        memcpy(b, value, value_len);
409
410
100k
    return b;
411
100k
}
412
413
int ossl_quic_wire_encode_transport_param_int(WPACKET *pkt,
414
    uint64_t id,
415
    uint64_t value)
416
453k
{
417
453k
    if (!WPACKET_quic_write_vlint(pkt, id)
418
453k
        || !WPACKET_quic_write_vlint(pkt, ossl_quic_vlint_encode_len(value))
419
453k
        || !WPACKET_quic_write_vlint(pkt, value))
420
0
        return 0;
421
422
453k
    return 1;
423
453k
}
424
425
int ossl_quic_wire_encode_transport_param_cid(WPACKET *wpkt,
426
    uint64_t id,
427
    const QUIC_CONN_ID *cid)
428
29.4k
{
429
29.4k
    if (cid->id_len > QUIC_MAX_CONN_ID_LEN)
430
0
        return 0;
431
432
29.4k
    if (ossl_quic_wire_encode_transport_param_bytes(wpkt, id,
433
29.4k
            cid->id,
434
29.4k
            cid->id_len)
435
29.4k
        == NULL)
436
0
        return 0;
437
438
29.4k
    return 1;
439
29.4k
}
440
441
/*
442
 * QUIC Wire Format Decoding
443
 * =========================
444
 */
445
int ossl_quic_wire_peek_frame_header(PACKET *pkt, uint64_t *type,
446
    int *was_minimal)
447
4.38M
{
448
4.38M
    return PACKET_peek_quic_vlint_ex(pkt, type, was_minimal);
449
4.38M
}
450
451
int ossl_quic_wire_skip_frame_header(PACKET *pkt, uint64_t *type)
452
4.08M
{
453
4.08M
    return PACKET_get_quic_vlint(pkt, type);
454
4.08M
}
455
456
static int expect_frame_header_mask(PACKET *pkt,
457
    uint64_t expected_frame_type,
458
    uint64_t mask_bits,
459
    uint64_t *actual_frame_type)
460
763k
{
461
763k
    uint64_t actual_frame_type_;
462
463
763k
    if (!ossl_quic_wire_skip_frame_header(pkt, &actual_frame_type_)
464
763k
        || (actual_frame_type_ & ~mask_bits) != expected_frame_type)
465
0
        return 0;
466
467
763k
    if (actual_frame_type != NULL)
468
335k
        *actual_frame_type = actual_frame_type_;
469
470
763k
    return 1;
471
763k
}
472
473
static int expect_frame_header(PACKET *pkt, uint64_t expected_frame_type)
474
3.32M
{
475
3.32M
    uint64_t actual_frame_type;
476
477
3.32M
    if (!ossl_quic_wire_skip_frame_header(pkt, &actual_frame_type)
478
3.32M
        || actual_frame_type != expected_frame_type)
479
0
        return 0;
480
481
3.32M
    return 1;
482
3.32M
}
483
484
int ossl_quic_wire_peek_frame_ack_num_ranges(const PACKET *orig_pkt,
485
    uint64_t *total_ranges)
486
266k
{
487
266k
    PACKET pkt = *orig_pkt;
488
266k
    uint64_t ack_range_count, i;
489
490
266k
    if (!expect_frame_header_mask(&pkt, OSSL_QUIC_FRAME_TYPE_ACK_WITHOUT_ECN,
491
266k
            1, NULL)
492
266k
        || !PACKET_skip_quic_vlint(&pkt)
493
266k
        || !PACKET_skip_quic_vlint(&pkt)
494
266k
        || !PACKET_get_quic_vlint(&pkt, &ack_range_count))
495
350
        return 0;
496
497
    /*
498
     * Ensure the specified number of ack ranges listed in the ACK frame header
499
     * actually are available in the frame data. This naturally bounds the
500
     * number of ACK ranges which can be requested by the MDPL, and therefore by
501
     * the MTU. This ensures we do not allocate memory for an excessive number
502
     * of ACK ranges.
503
     */
504
302k
    for (i = 0; i < ack_range_count; ++i)
505
36.4k
        if (!PACKET_skip_quic_vlint(&pkt)
506
36.1k
            || !PACKET_skip_quic_vlint(&pkt))
507
579
            return 0;
508
509
    /* (cannot overflow because QUIC vlints can only encode up to 2**62-1) */
510
265k
    *total_ranges = ack_range_count + 1;
511
265k
    return 1;
512
266k
}
513
514
int ossl_quic_wire_decode_frame_ack(PACKET *pkt,
515
    uint32_t ack_delay_exponent,
516
    OSSL_QUIC_FRAME_ACK *ack,
517
    uint64_t *total_ranges)
518
265k
{
519
265k
    uint64_t frame_type, largest_ackd, ack_delay_raw;
520
265k
    uint64_t ack_range_count, first_ack_range, start, end, i;
521
522
    /* This call matches both ACK_WITHOUT_ECN and ACK_WITH_ECN. */
523
265k
    if (!expect_frame_header_mask(pkt, OSSL_QUIC_FRAME_TYPE_ACK_WITHOUT_ECN,
524
265k
            1, &frame_type)
525
265k
        || !PACKET_get_quic_vlint(pkt, &largest_ackd)
526
265k
        || !PACKET_get_quic_vlint(pkt, &ack_delay_raw)
527
265k
        || !PACKET_get_quic_vlint(pkt, &ack_range_count)
528
265k
        || !PACKET_get_quic_vlint(pkt, &first_ack_range))
529
69
        return 0;
530
531
265k
    if (first_ack_range > largest_ackd)
532
473
        return 0;
533
534
265k
    if (ack_range_count > SIZE_MAX /* sizeof(uint64_t) > sizeof(size_t)? */)
535
0
        return 0;
536
537
265k
    start = largest_ackd - first_ack_range;
538
539
265k
    if (ack != NULL) {
540
265k
        int err = 0;
541
265k
        ack->delay_time
542
265k
            = ossl_time_multiply(ossl_ticks2time(OSSL_TIME_US),
543
265k
                safe_mul_uint64_t(ack_delay_raw,
544
265k
                    (uint64_t)1 << ack_delay_exponent,
545
265k
                    &err));
546
265k
        if (err)
547
6.10k
            ack->delay_time = ossl_time_infinite();
548
549
265k
        if (ack->num_ack_ranges > 0) {
550
265k
            ack->ack_ranges[0].end = largest_ackd;
551
265k
            ack->ack_ranges[0].start = start;
552
265k
        }
553
265k
    }
554
555
287k
    for (i = 0; i < ack_range_count; ++i) {
556
23.3k
        uint64_t gap, len;
557
558
23.3k
        if (!PACKET_get_quic_vlint(pkt, &gap)
559
23.3k
            || !PACKET_get_quic_vlint(pkt, &len))
560
69
            return 0;
561
562
23.2k
        end = start - gap - 2;
563
23.2k
        if (start < gap + 2 || len > end)
564
477
            return 0;
565
566
22.7k
        if (ack != NULL && i + 1 < ack->num_ack_ranges) {
567
22.7k
            ack->ack_ranges[i + 1].start = start = end - len;
568
22.7k
            ack->ack_ranges[i + 1].end = end;
569
22.7k
        }
570
22.7k
    }
571
572
264k
    if (ack != NULL && ack_range_count + 1 < ack->num_ack_ranges)
573
0
        ack->num_ack_ranges = (size_t)ack_range_count + 1;
574
575
264k
    if (total_ranges != NULL)
576
0
        *total_ranges = ack_range_count + 1;
577
578
264k
    if (frame_type == OSSL_QUIC_FRAME_TYPE_ACK_WITH_ECN) {
579
93.5k
        uint64_t ect0, ect1, ecnce;
580
581
93.5k
        if (!PACKET_get_quic_vlint(pkt, &ect0)
582
93.5k
            || !PACKET_get_quic_vlint(pkt, &ect1)
583
93.4k
            || !PACKET_get_quic_vlint(pkt, &ecnce))
584
142
            return 0;
585
586
93.4k
        if (ack != NULL) {
587
93.4k
            ack->ect0 = ect0;
588
93.4k
            ack->ect1 = ect1;
589
93.4k
            ack->ecnce = ecnce;
590
93.4k
            ack->ecn_present = 1;
591
93.4k
        }
592
170k
    } else if (ack != NULL) {
593
170k
        ack->ecn_present = 0;
594
170k
    }
595
596
264k
    return 1;
597
264k
}
598
599
int ossl_quic_wire_decode_frame_reset_stream(PACKET *pkt,
600
    OSSL_QUIC_FRAME_RESET_STREAM *f)
601
8.05k
{
602
8.05k
    if (!expect_frame_header(pkt, OSSL_QUIC_FRAME_TYPE_RESET_STREAM)
603
8.05k
        || !PACKET_get_quic_vlint(pkt, &f->stream_id)
604
8.04k
        || !PACKET_get_quic_vlint(pkt, &f->app_error_code)
605
8.02k
        || !PACKET_get_quic_vlint(pkt, &f->final_size))
606
47
        return 0;
607
608
8.01k
    return 1;
609
8.05k
}
610
611
int ossl_quic_wire_decode_frame_stop_sending(PACKET *pkt,
612
    OSSL_QUIC_FRAME_STOP_SENDING *f)
613
87.9k
{
614
87.9k
    if (!expect_frame_header(pkt, OSSL_QUIC_FRAME_TYPE_STOP_SENDING)
615
87.9k
        || !PACKET_get_quic_vlint(pkt, &f->stream_id)
616
87.9k
        || !PACKET_get_quic_vlint(pkt, &f->app_error_code))
617
48
        return 0;
618
619
87.9k
    return 1;
620
87.9k
}
621
622
int ossl_quic_wire_decode_frame_crypto(PACKET *pkt,
623
    int nodata,
624
    OSSL_QUIC_FRAME_CRYPTO *f)
625
327k
{
626
327k
    if (!expect_frame_header(pkt, OSSL_QUIC_FRAME_TYPE_CRYPTO)
627
327k
        || !PACKET_get_quic_vlint(pkt, &f->offset)
628
327k
        || !PACKET_get_quic_vlint(pkt, &f->len)
629
326k
        || f->len > SIZE_MAX /* sizeof(uint64_t) > sizeof(size_t)? */)
630
171
        return 0;
631
632
326k
    if (f->offset + f->len > (((uint64_t)1) << 62) - 1)
633
        /* RFC 9000 s. 19.6 */
634
16
        return 0;
635
636
326k
    if (nodata) {
637
0
        f->data = NULL;
638
326k
    } else {
639
326k
        if (PACKET_remaining(pkt) < f->len)
640
595
            return 0;
641
642
326k
        f->data = PACKET_data(pkt);
643
644
326k
        if (!PACKET_forward(pkt, (size_t)f->len))
645
0
            return 0;
646
326k
    }
647
648
326k
    return 1;
649
326k
}
650
651
int ossl_quic_wire_decode_frame_new_token(PACKET *pkt,
652
    const unsigned char **token,
653
    size_t *token_len)
654
4.03k
{
655
4.03k
    uint64_t token_len_;
656
657
4.03k
    if (!expect_frame_header(pkt, OSSL_QUIC_FRAME_TYPE_NEW_TOKEN)
658
4.03k
        || !PACKET_get_quic_vlint(pkt, &token_len_))
659
19
        return 0;
660
661
4.01k
    if (token_len_ > SIZE_MAX)
662
0
        return 0;
663
664
4.01k
    *token = PACKET_data(pkt);
665
4.01k
    *token_len = (size_t)token_len_;
666
667
4.01k
    if (!PACKET_forward(pkt, (size_t)token_len_))
668
47
        return 0;
669
670
3.97k
    return 1;
671
4.01k
}
672
673
int ossl_quic_wire_decode_frame_stream(PACKET *pkt,
674
    int nodata,
675
    OSSL_QUIC_FRAME_STREAM *f)
676
67.6k
{
677
67.6k
    uint64_t frame_type;
678
679
    /* This call matches all STREAM values (low 3 bits are masked). */
680
67.6k
    if (!expect_frame_header_mask(pkt, OSSL_QUIC_FRAME_TYPE_STREAM,
681
67.6k
            OSSL_QUIC_FRAME_FLAG_STREAM_MASK,
682
67.6k
            &frame_type)
683
67.6k
        || !PACKET_get_quic_vlint(pkt, &f->stream_id))
684
24
        return 0;
685
686
67.5k
    if ((frame_type & OSSL_QUIC_FRAME_FLAG_STREAM_OFF) != 0) {
687
46.9k
        if (!PACKET_get_quic_vlint(pkt, &f->offset))
688
18
            return 0;
689
46.9k
    } else {
690
20.6k
        f->offset = 0;
691
20.6k
    }
692
693
67.5k
    f->has_explicit_len = ((frame_type & OSSL_QUIC_FRAME_FLAG_STREAM_LEN) != 0);
694
67.5k
    f->is_fin = ((frame_type & OSSL_QUIC_FRAME_FLAG_STREAM_FIN) != 0);
695
696
67.5k
    if (f->has_explicit_len) {
697
39.9k
        if (!PACKET_get_quic_vlint(pkt, &f->len))
698
23
            return 0;
699
39.9k
    } else {
700
27.6k
        if (nodata)
701
0
            f->len = 0;
702
27.6k
        else
703
27.6k
            f->len = PACKET_remaining(pkt);
704
27.6k
    }
705
706
    /*
707
     * RFC 9000 s. 19.8: "The largest offset delivered on a stream -- the sum of
708
     * the offset and data length -- cannot exceed 2**62 - 1, as it is not
709
     * possible to provide flow control credit for that data."
710
     */
711
67.5k
    if (f->offset + f->len > (((uint64_t)1) << 62) - 1)
712
9
        return 0;
713
714
67.5k
    if (nodata) {
715
0
        f->data = NULL;
716
67.5k
    } else {
717
67.5k
        f->data = PACKET_data(pkt);
718
719
67.5k
        if (f->len > SIZE_MAX /* sizeof(uint64_t) > sizeof(size_t)? */
720
67.5k
            || !PACKET_forward(pkt, (size_t)f->len))
721
301
            return 0;
722
67.5k
    }
723
724
67.2k
    return 1;
725
67.5k
}
726
727
int ossl_quic_wire_decode_frame_max_data(PACKET *pkt,
728
    uint64_t *max_data)
729
55.9k
{
730
55.9k
    if (!expect_frame_header(pkt, OSSL_QUIC_FRAME_TYPE_MAX_DATA)
731
55.9k
        || !PACKET_get_quic_vlint(pkt, max_data))
732
22
        return 0;
733
734
55.9k
    return 1;
735
55.9k
}
736
737
int ossl_quic_wire_decode_frame_max_stream_data(PACKET *pkt,
738
    uint64_t *stream_id,
739
    uint64_t *max_stream_data)
740
10.2k
{
741
10.2k
    if (!expect_frame_header(pkt, OSSL_QUIC_FRAME_TYPE_MAX_STREAM_DATA)
742
10.2k
        || !PACKET_get_quic_vlint(pkt, stream_id)
743
10.2k
        || !PACKET_get_quic_vlint(pkt, max_stream_data))
744
34
        return 0;
745
746
10.2k
    return 1;
747
10.2k
}
748
749
int ossl_quic_wire_decode_frame_max_streams(PACKET *pkt,
750
    uint64_t *max_streams)
751
45.6k
{
752
    /* This call matches both MAX_STREAMS_BIDI and MAX_STREAMS_UNI. */
753
45.6k
    if (!expect_frame_header_mask(pkt, OSSL_QUIC_FRAME_TYPE_MAX_STREAMS_BIDI,
754
45.6k
            1, NULL)
755
45.6k
        || !PACKET_get_quic_vlint(pkt, max_streams))
756
23
        return 0;
757
758
45.6k
    return 1;
759
45.6k
}
760
761
int ossl_quic_wire_decode_frame_data_blocked(PACKET *pkt,
762
    uint64_t *max_data)
763
13.8k
{
764
13.8k
    if (!expect_frame_header(pkt, OSSL_QUIC_FRAME_TYPE_DATA_BLOCKED)
765
13.8k
        || !PACKET_get_quic_vlint(pkt, max_data))
766
14
        return 0;
767
768
13.8k
    return 1;
769
13.8k
}
770
771
int ossl_quic_wire_decode_frame_stream_data_blocked(PACKET *pkt,
772
    uint64_t *stream_id,
773
    uint64_t *max_stream_data)
774
4.24k
{
775
4.24k
    if (!expect_frame_header(pkt, OSSL_QUIC_FRAME_TYPE_STREAM_DATA_BLOCKED)
776
4.24k
        || !PACKET_get_quic_vlint(pkt, stream_id)
777
4.22k
        || !PACKET_get_quic_vlint(pkt, max_stream_data))
778
38
        return 0;
779
780
4.20k
    return 1;
781
4.24k
}
782
783
int ossl_quic_wire_decode_frame_streams_blocked(PACKET *pkt,
784
    uint64_t *max_streams)
785
116k
{
786
    /* This call matches both STREAMS_BLOCKED_BIDI and STREAMS_BLOCKED_UNI. */
787
116k
    if (!expect_frame_header_mask(pkt, OSSL_QUIC_FRAME_TYPE_STREAMS_BLOCKED_BIDI,
788
116k
            1, NULL)
789
116k
        || !PACKET_get_quic_vlint(pkt, max_streams))
790
19
        return 0;
791
792
116k
    return 1;
793
116k
}
794
795
int ossl_quic_wire_decode_frame_new_conn_id(PACKET *pkt,
796
    OSSL_QUIC_FRAME_NEW_CONN_ID *f)
797
18.3k
{
798
18.3k
    unsigned int len;
799
800
18.3k
    if (!expect_frame_header(pkt, OSSL_QUIC_FRAME_TYPE_NEW_CONN_ID)
801
18.3k
        || !PACKET_get_quic_vlint(pkt, &f->seq_num)
802
18.3k
        || !PACKET_get_quic_vlint(pkt, &f->retire_prior_to)
803
18.3k
        || f->seq_num < f->retire_prior_to
804
18.1k
        || !PACKET_get_1(pkt, &len)
805
17.9k
        || len < 1
806
17.8k
        || len > QUIC_MAX_CONN_ID_LEN)
807
638
        return 0;
808
809
17.7k
    f->conn_id.id_len = (unsigned char)len;
810
17.7k
    if (!PACKET_copy_bytes(pkt, f->conn_id.id, len))
811
41
        return 0;
812
813
    /* Clear unused bytes to allow consistent memcmp. */
814
17.6k
    if (len < QUIC_MAX_CONN_ID_LEN)
815
5.20k
        memset(f->conn_id.id + len, 0, QUIC_MAX_CONN_ID_LEN - len);
816
817
17.6k
    if (!PACKET_copy_bytes(pkt, f->stateless_reset.token,
818
17.6k
            sizeof(f->stateless_reset.token)))
819
68
        return 0;
820
821
17.6k
    return 1;
822
17.6k
}
823
824
int ossl_quic_wire_decode_frame_retire_conn_id(PACKET *pkt,
825
    uint64_t *seq_num)
826
69
{
827
69
    if (!expect_frame_header(pkt, OSSL_QUIC_FRAME_TYPE_RETIRE_CONN_ID)
828
69
        || !PACKET_get_quic_vlint(pkt, seq_num))
829
11
        return 0;
830
831
58
    return 1;
832
69
}
833
834
int ossl_quic_wire_decode_frame_path_challenge(PACKET *pkt,
835
    uint64_t *data)
836
257k
{
837
257k
    if (!expect_frame_header(pkt, OSSL_QUIC_FRAME_TYPE_PATH_CHALLENGE)
838
257k
        || !PACKET_get_net_8(pkt, data))
839
79
        return 0;
840
841
257k
    return 1;
842
257k
}
843
844
int ossl_quic_wire_decode_frame_path_response(PACKET *pkt,
845
    uint64_t *data)
846
28.8k
{
847
28.8k
    if (!expect_frame_header(pkt, OSSL_QUIC_FRAME_TYPE_PATH_RESPONSE)
848
28.8k
        || !PACKET_get_net_8(pkt, data))
849
17
        return 0;
850
851
28.8k
    return 1;
852
28.8k
}
853
854
int ossl_quic_wire_decode_frame_conn_close(PACKET *pkt,
855
    OSSL_QUIC_FRAME_CONN_CLOSE *f)
856
2.44k
{
857
2.44k
    uint64_t frame_type, reason_len;
858
859
    /* This call matches both CONN_CLOSE_TRANSPORT and CONN_CLOSE_APP. */
860
2.44k
    if (!expect_frame_header_mask(pkt, OSSL_QUIC_FRAME_TYPE_CONN_CLOSE_TRANSPORT,
861
2.44k
            1, &frame_type)
862
2.44k
        || !PACKET_get_quic_vlint(pkt, &f->error_code))
863
29
        return 0;
864
865
2.41k
    f->is_app = ((frame_type & 1) != 0);
866
867
2.41k
    if (!f->is_app) {
868
1.54k
        if (!PACKET_get_quic_vlint(pkt, &f->frame_type))
869
27
            return 0;
870
1.54k
    } else {
871
868
        f->frame_type = 0;
872
868
    }
873
874
2.38k
    if (!PACKET_get_quic_vlint(pkt, &reason_len)
875
2.36k
        || reason_len > SIZE_MAX)
876
26
        return 0;
877
878
2.36k
    if (!PACKET_get_bytes(pkt, (const unsigned char **)&f->reason,
879
2.36k
            (size_t)reason_len))
880
327
        return 0;
881
882
2.03k
    f->reason_len = (size_t)reason_len;
883
2.03k
    return 1;
884
2.36k
}
885
886
size_t ossl_quic_wire_decode_padding(PACKET *pkt)
887
551k
{
888
551k
    const unsigned char *start = PACKET_data(pkt), *end = PACKET_end(pkt),
889
551k
                        *p = start;
890
891
12.3M
    while (p < end && *p == 0)
892
11.8M
        ++p;
893
894
551k
    if (!PACKET_forward(pkt, p - start))
895
0
        return 0;
896
897
551k
    return p - start;
898
551k
}
899
900
int ossl_quic_wire_decode_frame_ping(PACKET *pkt)
901
1.96M
{
902
1.96M
    return expect_frame_header(pkt, OSSL_QUIC_FRAME_TYPE_PING);
903
1.96M
}
904
905
int ossl_quic_wire_decode_frame_handshake_done(PACKET *pkt)
906
545k
{
907
545k
    return expect_frame_header(pkt, OSSL_QUIC_FRAME_TYPE_HANDSHAKE_DONE);
908
545k
}
909
910
int ossl_quic_wire_peek_transport_param(PACKET *pkt, uint64_t *id)
911
230k
{
912
230k
    return PACKET_peek_quic_vlint(pkt, id);
913
230k
}
914
915
const unsigned char *ossl_quic_wire_decode_transport_param_bytes(PACKET *pkt,
916
    uint64_t *id,
917
    size_t *len)
918
229k
{
919
229k
    uint64_t len_;
920
229k
    const unsigned char *b = NULL;
921
229k
    uint64_t id_;
922
923
229k
    if (!PACKET_get_quic_vlint(pkt, &id_)
924
229k
        || !PACKET_get_quic_vlint(pkt, &len_))
925
50
        return NULL;
926
927
229k
    if (len_ > SIZE_MAX
928
229k
        || !PACKET_get_bytes(pkt, (const unsigned char **)&b, (size_t)len_))
929
287
        return NULL;
930
931
229k
    *len = (size_t)len_;
932
229k
    if (id != NULL)
933
190k
        *id = id_;
934
229k
    return b;
935
229k
}
936
937
int ossl_quic_wire_decode_transport_param_int(PACKET *pkt,
938
    uint64_t *id,
939
    uint64_t *value)
940
135k
{
941
135k
    PACKET sub;
942
943
135k
    sub.curr = ossl_quic_wire_decode_transport_param_bytes(pkt,
944
135k
        id, &sub.remaining);
945
135k
    if (sub.curr == NULL)
946
84
        return 0;
947
948
135k
    if (!PACKET_get_quic_vlint(&sub, value))
949
20
        return 0;
950
951
135k
    if (PACKET_remaining(&sub) > 0)
952
70
        return 0;
953
954
135k
    return 1;
955
135k
}
956
957
int ossl_quic_wire_decode_transport_param_cid(PACKET *pkt,
958
    uint64_t *id,
959
    QUIC_CONN_ID *cid)
960
39.4k
{
961
39.4k
    const unsigned char *body;
962
39.4k
    size_t len = 0;
963
964
39.4k
    body = ossl_quic_wire_decode_transport_param_bytes(pkt, id, &len);
965
39.4k
    if (body == NULL || len > QUIC_MAX_CONN_ID_LEN)
966
26
        return 0;
967
968
39.3k
    cid->id_len = (unsigned char)len;
969
39.3k
    memcpy(cid->id, body, cid->id_len);
970
39.3k
    return 1;
971
39.4k
}
972
973
int ossl_quic_wire_decode_transport_param_preferred_addr(PACKET *pkt,
974
    QUIC_PREFERRED_ADDR *p)
975
94
{
976
94
    const unsigned char *body;
977
94
    uint64_t id;
978
94
    size_t len = 0;
979
94
    PACKET pkt2;
980
94
    unsigned int ipv4_port, ipv6_port, cidl;
981
982
94
    body = ossl_quic_wire_decode_transport_param_bytes(pkt, &id, &len);
983
94
    if (body == NULL
984
61
        || len < QUIC_MIN_ENCODED_PREFERRED_ADDR_LEN
985
36
        || len > QUIC_MAX_ENCODED_PREFERRED_ADDR_LEN
986
32
        || id != QUIC_TPARAM_PREFERRED_ADDR)
987
62
        return 0;
988
989
32
    if (!PACKET_buf_init(&pkt2, body, len))
990
0
        return 0;
991
992
32
    if (!PACKET_copy_bytes(&pkt2, p->ipv4, sizeof(p->ipv4))
993
32
        || !PACKET_get_net_2(&pkt2, &ipv4_port)
994
32
        || !PACKET_copy_bytes(&pkt2, p->ipv6, sizeof(p->ipv6))
995
32
        || !PACKET_get_net_2(&pkt2, &ipv6_port)
996
32
        || !PACKET_get_1(&pkt2, &cidl)
997
32
        || cidl > QUIC_MAX_CONN_ID_LEN
998
26
        || !PACKET_copy_bytes(&pkt2, p->cid.id, cidl)
999
21
        || !PACKET_copy_bytes(&pkt2, p->stateless_reset.token,
1000
21
            sizeof(p->stateless_reset.token)))
1001
17
        return 0;
1002
1003
15
    p->ipv4_port = (uint16_t)ipv4_port;
1004
15
    p->ipv6_port = (uint16_t)ipv6_port;
1005
15
    p->cid.id_len = (unsigned char)cidl;
1006
15
    return 1;
1007
32
}
1008
1009
const char *
1010
ossl_quic_frame_type_to_string(uint64_t frame_type)
1011
13.9k
{
1012
13.9k
    switch (frame_type) {
1013
0
#define X(name)                       \
1014
8.87k
    case OSSL_QUIC_FRAME_TYPE_##name: \
1015
8.87k
        return #name;
1016
0
        X(PADDING)
1017
11
        X(PING)
1018
1.24k
        X(ACK_WITHOUT_ECN)
1019
1.01k
        X(ACK_WITH_ECN)
1020
500
        X(RESET_STREAM)
1021
285
        X(STOP_SENDING)
1022
1.45k
        X(CRYPTO)
1023
134
        X(NEW_TOKEN)
1024
99
        X(MAX_DATA)
1025
179
        X(MAX_STREAM_DATA)
1026
48
        X(MAX_STREAMS_BIDI)
1027
93
        X(MAX_STREAMS_UNI)
1028
35
        X(DATA_BLOCKED)
1029
140
        X(STREAM_DATA_BLOCKED)
1030
49
        X(STREAMS_BLOCKED_BIDI)
1031
150
        X(STREAMS_BLOCKED_UNI)
1032
1.39k
        X(NEW_CONN_ID)
1033
87
        X(RETIRE_CONN_ID)
1034
97
        X(PATH_CHALLENGE)
1035
65
        X(PATH_RESPONSE)
1036
392
        X(CONN_CLOSE_TRANSPORT)
1037
36
        X(CONN_CLOSE_APP)
1038
40
        X(HANDSHAKE_DONE)
1039
185
        X(STREAM)
1040
110
        X(STREAM_FIN)
1041
96
        X(STREAM_LEN)
1042
203
        X(STREAM_LEN_FIN)
1043
158
        X(STREAM_OFF)
1044
116
        X(STREAM_OFF_FIN)
1045
132
        X(STREAM_OFF_LEN)
1046
334
        X(STREAM_OFF_LEN_FIN)
1047
0
#undef X
1048
5.11k
    default:
1049
5.11k
        return NULL;
1050
13.9k
    }
1051
13.9k
}
1052
1053
const char *ossl_quic_err_to_string(uint64_t error_code)
1054
47.9k
{
1055
47.9k
    switch (error_code) {
1056
0
#define X(name)                \
1057
36.5k
    case OSSL_QUIC_ERR_##name: \
1058
36.5k
        return #name;
1059
0
        X(NO_ERROR)
1060
18.0k
        X(INTERNAL_ERROR)
1061
94
        X(CONNECTION_REFUSED)
1062
192
        X(FLOW_CONTROL_ERROR)
1063
231
        X(STREAM_LIMIT_ERROR)
1064
733
        X(STREAM_STATE_ERROR)
1065
390
        X(FINAL_SIZE_ERROR)
1066
10.3k
        X(FRAME_ENCODING_ERROR)
1067
1.12k
        X(TRANSPORT_PARAMETER_ERROR)
1068
578
        X(CONNECTION_ID_LIMIT_ERROR)
1069
3.99k
        X(PROTOCOL_VIOLATION)
1070
12
        X(INVALID_TOKEN)
1071
0
        X(APPLICATION_ERROR)
1072
571
        X(CRYPTO_BUFFER_EXCEEDED)
1073
298
        X(KEY_UPDATE_ERROR)
1074
0
        X(AEAD_LIMIT_REACHED)
1075
0
        X(NO_VIABLE_PATH)
1076
0
#undef X
1077
11.3k
    default:
1078
        return NULL;
1079
47.9k
    }
1080
47.9k
}