GCOV - Varnish Cache


/*-
 * Copyright (c) 2016 Varnish Software AS
 * All rights reserved.
 *
 * Author: Martin Blix Grydeland <martin@varnish-software.com>
 *
 * SPDX-License-Identifier: BSD-2-Clause
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED.  IN NO EVENT SHALL AUTHOR OR CONTRIBUTORS BE LIABLE
 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 * SUCH DAMAGE.
 *
 */

#include "config.h"

#include "cache/cache_int.h"

#include <ctype.h>
#include <stdio.h>

#include "http2/cache_http2.h"
#include "vct.h"

static void
h2h_assert_ready(const struct h2h_decode *d)
{

        CHECK_OBJ_NOTNULL(d, H2H_DECODE_MAGIC);
        AN(d->out);
        assert(d->namelen >= 2); /* 2 chars from the ": " that we added */
        assert(d->namelen <= d->out_u);
        assert(d->out[d->namelen - 2] == ':');
        assert(d->out[d->namelen - 1] == ' ');
}

// rfc9113,l,2493,2528
static h2_error
h2h_checkhdr(struct vsl_log *vsl, txt nm, txt val)
{
        const char *p;
        int l;
        enum {
                FLD_NAME_FIRST,
                FLD_NAME,
                FLD_VALUE_FIRST,
                FLD_VALUE
        } state;

        if (Tlen(nm) == 0) {
                VSLb(vsl, SLT_BogoHeader, "Empty name");
                return (H2SE_PROTOCOL_ERROR);
        }

        // VSLb(vsl, SLT_Debug, "CHDR [%.*s] [%.*s]",
        //     (int)Tlen(nm), nm.b, (int)Tlen(val), val.b);

        l = vmin_t(int, Tlen(nm) + 2 + Tlen(val), 20);
        state = FLD_NAME_FIRST;
        Tforeach(p, nm) {
                switch(state) {
                case FLD_NAME_FIRST:
                        state = FLD_NAME;
                        if (*p == ':')
                                break;
                        /* FALLTHROUGH */
                case FLD_NAME:
                        if (isupper(*p)) {
                                VSLb(vsl, SLT_BogoHeader,
                                    "Illegal field header name (upper-case): %.*s",
                                    l, nm.b);
                                return (H2SE_PROTOCOL_ERROR);
                        }
                        if (!vct_istchar(*p) || *p == ':') {
                                VSLb(vsl, SLT_BogoHeader,
                                    "Illegal field header name (non-token): %.*s",
                                    l, nm.b);
                                return (H2SE_PROTOCOL_ERROR);
                        }
                        break;
                default:
                        WRONG("http2 field name validation state");
                }
        }

        state = FLD_VALUE_FIRST;
        Tforeach(p, val) {
                switch(state) {
                case FLD_VALUE_FIRST:
                        if (vct_issp(*p)) {
                                VSLb(vsl, SLT_BogoHeader,
                                    "Illegal field value 0x%02x start %.*s",
                                    *p, l, nm.b);
                                return (H2SE_PROTOCOL_ERROR);
                        }
                        state = FLD_VALUE;
                        /* FALLTHROUGH */
                case FLD_VALUE:
                        if (!vct_ishdrval(*p)) {
                                VSLb(vsl, SLT_BogoHeader,
                                    "Illegal field value 0x%02x %.*s",
                                    *p, l, nm.b);
                                return (H2SE_PROTOCOL_ERROR);
                        }
                        break;
                default:
                        WRONG("http2 field value validation state");
                }
        }
        if (state == FLD_VALUE && vct_issp(val.e[-1])) {
                VSLb(vsl, SLT_BogoHeader,
                    "Illegal field value 0x%02x (end) at %.*s",
                    val.e[-1], l, nm.b);
                return (H2SE_PROTOCOL_ERROR);
        }
        return (0);
}

