Coverage Report

Created: 2025-12-31 06:58

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/openssl36/include/internal/packet_quic.h
Line
Count
Source
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
#ifndef OSSL_INTERNAL_PACKET_QUIC_H
11
#define OSSL_INTERNAL_PACKET_QUIC_H
12
#pragma once
13
14
#include "internal/packet.h"
15
#include "internal/quic_vlint.h"
16
17
#ifndef OPENSSL_NO_QUIC
18
/*
19
 * Decodes a QUIC variable-length integer in |pkt| and stores the result in
20
 * |data|.
21
 */
22
__owur static ossl_inline int PACKET_get_quic_vlint(PACKET *pkt,
23
    uint64_t *data)
24
12.3M
{
25
12.3M
    size_t enclen;
26
27
12.3M
    if (PACKET_remaining(pkt) < 1)
28
1.81k
        return 0;
29
30
12.3M
    enclen = ossl_quic_vlint_decode_len(*pkt->curr);
31
32
12.3M
    if (PACKET_remaining(pkt) < enclen)
33
1.05k
        return 0;
34
35
12.3M
    *data = ossl_quic_vlint_decode_unchecked(pkt->curr);
36
12.3M
    packet_forward(pkt, enclen);
37
12.3M
    return 1;
38
12.3M
}
Unexecuted instantiation: ssl_lib.c:PACKET_get_quic_vlint
Unexecuted instantiation: t1_lib.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_impl.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_method.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_obj.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_port.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_record_rx.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_record_shared.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_record_tx.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_record_util.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_rstream.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_sf_list.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_srtm.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_sstream.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_stream_map.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_thread_assist.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_txp.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_txpim.c:PACKET_get_quic_vlint
quic_wire.c:PACKET_get_quic_vlint
Line
Count
Source
24
7.68M
{
25
7.68M
    size_t enclen;
26
27
7.68M
    if (PACKET_remaining(pkt) < 1)
28
638
        return 0;
29
30
7.68M
    enclen = ossl_quic_vlint_decode_len(*pkt->curr);
31
32
7.68M
    if (PACKET_remaining(pkt) < enclen)
33
453
        return 0;
34
35
7.68M
    *data = ossl_quic_vlint_decode_unchecked(pkt->curr);
36
7.68M
    packet_forward(pkt, enclen);
37
7.68M
    return 1;
38
7.68M
}
quic_wire_pkt.c:PACKET_get_quic_vlint
Line
Count
Source
24
4.69M
{
25
4.69M
    size_t enclen;
26
27
4.69M
    if (PACKET_remaining(pkt) < 1)
28
1.18k
        return 0;
29
30
4.69M
    enclen = ossl_quic_vlint_decode_len(*pkt->curr);
31
32
4.69M
    if (PACKET_remaining(pkt) < enclen)
33
601
        return 0;
34
35
4.69M
    *data = ossl_quic_vlint_decode_unchecked(pkt->curr);
36
4.69M
    packet_forward(pkt, enclen);
37
4.69M
    return 1;
38
4.69M
}
Unexecuted instantiation: rec_layer_s3.c:PACKET_get_quic_vlint
Unexecuted instantiation: qlog_event_helpers.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_ackm.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_channel.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_demux.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_fifd.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_lcidm.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_rx_depack.c:PACKET_get_quic_vlint
Unexecuted instantiation: packet.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic-rcidm.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic_rcidm.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic-server.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic-srtm.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic-lcidm.c:PACKET_get_quic_vlint
Unexecuted instantiation: quic-client.c:PACKET_get_quic_vlint
39
40
/*
41
 * Decodes a QUIC variable-length integer in |pkt| and stores the result in
42
 * |data|. Unlike PACKET_get_quic_vlint, this does not advance the current
43
 * position. If was_minimal is non-NULL, *was_minimal is set to 1 if the integer
44
 * was encoded using the minimal possible number of bytes and 0 otherwise.
45
 */
46
__owur static ossl_inline int PACKET_peek_quic_vlint_ex(PACKET *pkt,
47
    uint64_t *data,
48
    int *was_minimal)