static h2_error
h2h_addhdr(struct http *hp, struct h2h_decode *d)
{
        /* XXX: This might belong in cache/cache_http.c */
        txt hdr, nm, val;
        int disallow_empty;
        const char *p;
        unsigned n, has_dup;
        h2_error err;

        CHECK_OBJ_NOTNULL(hp, HTTP_MAGIC);
        h2h_assert_ready(d);

        /* Assume hdr is by default a regular header from what we decoded. */
        hdr.b = d->out;
        hdr.e = hdr.b + d->out_u;
        n = hp->nhd;

        /* nm and val are separated by ": " */
        nm.b = hdr.b;
        nm.e = nm.b + d->namelen - 2;
        val.b = nm.e + 2;
        val.e = hdr.e;

        err = h2h_checkhdr(hp->vsl, nm, val);
        if (err != NULL)
                return (err);

        disallow_empty = 0;
        has_dup = 0;

        if (Tlen(hdr) > cache_param->http_req_hdr_len) {
                VSLb(hp->vsl, SLT_BogoHeader, "Header too large: %.20s", hdr.b);
                return (H2SE_ENHANCE_YOUR_CALM);
        }

        /* Match H/2 pseudo headers */
        /* XXX: Should probably have some include tbl for pseudo-headers */
        if (Tstreq(nm, ":method")) {
                hdr.b = val.b;
                n = HTTP_HDR_METHOD;
                disallow_empty = 1;

                /* Check HTTP token */
                Tforeach(p, hdr) {
                        if (!vct_istchar(*p))
                                return (H2SE_PROTOCOL_ERROR);
                }
        } else if (Tstreq(nm, ":path")) {
                hdr.b = val.b;
                n = HTTP_HDR_URL;
                disallow_empty = 1;

                // rfc9113,l,2693,2705
                if (Tlen(val) > 0 && val.b[0] != '/' && !Tstreq(val, "*")) {
                        VSLb(hp->vsl, SLT_BogoHeader,
                            "Illegal :path pseudo-header %.*s",
                            (int)Tlen(val), val.b);
                        return (H2SE_PROTOCOL_ERROR);
                }

                /* Path cannot contain LWS or CTL */
                Tforeach(p, hdr) {
                        if (vct_islws(*p) || vct_isctl(*p))
                                return (H2SE_PROTOCOL_ERROR);
                }
        } else if (Tstreq(nm, ":scheme")) {
                /* XXX: What to do about this one? (typically
                   "http" or "https"). For now set it as a normal
                   header, stripping the first ':'. */
                hdr.b++;
                has_dup = d->has_scheme;
                d->has_scheme = 1;
                disallow_empty = 1;

                /* Check HTTP token */
                Tforeach(p, val) {
                        if (!vct_istchar(*p))
                                return (H2SE_PROTOCOL_ERROR);
                }
        } else if (Tstreq(nm, ":authority")) {
                /* NB: we inject "host" in place of "rity" for
                 * the ":authority" pseudo-header.
                 */
                memcpy(d->out + 6, "host", 4);
                hdr.b += 6;
                nm = Tstr(":authority"); /* preserve original */
                has_dup = d->has_authority;
                d->has_authority = 1;
        } else if (nm.b[0] == ':') {
                VSLb(hp->vsl, SLT_BogoHeader,
                    "Unknown pseudo-header: %.*s",
                    vmin_t(int, Tlen(hdr), 20), hdr.b);
                return (H2SE_PROTOCOL_ERROR);   // rfc7540,l,2990,2992
        }

        if (disallow_empty && Tlen(val) == 0) {
                VSLb(hp->vsl, SLT_BogoHeader,
                    "Empty pseudo-header %.*s",
                    (int)Tlen(nm), nm.b);
                return (H2SE_PROTOCOL_ERROR);
        }

        if (n >= HTTP_HDR_FIRST) {
                /* Check for space in struct http */
                if (n >= hp->shd) {
                        VSLb(hp->vsl, SLT_LostHeader,
                            "Too many headers: %.*s",
                            vmin_t(int, Tlen(hdr), 20), hdr.b);
                        return (H2SE_ENHANCE_YOUR_CALM);
                }
                hp->nhd++;
                AZ(hp->hd[n].b);
        }

        if (has_dup || hp->hd[n].b != NULL) {
                assert(nm.b[0] == ':');
                VSLb(hp->vsl, SLT_BogoHeader,
                    "Duplicate pseudo-header %.*s",
                    (int)Tlen(nm), nm.b);
                return (H2SE_PROTOCOL_ERROR);   // rfc7540,l,3158,3162
        }

        hp->hd[n] = hdr;
        return (0);
}