49
4.61M
{
50
4.61M
    size_t enclen;
51
52
4.61M
    if (PACKET_remaining(pkt) < 1)
53
0
        return 0;
54
55
4.61M
    enclen = ossl_quic_vlint_decode_len(*pkt->curr);
56
57
4.61M
    if (PACKET_remaining(pkt) < enclen)
58
865
        return 0;
59
60
4.60M
    *data = ossl_quic_vlint_decode_unchecked(pkt->curr);
61
62
4.60M
    if (was_minimal != NULL)
63
4.37M
        *was_minimal = (enclen == ossl_quic_vlint_encode_len(*data));
64
65
4.60M
    return 1;
66
4.61M
}
Unexecuted instantiation: ssl_lib.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: t1_lib.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_impl.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_method.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_obj.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_port.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_record_rx.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_record_shared.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_record_tx.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_record_util.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_rstream.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_sf_list.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_srtm.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_sstream.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_stream_map.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_thread_assist.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_txp.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_txpim.c:PACKET_peek_quic_vlint_ex
quic_wire.c:PACKET_peek_quic_vlint_ex
Line
Count
Source
49
4.61M
{
50
4.61M
    size_t enclen;
51
52
4.61M
    if (PACKET_remaining(pkt) < 1)
53
0
        return 0;
54
55
4.61M
    enclen = ossl_quic_vlint_decode_len(*pkt->curr);
56
57
4.61M
    if (PACKET_remaining(pkt) < enclen)
58
865
        return 0;
59
60
4.60M
    *data = ossl_quic_vlint_decode_unchecked(pkt->curr);
61
62
4.60M
    if (was_minimal != NULL)
63
4.37M
        *was_minimal = (enclen == ossl_quic_vlint_encode_len(*data));
64
65
4.60M
    return 1;
66
4.61M
}
Unexecuted instantiation: quic_wire_pkt.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: rec_layer_s3.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: qlog_event_helpers.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_ackm.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_channel.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_demux.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_fifd.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_lcidm.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_rx_depack.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: packet.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic-rcidm.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic_rcidm.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic-server.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic-srtm.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic-lcidm.c:PACKET_peek_quic_vlint_ex
Unexecuted instantiation: quic-client.c:PACKET_peek_quic_vlint_ex
67
68
__owur static ossl_inline int PACKET_peek_quic_vlint(PACKET *pkt,
69
    uint64_t *data)
70
230k
{
71
230k
    return PACKET_peek_quic_vlint_ex(pkt, data, NULL);
72
230k
}
Unexecuted instantiation: ssl_lib.c:PACKET_peek_quic_vlint
Unexecuted instantiation: t1_lib.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_impl.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_method.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_obj.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_port.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_record_rx.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_record_shared.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_record_tx.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_record_util.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_rstream.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_sf_list.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_srtm.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_sstream.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_stream_map.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_thread_assist.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_txp.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_txpim.c:PACKET_peek_quic_vlint
quic_wire.c:PACKET_peek_quic_vlint
Line
Count
Source
70
230k
{
71
    return PACKET_peek_quic_vlint_ex(pkt, data, NULL);
72
230k
}
Unexecuted instantiation: quic_wire_pkt.c:PACKET_peek_quic_vlint
Unexecuted instantiation: rec_layer_s3.c:PACKET_peek_quic_vlint
Unexecuted instantiation: qlog_event_helpers.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_ackm.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_channel.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_demux.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_fifd.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_lcidm.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_rx_depack.c:PACKET_peek_quic_vlint
Unexecuted instantiation: packet.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic-rcidm.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic_rcidm.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic-server.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic-srtm.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic-lcidm.c:PACKET_peek_quic_vlint
Unexecuted instantiation: quic-client.c:PACKET_peek_quic_vlint
73
74
/*
75
 * Skips over a QUIC variable-length integer in |pkt| without decoding it.
76
 */