static void
h2h_decode_init(const struct h2_sess *h2, struct ws *ws)
{
        struct h2h_decode *d;

        CHECK_OBJ_NOTNULL(h2, H2_SESS_MAGIC);
        CHECK_OBJ_NOTNULL(ws, WS_MAGIC);

        AN(h2->decode);
        d = h2->decode;
        INIT_OBJ(d, H2H_DECODE_MAGIC);
        VHD_Init(d->vhd);
        d->out_l = WS_ReserveSize(ws, cache_param->http_req_size);
        /*
         * Can't do any work without any buffer
         * space. Require non-zero size.
         */
        XXXAN(d->out_l);
        d->out = WS_Reservation(ws);

        if (cache_param->h2_max_header_list_size == 0)
                d->limit =
                    (long)h2->local_settings.max_header_list_size * 3 / 2;
        else
                d->limit = cache_param->h2_max_header_list_size;

        //  d->limit < cache_param->http_req_size
        if (d->limit < h2->local_settings.max_header_list_size)
                d->limit = INT64_MAX;

        d->ws = ws;
}

void
h2h_decode_hdr_init(const struct h2_sess *h2)
{

        CHECK_OBJ_NOTNULL(h2, H2_SESS_MAGIC);
        CHECK_OBJ_NOTNULL(h2->new_req, REQ_MAGIC);
        CHECK_OBJ_NOTNULL(h2->new_req->http, HTTP_MAGIC);
        h2h_decode_init(h2, h2->new_req->ws);
}

/* Possible error returns:
 *
 * H2E_COMPRESSION_ERROR: Lost compression state due to incomplete header
 * block. This is a connection level error.
 *
 * H2E_ENHANCE_YOUR_CALM: Ran out of workspace or http header space. This
 * is a stream level error.
 */
h2_error
h2h_decode_hdr_fini(const struct h2_sess *h2)
{
        h2_error ret;
        struct h2h_decode *d;

        CHECK_OBJ_NOTNULL(h2, H2_SESS_MAGIC);
        d = h2->decode;
        CHECK_OBJ_NOTNULL(h2->new_req, REQ_MAGIC);
        CHECK_OBJ_NOTNULL(d, H2H_DECODE_MAGIC);
        WS_ReleaseP(d->ws, d->out);
        if (d->vhd_ret != VHD_OK) {
                /* HPACK header block didn't finish at an instruction
                   boundary */
                VSLb(h2->new_req->http->vsl, SLT_BogoHeader,
                    "HPACK compression error/fini (%s)", VHD_Error(d->vhd_ret));
                ret = H2CE_COMPRESSION_ERROR;
        } else if (d->error == NULL && !d->has_scheme) {
                H2S_Lock_VSLb(h2, SLT_Debug, "Missing :scheme");
                ret = H2SE_MISSING_SCHEME; //rfc7540,l,3087,3090
        } else
                ret = d->error;
        FINI_OBJ(d);
        if (ret == H2SE_REQ_SIZE) {
                VSLb(h2->new_req->http->vsl, SLT_LostHeader,
                    "Header list too large");
        }
        return (ret);
}

/* Possible error returns:
 *
 * H2E_COMPRESSION_ERROR: Lost compression state due to invalid header
 * block. This is a connection level error.
 *
 * H2E_PROTOCOL_ERROR: Malformed header or duplicate pseudo-header.
 *                     Violation of field name/value charsets
 */
h2_error
h2h_decode_bytes(struct h2_sess *h2, const uint8_t *in, size_t in_l)
{
        struct http *hp;
        struct h2h_decode *d;
        size_t in_u = 0;
        const char *r, *e;

        CHECK_OBJ_NOTNULL(h2, H2_SESS_MAGIC);
        CHECK_OBJ_NOTNULL(h2->new_req, REQ_MAGIC);
        hp = h2->new_req->http;
        CHECK_OBJ_NOTNULL(hp, HTTP_MAGIC);
        d = h2->decode;
        CHECK_OBJ_NOTNULL(d, H2H_DECODE_MAGIC);
        CHECK_OBJ_NOTNULL(d->ws, WS_MAGIC);
        r = WS_Reservation(d->ws);
        AN(r);
        e = r + WS_ReservationSize(d->ws);

        /* Only H2E_ENHANCE_YOUR_CALM indicates that we should continue
           processing. Other errors should have been returned and handled
           by the caller. */
        if (d->error != NULL)
                assert(H2_ERROR_MATCH(d->error, H2SE_ENHANCE_YOUR_CALM));

        while (d->limit >= 0) {
                AN(d->out);
                assert(d->out_u <= d->out_l);
                d->vhd_ret = VHD_Decode(d->vhd, h2->dectbl, in, in_l, &in_u,
                    d->out, d->out_l, &d->out_u);

                if (d->vhd_ret < 0) {
                        H2S_Lock_VSLb(h2, SLT_BogoHeader,
                            "HPACK compression error (%s)",
                            VHD_Error(d->vhd_ret));
                        d->error = H2CE_COMPRESSION_ERROR;
                        break;
                } else if (d->vhd_ret == VHD_OK || d->vhd_ret == VHD_MORE) {
                        assert(in_u == in_l);
                        break;
                }

                if (H2_ERROR_MATCH(d->error, H2SE_ENHANCE_YOUR_CALM)) {
                        d->limit -= d->out_u;
                        d->out_u = 0;
                        assert(d->out_u < d->out_l);
                        continue;
                }

                switch (d->vhd_ret) {
                case VHD_NAME_SEC:
                        /* XXX: header flag for never-indexed header */
                case VHD_NAME:
                        assert(d->namelen == 0);
                        if (d->out_l - d->out_u < 2) {
                                d->error = H2SE_REQ_SIZE;
                                break;
                        }
                        d->out[d->out_u++] = ':';
                        d->out[d->out_u++] = ' ';
                        d->namelen = d->out_u;
                        break;

                case VHD_VALUE_SEC:
                        /* XXX: header flag for never-indexed header */
                case VHD_VALUE:
                        assert(d->namelen > 0);
                        if (d->out_l - d->out_u < 1) {
                                d->error = H2SE_REQ_SIZE;
                                break;
                        }
                        d->error = h2h_addhdr(hp, d);
                        if (d->error)
                                break;
                        d->out[d->out_u++] = '\0'; /* Zero guard */
                        d->out += d->out_u;
                        d->out_l -= d->out_u;
                        d->limit -= d->out_u;
                        d->out_u = 0;
                        d->namelen = 0;
                        break;

                case VHD_BUF:
                        d->error = H2SE_REQ_SIZE;
                        break;

                default:
                        WRONG("Unhandled return value");
                        break;
                }

                if (H2_ERROR_MATCH(d->error, H2SE_ENHANCE_YOUR_CALM)) {
                        d->out = WS_Reservation(d->ws);
                        d->out_l = e - d->out;
                        d->limit -= d->out_u;
                        d->out_u = 0;
                        assert(d->out_l > 0);
                } else if (d->error)
                        break;
        }

        if (d->limit < 0) {
                /* Fatal error, the client exceeded both http_req_size
                 * and h2_max_header_list_size. */
                H2S_Lock_VSLb(h2, SLT_SessError, "Header list too large");
                return (H2CE_ENHANCE_YOUR_CALM);
        }

        if (H2_ERROR_MATCH(d->error, H2SE_ENHANCE_YOUR_CALM)) {
                /* Stream error, delay reporting until h2h_decode_hdr_fini so
                 * that we can process the complete header block. */
                return (NULL);
        }

        return (d->error);
}

		vinyl-cache/bin/vinyld/http2/cache_http2_hpack.c