77
__owur static ossl_inline int PACKET_skip_quic_vlint(PACKET *pkt)
78
605k
{
79
605k
    size_t enclen;
80
81
605k
    if (PACKET_remaining(pkt) < 1)
82
531
        return 0;
83
84
604k
    enclen = ossl_quic_vlint_decode_len(*pkt->curr);
85
86
604k
    if (PACKET_remaining(pkt) < enclen)
87
320
        return 0;
88
89
604k
    packet_forward(pkt, enclen);
90
604k
    return 1;
91
604k
}
Unexecuted instantiation: ssl_lib.c:PACKET_skip_quic_vlint
Unexecuted instantiation: t1_lib.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_impl.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_method.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_obj.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_port.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_record_rx.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_record_shared.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_record_tx.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_record_util.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_rstream.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_sf_list.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_srtm.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_sstream.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_stream_map.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_thread_assist.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_txp.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_txpim.c:PACKET_skip_quic_vlint
quic_wire.c:PACKET_skip_quic_vlint
Line
Count
Source
78
605k
{
79
605k
    size_t enclen;
80
81
605k
    if (PACKET_remaining(pkt) < 1)
82
531
        return 0;
83
84
604k
    enclen = ossl_quic_vlint_decode_len(*pkt->curr);
85
86
604k
    if (PACKET_remaining(pkt) < enclen)
87
320
        return 0;
88
89
604k
    packet_forward(pkt, enclen);
90
604k
    return 1;
91
604k
}
Unexecuted instantiation: quic_wire_pkt.c:PACKET_skip_quic_vlint
Unexecuted instantiation: rec_layer_s3.c:PACKET_skip_quic_vlint
Unexecuted instantiation: qlog_event_helpers.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_ackm.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_channel.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_demux.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_fifd.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_lcidm.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_rx_depack.c:PACKET_skip_quic_vlint
Unexecuted instantiation: packet.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic-rcidm.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic_rcidm.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic-server.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic-srtm.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic-lcidm.c:PACKET_skip_quic_vlint
Unexecuted instantiation: quic-client.c:PACKET_skip_quic_vlint
92
93
/*
94
 * Reads a variable-length vector prefixed with a QUIC variable-length integer
95
 * denoting the length, and stores the contents in |subpkt|. |pkt| can equal
96
 * |subpkt|. Data is not copied: the |subpkt| packet will share its underlying
97
 * buffer with the original |pkt|, so data wrapped by |pkt| must outlive the
98
 * |subpkt|. Upon failure, the original |pkt| and |subpkt| are not modified.
99
 */
100
__owur static ossl_inline int PACKET_get_quic_length_prefixed(PACKET *pkt,
101
    PACKET *subpkt)
102
0
{
103
0
    uint64_t length;
104
0
    const unsigned char *data;
105
0
    PACKET tmp = *pkt;
106
0
107
0
    if (!PACKET_get_quic_vlint(&tmp, &length) || length > SIZE_MAX || !PACKET_get_bytes(&tmp, &data, (size_t)length)) {
108
0
        return 0;
109
0
    }
110
0
111
0
    *pkt = tmp;
112
0
    subpkt->curr = data;
113
0
    subpkt->remaining = (size_t)length;
114
0
115
0
    return 1;
116
0
}
Unexecuted instantiation: ssl_lib.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: t1_lib.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_impl.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_method.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_obj.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_port.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_record_rx.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_record_shared.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_record_tx.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_record_util.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_rstream.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_sf_list.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_srtm.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_sstream.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_stream_map.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_thread_assist.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_txp.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_txpim.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_wire.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_wire_pkt.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: rec_layer_s3.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: qlog_event_helpers.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_ackm.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_channel.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_demux.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_fifd.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_lcidm.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_rx_depack.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: packet.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic-rcidm.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic_rcidm.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic-server.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic-srtm.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic-lcidm.c:PACKET_get_quic_length_prefixed
Unexecuted instantiation: quic-client.c:PACKET_get_quic_length_prefixed
117
118
/*
119
 * Starts a QUIC sub-packet headed by a QUIC variable-length integer. A 4-byte
120
 * representation is used.
121
 */
122
__owur int WPACKET_start_quic_sub_packet(WPACKET *pkt);
123
124
/*
125
 * Starts a QUIC sub-packet headed by a QUIC variable-length integer. max_len
126
 * specifies the upper bound for the sub-packet size at the time the sub-packet
127
 * is closed, which determines the encoding size for the variable-length
128
 * integer header. max_len can be a precise figure or a worst-case bound
129
 * if a precise figure is not available.
130
 */
131
__owur int WPACKET_start_quic_sub_packet_bound(WPACKET *pkt, size_t max_len);
132
133
/*
134
 * Allocates a QUIC sub-packet with exactly len bytes of payload, headed by a
135
 * QUIC variable-length integer. The pointer to the payload buffer is output and
136
 * must be filled by the caller. This function assures optimal selection of
137
 * variable-length integer encoding length.
138
 */
139
__owur int WPACKET_quic_sub_allocate_bytes(WPACKET *pkt, size_t len,
140
    unsigned char **bytes);
141
142
/*
143
 * Write a QUIC variable-length integer to the packet.
144
 */
145
__owur int WPACKET_quic_write_vlint(WPACKET *pkt, uint64_t v);
146
147
#endif /* OPENSSL_NO_QUIC */
148
#endif /* OSSL_INTERNAL_PACKET_QUIC_H */