0		/*-
1		* Copyright (c) 2016 Varnish Software AS
2		* All rights reserved.
3		*
4		* Author: Martin Blix Grydeland <martin@varnish-software.com>
5		*
6		* SPDX-License-Identifier: BSD-2-Clause
7		*
8		* Redistribution and use in source and binary forms, with or without
9		* modification, are permitted provided that the following conditions
10		* are met:
11		* 1. Redistributions of source code must retain the above copyright
12		* notice, this list of conditions and the following disclaimer.
13		* 2. Redistributions in binary form must reproduce the above copyright
14		* notice, this list of conditions and the following disclaimer in the
15		* documentation and/or other materials provided with the distribution.
16		*
17		* THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
18		* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
19		* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
20		* ARE DISCLAIMED. IN NO EVENT SHALL AUTHOR OR CONTRIBUTORS BE LIABLE
21		* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
22		* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
23		* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
24		* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
25		* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
26		* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
27		* SUCH DAMAGE.
28		*
29		*/
30
31		#include "config.h"
32
33		#include "cache/cache_int.h"
34
35		#include <ctype.h>
36		#include <stdio.h>
37
38		#include "http2/cache_http2.h"
39		#include "vct.h"
40
41		static void
42	2496	h2h_assert_ready(const struct h2h_decode *d)
43		{
44
45	2496	CHECK_OBJ_NOTNULL(d, H2H_DECODE_MAGIC);
46	2496	AN(d->out);
47	2496	assert(d->namelen >= 2); /* 2 chars from the ": " that we added */
48	2496	assert(d->namelen <= d->out_u);
49	2496	assert(d->out[d->namelen - 2] == ':');
50	2496	assert(d->out[d->namelen - 1] == ' ');
51	2496	}
52
53		// rfc9113,l,2493,2528
54		static h2_error
55	2496	h2h_checkhdr(struct vsl_log *vsl, txt nm, txt val)
56		{
57		const char *p;
58		int l;
59		enum {
60		FLD_NAME_FIRST,
61		FLD_NAME,
62		FLD_VALUE_FIRST,
63		FLD_VALUE
64		} state;
65
66	2496	if (Tlen(nm) == 0) {
67	0	VSLb(vsl, SLT_BogoHeader, "Empty name");
68	0	return (H2SE_PROTOCOL_ERROR);
69		}
70
71		// VSLb(vsl, SLT_Debug, "CHDR [%.s] [%.s]",
72		// (int)Tlen(nm), nm.b, (int)Tlen(val), val.b);
73
74	2496	l = vmin_t(int, Tlen(nm) + 2 + Tlen(val), 20);
75	2496	state = FLD_NAME_FIRST;
76	18748	Tforeach(p, nm) {
77	16268	switch(state) {
78		case FLD_NAME_FIRST:
79	2496	state = FLD_NAME;
80	2496	if (*p == ':')
81	1968	break;
82		/* FALLTHROUGH */
83		case FLD_NAME:
84	14300	if (isupper(*p)) {
85	8	VSLb(vsl, SLT_BogoHeader,
86		"Illegal field header name (upper-case): %.*s",
87	4	l, nm.b);
88	4	return (H2SE_PROTOCOL_ERROR);
89		}
90	14296	if (!vct_istchar(p) \|\| p == ':') {
91	24	VSLb(vsl, SLT_BogoHeader,
92		"Illegal field header name (non-token): %.*s",
93	12	l, nm.b);
94	12	return (H2SE_PROTOCOL_ERROR);
95		}
96	14284	break;
97		default:
98	0	WRONG("http2 field name validation state");
99	0	}
100	16252	}
101
102	2480	state = FLD_VALUE_FIRST;
103	129544	Tforeach(p, val) {
104	127104	switch(state) {
105		case FLD_VALUE_FIRST:
106	2452	if (vct_issp(*p)) {
107	72	VSLb(vsl, SLT_BogoHeader,
108		"Illegal field value 0x%02x start %.*s",
109	36	*p, l, nm.b);
110	36	return (H2SE_PROTOCOL_ERROR);
111		}
112	2416	state = FLD_VALUE;
113		/* FALLTHROUGH */
114		case FLD_VALUE:
115	127068	if (!vct_ishdrval(*p)) {
116	8	VSLb(vsl, SLT_BogoHeader,
117		"Illegal field value 0x%02x %.*s",
118	4	*p, l, nm.b);
119	4	return (H2SE_PROTOCOL_ERROR);
120		}
121	127064	break;
122		default:
123	0	WRONG("http2 field value validation state");
124	0	}
125	127064	}
126	2440	if (state == FLD_VALUE && vct_issp(val.e[-1])) {
127	16	VSLb(vsl, SLT_BogoHeader,
128		"Illegal field value 0x%02x (end) at %.*s",
129	8	val.e[-1], l, nm.b);
130	8	return (H2SE_PROTOCOL_ERROR);
131		}
132	2432	return (0);
133	2496	}
134
135		static h2_error
136	2496	h2h_addhdr(struct http hp, struct h2h_decode d)
137		{
138		/* XXX: This might belong in cache/cache_http.c */
139		txt hdr, nm, val;
140		int disallow_empty;
141		const char *p;
142		unsigned n, has_dup;
143		h2_error err;
144
145	2496	CHECK_OBJ_NOTNULL(hp, HTTP_MAGIC);
146	2496	h2h_assert_ready(d);
147
148		/* Assume hdr is by default a regular header from what we decoded. */
149	2496	hdr.b = d->out;
150	2496	hdr.e = hdr.b + d->out_u;
151	2496	n = hp->nhd;
152
153		/* nm and val are separated by ": " */
154	2496	nm.b = hdr.b;
155	2496	nm.e = nm.b + d->namelen - 2;
156	2496	val.b = nm.e + 2;
157	2496	val.e = hdr.e;
158
159	2496	err = h2h_checkhdr(hp->vsl, nm, val);
160	2496	if (err != NULL)
161	64	return (err);
162
163	2432	disallow_empty = 0;
164	2432	has_dup = 0;
165
166	2432	if (Tlen(hdr) > cache_param->http_req_hdr_len) {
167	4	VSLb(hp->vsl, SLT_BogoHeader, "Header too large: %.20s", hdr.b);
168	4	return (H2SE_ENHANCE_YOUR_CALM);
169		}
170
171		/* Match H/2 pseudo headers */
172		/* XXX: Should probably have some include tbl for pseudo-headers */
173	2428	if (Tstreq(nm, ":method")) {
174	608	hdr.b = val.b;
175	608	n = HTTP_HDR_METHOD;
176	608	disallow_empty = 1;
177
178		/* Check HTTP token */
179	2552	Tforeach(p, hdr) {
180	1944	if (!vct_istchar(*p))
181	0	return (H2SE_PROTOCOL_ERROR);
182	1944	}
183	2428	} else if (Tstreq(nm, ":path")) {
184	636	hdr.b = val.b;
185	636	n = HTTP_HDR_URL;
186	636	disallow_empty = 1;
187
188		// rfc9113,l,2693,2705
189	636	if (Tlen(val) > 0 && val.b[0] != '/' && !Tstreq(val, "*")) {
190	16	VSLb(hp->vsl, SLT_BogoHeader,
191		"Illegal :path pseudo-header %.*s",
192	8	(int)Tlen(val), val.b);
193	8	return (H2SE_PROTOCOL_ERROR);
194		}
195
196		/* Path cannot contain LWS or CTL */
197	2100	Tforeach(p, hdr) {
198	1472	if (vct_islws(p) \|\| vct_isctl(p))
199	0	return (H2SE_PROTOCOL_ERROR);
200	1472	}
201	1812	} else if (Tstreq(nm, ":scheme")) {
202		/* XXX: What to do about this one? (typically
203		"http" or "https"). For now set it as a normal
204		header, stripping the first ':'. */
205	612	hdr.b++;
206	612	has_dup = d->has_scheme;
207	612	d->has_scheme = 1;
208	612	disallow_empty = 1;
209
210		/* Check HTTP token */
211	3032	Tforeach(p, val) {
212	2420	if (!vct_istchar(*p))
213	0	return (H2SE_PROTOCOL_ERROR);
214	2420	}
215	1184	} else if (Tstreq(nm, ":authority")) {
216		/* NB: we inject "host" in place of "rity" for
217		* the ":authority" pseudo-header.
218		*/
219	72	memcpy(d->out + 6, "host", 4);
220	72	hdr.b += 6;
221	72	nm = Tstr(":authority"); /* preserve original */
222	72	has_dup = d->has_authority;
223	72	d->has_authority = 1;
224	572	} else if (nm.b[0] == ':') {
225	24	VSLb(hp->vsl, SLT_BogoHeader,
226		"Unknown pseudo-header: %.*s",
227	12	vmin_t(int, Tlen(hdr), 20), hdr.b);
228	12	return (H2SE_PROTOCOL_ERROR); // rfc7540,l,2990,2992
229		}
230
231	2408	if (disallow_empty && Tlen(val) == 0) {
232	48	VSLb(hp->vsl, SLT_BogoHeader,
233		"Empty pseudo-header %.*s",
234	24	(int)Tlen(nm), nm.b);
235	24	return (H2SE_PROTOCOL_ERROR);
236		}
237
238	2384	if (n >= HTTP_HDR_FIRST) {
239		/* Check for space in struct http */
240	1164	if (n >= hp->shd) {
241	8	VSLb(hp->vsl, SLT_LostHeader,
242		"Too many headers: %.*s",
243	4	vmin_t(int, Tlen(hdr), 20), hdr.b);
244	4	return (H2SE_ENHANCE_YOUR_CALM);
245		}
246	1160	hp->nhd++;
247	1160	AZ(hp->hd[n].b);
248	1160	}
249
250	2380	if (has_dup \|\| hp->hd[n].b != NULL) {
251	20	assert(nm.b[0] == ':');
252	40	VSLb(hp->vsl, SLT_BogoHeader,
253		"Duplicate pseudo-header %.*s",
254	20	(int)Tlen(nm), nm.b);
255	20	return (H2SE_PROTOCOL_ERROR); // rfc7540,l,3158,3162
256		}
257
258	2360	hp->hd[n] = hdr;
259	2360	return (0);
260	2496	}
261
262		static void
263	756	h2h_decode_init(const struct h2_sess h2, struct ws ws)
264		{
265		struct h2h_decode *d;
266
267	756	CHECK_OBJ_NOTNULL(h2, H2_SESS_MAGIC);
268	756	CHECK_OBJ_NOTNULL(ws, WS_MAGIC);
269
270	756	AN(h2->decode);
271	756	d = h2->decode;
272	756	INIT_OBJ(d, H2H_DECODE_MAGIC);
273	756	VHD_Init(d->vhd);
274	756	d->out_l = WS_ReserveSize(ws, cache_param->http_req_size);
275		/*
276		* Can't do any work without any buffer
277		* space. Require non-zero size.
278		*/
279	756	XXXAN(d->out_l);
280	756	d->out = WS_Reservation(ws);
281
282	756	if (cache_param->h2_max_header_list_size == 0)
283	740	d->limit =
284	740	(long)h2->local_settings.max_header_list_size * 3 / 2;
285		else
286	16	d->limit = cache_param->h2_max_header_list_size;
287
288		// d->limit < cache_param->http_req_size
289	756	if (d->limit < h2->local_settings.max_header_list_size)
290	0	d->limit = INT64_MAX;
291
292	756	d->ws = ws;
293	756	}
294
295		void
296	756	h2h_decode_hdr_init(const struct h2_sess *h2)
297		{
298
299	756	CHECK_OBJ_NOTNULL(h2, H2_SESS_MAGIC);
300	756	CHECK_OBJ_NOTNULL(h2->new_req, REQ_MAGIC);
301	756	CHECK_OBJ_NOTNULL(h2->new_req->http, HTTP_MAGIC);
302	756	h2h_decode_init(h2, h2->new_req->ws);
303	756	}
304
305		/* Possible error returns:
306		*
307		* H2E_COMPRESSION_ERROR: Lost compression state due to incomplete header
308		* block. This is a connection level error.
309		*
310		* H2E_ENHANCE_YOUR_CALM: Ran out of workspace or http header space. This
311		* is a stream level error.
312		*/
313		h2_error
314	756	h2h_decode_hdr_fini(const struct h2_sess *h2)
315		{
316		h2_error ret;
317		struct h2h_decode *d;
318
319	756	CHECK_OBJ_NOTNULL(h2, H2_SESS_MAGIC);
320	756	d = h2->decode;
321	756	CHECK_OBJ_NOTNULL(h2->new_req, REQ_MAGIC);
322	756	CHECK_OBJ_NOTNULL(d, H2H_DECODE_MAGIC);
323	756	WS_ReleaseP(d->ws, d->out);
324	756	if (d->vhd_ret != VHD_OK) {
325		/* HPACK header block didn't finish at an instruction
326		boundary */
327	296	VSLb(h2->new_req->http->vsl, SLT_BogoHeader,
328	148	"HPACK compression error/fini (%s)", VHD_Error(d->vhd_ret));
329	148	ret = H2CE_COMPRESSION_ERROR;
330	756	} else if (d->error == NULL && !d->has_scheme) {
331	16	H2S_Lock_VSLb(h2, SLT_Debug, "Missing :scheme");
332	16	ret = H2SE_MISSING_SCHEME; //rfc7540,l,3087,3090
333	16	} else
334	592	ret = d->error;
335	756	FINI_OBJ(d);
336	756	if (ret == H2SE_REQ_SIZE) {
337	4	VSLb(h2->new_req->http->vsl, SLT_LostHeader,
338		"Header list too large");
339	4	}
340	756	return (ret);
341		}
342
343		/* Possible error returns:
344		*
345		* H2E_COMPRESSION_ERROR: Lost compression state due to invalid header
346		* block. This is a connection level error.
347		*
348		* H2E_PROTOCOL_ERROR: Malformed header or duplicate pseudo-header.
349		* Violation of field name/value charsets
350		*/
351		h2_error
352	812	h2h_decode_bytes(struct h2_sess h2, const uint8_t in, size_t in_l)
353		{
354		struct http *hp;
355		struct h2h_decode *d;
356	812	size_t in_u = 0;
357		const char r, e;
358
359	812	CHECK_OBJ_NOTNULL(h2, H2_SESS_MAGIC);
360	812	CHECK_OBJ_NOTNULL(h2->new_req, REQ_MAGIC);
361	812	hp = h2->new_req->http;
362	812	CHECK_OBJ_NOTNULL(hp, HTTP_MAGIC);
363	812	d = h2->decode;
364	812	CHECK_OBJ_NOTNULL(d, H2H_DECODE_MAGIC);
365	812	CHECK_OBJ_NOTNULL(d->ws, WS_MAGIC);
366	812	r = WS_Reservation(d->ws);
367	812	AN(r);
368	812	e = r + WS_ReservationSize(d->ws);
369
370		/* Only H2E_ENHANCE_YOUR_CALM indicates that we should continue
371		processing. Other errors should have been returned and handled
372		by the caller. */
373	812	if (d->error != NULL)
374	16	assert(H2_ERROR_MATCH(d->error, H2SE_ENHANCE_YOUR_CALM));
375
376	5812	while (d->limit >= 0) {
377	5804	AN(d->out);
378	5804	assert(d->out_u <= d->out_l);
379	11608	d->vhd_ret = VHD_Decode(d->vhd, h2->dectbl, in, in_l, &in_u,
380	5804	d->out, d->out_l, &d->out_u);
381
382	5804	if (d->vhd_ret < 0) {
383	16	H2S_Lock_VSLb(h2, SLT_BogoHeader,
384		"HPACK compression error (%s)",
385	8	VHD_Error(d->vhd_ret));
386	8	d->error = H2CE_COMPRESSION_ERROR;
387	8	break;
388	5796	} else if (d->vhd_ret == VHD_OK \|\| d->vhd_ret == VHD_MORE) {
389	668	assert(in_u == in_l);
390	668	break;
391		}
392
393	5128	if (H2_ERROR_MATCH(d->error, H2SE_ENHANCE_YOUR_CALM)) {
394	112	d->limit -= d->out_u;
395	112	d->out_u = 0;
396	112	assert(d->out_u < d->out_l);
397	112	continue;
398		}
399
400	5016	switch (d->vhd_ret) {
401		case VHD_NAME_SEC:
402		/* XXX: header flag for never-indexed header */
403		case VHD_NAME:
404	2508	assert(d->namelen == 0);
405	2508	if (d->out_l - d->out_u < 2) {
406	0	d->error = H2SE_REQ_SIZE;
407	0	break;
408		}
409	2508	d->out[d->out_u++] = ':';
410	2508	d->out[d->out_u++] = ' ';
411	2508	d->namelen = d->out_u;
412	2508	break;
413
414		case VHD_VALUE_SEC:
415		/* XXX: header flag for never-indexed header */
416		case VHD_VALUE:
417	2496	assert(d->namelen > 0);
418	2496	if (d->out_l - d->out_u < 1) {
419	0	d->error = H2SE_REQ_SIZE;
420	0	break;
421		}
422	2496	d->error = h2h_addhdr(hp, d);
423	2496	if (d->error)
424	136	break;
425	2360	d->out[d->out_u++] = '\0'; /* Zero guard */
426	2360	d->out += d->out_u;
427	2360	d->out_l -= d->out_u;
428	2360	d->limit -= d->out_u;
429	2360	d->out_u = 0;
430	2360	d->namelen = 0;
431	2360	break;
432
433		case VHD_BUF:
434	12	d->error = H2SE_REQ_SIZE;
435	12	break;
436
437		default:
438	0	WRONG("Unhandled return value");
439	0	break;
440		}
441
442	5016	if (H2_ERROR_MATCH(d->error, H2SE_ENHANCE_YOUR_CALM)) {
443	20	d->out = WS_Reservation(d->ws);
444	20	d->out_l = e - d->out;
445	20	d->limit -= d->out_u;
446	20	d->out_u = 0;
447	20	assert(d->out_l > 0);
448	5016	} else if (d->error)
449	128	break;
450		}
451
452	812	if (d->limit < 0) {
453		/* Fatal error, the client exceeded both http_req_size
454		* and h2_max_header_list_size. */
455	8	H2S_Lock_VSLb(h2, SLT_SessError, "Header list too large");
456	8	return (H2CE_ENHANCE_YOUR_CALM);
457		}
458
459	804	if (H2_ERROR_MATCH(d->error, H2SE_ENHANCE_YOUR_CALM)) {
460		/* Stream error, delay reporting until h2h_decode_hdr_fini so
461		* that we can process the complete header block. */
462	28	return (NULL);
463		}
464
465	776	return (d->error);
466	812	}