Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 1 | /* |
| 2 | * QPACK decompressor |
| 3 | * |
Willy Tarreau | 3dfb7da | 2022-03-02 22:33:39 +0100 | [diff] [blame] | 4 | * Copyright 2021 HAProxy Technologies, Frederic Lecaille <flecaille@haproxy.com> |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 5 | * |
| 6 | * This library is free software; you can redistribute it and/or |
| 7 | * modify it under the terms of the GNU Lesser General Public |
| 8 | * License as published by the Free Software Foundation, version 2.1 |
| 9 | * exclusively. |
| 10 | * |
| 11 | * This library is distributed in the hope that it will be useful, |
| 12 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 13 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| 14 | * Lesser General Public License for more details. |
| 15 | * |
| 16 | * You should have received a copy of the GNU Lesser General Public |
| 17 | * License along with this library; if not, write to the Free Software |
| 18 | * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA |
| 19 | */ |
| 20 | |
| 21 | #include <inttypes.h> |
| 22 | #include <stdio.h> |
| 23 | #include <stdlib.h> |
| 24 | #include <string.h> |
| 25 | |
| 26 | #include <import/ist.h> |
| 27 | #include <haproxy/buf.h> |
| 28 | #include <haproxy/chunk.h> |
| 29 | #include <haproxy/h3.h> |
| 30 | #include <haproxy/qpack-t.h> |
| 31 | #include <haproxy/qpack-dec.h> |
Amaury Denoyelle | fd7cdc3 | 2021-08-24 15:13:20 +0200 | [diff] [blame] | 32 | #include <haproxy/qpack-tbl.h> |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 33 | #include <haproxy/hpack-huff.h> |
| 34 | #include <haproxy/hpack-tbl.h> |
Amaury Denoyelle | fd7cdc3 | 2021-08-24 15:13:20 +0200 | [diff] [blame] | 35 | #include <haproxy/http-hdr.h> |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 36 | #include <haproxy/tools.h> |
| 37 | |
Amaury Denoyelle | d96361b | 2022-03-25 14:56:51 +0100 | [diff] [blame] | 38 | #if defined(DEBUG_QPACK) |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 39 | #define qpack_debug_printf fprintf |
| 40 | #define qpack_debug_hexdump debug_hexdump |
| 41 | #else |
| 42 | #define qpack_debug_printf(...) do { } while (0) |
| 43 | #define qpack_debug_hexdump(...) do { } while (0) |
| 44 | #endif |
| 45 | |
| 46 | /* Encoded field line bitmask */ |
| 47 | #define QPACK_EFL_BITMASK 0xf0 |
| 48 | #define QPACK_LFL_WPBNM 0x00 // Literal field line with post-base name reference |
| 49 | #define QPACK_IFL_WPBI 0x10 // Indexed field line with post-based index |
| 50 | #define QPACK_LFL_WLN_BIT 0x20 // Literal field line with literal name |
| 51 | #define QPACK_LFL_WNR_BIT 0x40 // Literal field line with name reference |
| 52 | #define QPACK_IFL_BIT 0x80 // Indexed field line |
| 53 | |
| 54 | /* reads a varint from <raw>'s lowest <b> bits and <len> bytes max (raw included). |
| 55 | * returns the 64-bit value on success after updating buf and len_in. Forces |
| 56 | * len_in to (uint64_t)-1 on truncated input. |
| 57 | * Note that this function is similar to the one used for HPACK (except that is supports |
| 58 | * up to 62-bits integers). |
| 59 | */ |
| 60 | static uint64_t qpack_get_varint(const unsigned char **buf, uint64_t *len_in, int b) |
| 61 | { |
| 62 | uint64_t ret = 0; |
| 63 | int len = *len_in; |
| 64 | const uint8_t *raw = *buf; |
| 65 | uint8_t shift = 0; |
| 66 | |
| 67 | len--; |
Frédéric Lécaille | 6842485 | 2022-02-02 14:56:23 +0100 | [diff] [blame] | 68 | ret = *raw++ & ((1ULL << b) - 1); |
| 69 | if (ret != (uint64_t)((1ULL << b) - 1)) |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 70 | goto end; |
| 71 | |
| 72 | while (len && (*raw & 128)) { |
| 73 | ret += ((uint64_t)*raw++ & 127) << shift; |
| 74 | shift += 7; |
| 75 | len--; |
| 76 | } |
| 77 | |
| 78 | /* last 7 bits */ |
| 79 | if (!len) |
| 80 | goto too_short; |
| 81 | |
| 82 | len--; |
| 83 | ret += ((uint64_t)*raw++ & 127) << shift; |
| 84 | |
| 85 | end: |
| 86 | *buf = raw; |
| 87 | *len_in = len; |
| 88 | return ret; |
| 89 | |
| 90 | too_short: |
| 91 | *len_in = (uint64_t)-1; |
| 92 | return 0; |
| 93 | } |
| 94 | |
Amaury Denoyelle | 5869cb6 | 2022-05-31 15:21:27 +0200 | [diff] [blame] | 95 | /* Decode an encoder stream. |
| 96 | * |
| 97 | * Returns 0 on success else non-zero. |
| 98 | */ |
Amaury Denoyelle | 53eef46 | 2022-06-14 16:34:32 +0200 | [diff] [blame] | 99 | int qpack_decode_enc(struct buffer *buf, void *ctx) |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 100 | { |
| 101 | size_t len; |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 102 | unsigned char inst; |
| 103 | |
Amaury Denoyelle | 53eef46 | 2022-06-14 16:34:32 +0200 | [diff] [blame] | 104 | len = b_data(buf); |
| 105 | qpack_debug_hexdump(stderr, "[QPACK-DEC-ENC] ", b_head(buf), 0, len); |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 106 | |
| 107 | if (!len) { |
| 108 | qpack_debug_printf(stderr, "[QPACK-DEC-ENC] empty stream\n"); |
| 109 | return 0; |
| 110 | } |
| 111 | |
Amaury Denoyelle | 53eef46 | 2022-06-14 16:34:32 +0200 | [diff] [blame] | 112 | inst = (unsigned char)*b_head(buf) & QPACK_ENC_INST_BITMASK; |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 113 | if (inst == QPACK_ENC_INST_DUP) { |
| 114 | /* Duplicate */ |
| 115 | } |
| 116 | else if (inst & QPACK_ENC_INST_IWNR_BIT) { |
| 117 | /* Insert With Name Reference */ |
| 118 | } |
| 119 | else if (inst & QPACK_ENC_INST_IWLN_BIT) { |
| 120 | /* Insert with literal name */ |
| 121 | } |
| 122 | else if (inst & QPACK_ENC_INST_SDTC_BIT) { |
| 123 | /* Set dynamic table capacity */ |
| 124 | } |
| 125 | |
Amaury Denoyelle | 5869cb6 | 2022-05-31 15:21:27 +0200 | [diff] [blame] | 126 | return 0; |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 127 | } |
| 128 | |
Amaury Denoyelle | 5869cb6 | 2022-05-31 15:21:27 +0200 | [diff] [blame] | 129 | /* Decode an decoder stream. |
| 130 | * |
| 131 | * Returns 0 on success else non-zero. |
| 132 | */ |
Amaury Denoyelle | 53eef46 | 2022-06-14 16:34:32 +0200 | [diff] [blame] | 133 | int qpack_decode_dec(struct buffer *buf, void *ctx) |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 134 | { |
| 135 | size_t len; |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 136 | unsigned char inst; |
| 137 | |
Amaury Denoyelle | 53eef46 | 2022-06-14 16:34:32 +0200 | [diff] [blame] | 138 | len = b_data(buf); |
| 139 | qpack_debug_hexdump(stderr, "[QPACK-DEC-DEC] ", b_head(buf), 0, len); |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 140 | |
| 141 | if (!len) { |
| 142 | qpack_debug_printf(stderr, "[QPACK-DEC-DEC] empty stream\n"); |
| 143 | return 0; |
| 144 | } |
| 145 | |
Amaury Denoyelle | 53eef46 | 2022-06-14 16:34:32 +0200 | [diff] [blame] | 146 | inst = (unsigned char)*b_head(buf) & QPACK_DEC_INST_BITMASK; |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 147 | if (inst == QPACK_DEC_INST_ICINC) { |
| 148 | /* Insert count increment */ |
| 149 | } |
| 150 | else if (inst & QPACK_DEC_INST_SACK) { |
| 151 | /* Section Acknowledgment */ |
| 152 | } |
| 153 | else if (inst & QPACK_DEC_INST_SCCL) { |
| 154 | /* Stream cancellation */ |
| 155 | } |
| 156 | |
Amaury Denoyelle | 5869cb6 | 2022-05-31 15:21:27 +0200 | [diff] [blame] | 157 | return 0; |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 158 | } |
| 159 | |
| 160 | /* Decode a field section prefix made of <enc_ric> and <db> two varints. |
| 161 | * Also set the 'S' sign bit for <db>. |
| 162 | * Return a negative error if failed, 0 if not. |
| 163 | */ |
| 164 | static int qpack_decode_fs_pfx(uint64_t *enc_ric, uint64_t *db, int *sign_bit, |
| 165 | const unsigned char **raw, size_t *len) |
| 166 | { |
| 167 | *enc_ric = qpack_get_varint(raw, len, 8); |
| 168 | if (*len == (uint64_t)-1) |
| 169 | return -QPACK_ERR_RIC; |
| 170 | |
| 171 | *sign_bit = **raw & 0x8; |
| 172 | *db = qpack_get_varint(raw, len, 7); |
| 173 | if (*len == (uint64_t)-1) |
| 174 | return -QPACK_ERR_DB; |
| 175 | |
| 176 | return 0; |
| 177 | } |
| 178 | |
Amaury Denoyelle | c5d31ed | 2022-06-14 17:34:53 +0200 | [diff] [blame] | 179 | /* Decode a field section from the <raw> buffer of <len> bytes. Each parsed |
Amaury Denoyelle | 60ef19f | 2022-06-14 17:38:36 +0200 | [diff] [blame] | 180 | * header is inserted into <list> of <list_size> entries max and uses <tmp> as |
| 181 | * a storage for some elements pointing into it. An end marker is inserted at |
| 182 | * the end of the list with empty strings as name/value. |
Amaury Denoyelle | c5d31ed | 2022-06-14 17:34:53 +0200 | [diff] [blame] | 183 | * |
Amaury Denoyelle | b666c6b | 2022-06-14 17:17:07 +0200 | [diff] [blame] | 184 | * Returns the number of headers inserted into list excluding the end marker. |
| 185 | * In case of error, a negative code QPACK_ERR_* is returned. |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 186 | */ |
Amaury Denoyelle | fd7cdc3 | 2021-08-24 15:13:20 +0200 | [diff] [blame] | 187 | int qpack_decode_fs(const unsigned char *raw, size_t len, struct buffer *tmp, |
Amaury Denoyelle | 60ef19f | 2022-06-14 17:38:36 +0200 | [diff] [blame] | 188 | struct http_hdr *list, int list_size) |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 189 | { |
Amaury Denoyelle | b666c6b | 2022-06-14 17:17:07 +0200 | [diff] [blame] | 190 | struct ist name, value; |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 191 | uint64_t enc_ric, db; |
| 192 | int s; |
| 193 | unsigned int efl_type; |
| 194 | int ret; |
Amaury Denoyelle | fd7cdc3 | 2021-08-24 15:13:20 +0200 | [diff] [blame] | 195 | int hdr_idx = 0; |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 196 | |
| 197 | qpack_debug_hexdump(stderr, "[QPACK-DEC-FS] ", (const char *)raw, 0, len); |
| 198 | |
Amaury Denoyelle | c5d31ed | 2022-06-14 17:34:53 +0200 | [diff] [blame] | 199 | /* parse field section prefix */ |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 200 | ret = qpack_decode_fs_pfx(&enc_ric, &db, &s, &raw, &len); |
| 201 | if (ret < 0) { |
| 202 | qpack_debug_printf(stderr, "##ERR@%d(%d)\n", __LINE__, ret); |
| 203 | goto out; |
| 204 | } |
| 205 | |
| 206 | chunk_reset(tmp); |
| 207 | qpack_debug_printf(stderr, "enc_ric: %llu db: %llu s=%d\n", |
| 208 | (unsigned long long)enc_ric, (unsigned long long)db, !!s); |
| 209 | /* Decode field lines */ |
| 210 | while (len) { |
Amaury Denoyelle | 60ef19f | 2022-06-14 17:38:36 +0200 | [diff] [blame] | 211 | if (hdr_idx >= list_size) { |
| 212 | qpack_debug_printf(stderr, "##ERR@%d\n", __LINE__); |
| 213 | ret = -QPACK_ERR_TOO_LARGE; |
| 214 | goto out; |
| 215 | } |
| 216 | |
Amaury Denoyelle | c5d31ed | 2022-06-14 17:34:53 +0200 | [diff] [blame] | 217 | /* parse field line representation */ |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 218 | efl_type = *raw & QPACK_EFL_BITMASK; |
| 219 | qpack_debug_printf(stderr, "efl_type=0x%02x\n", efl_type); |
Amaury Denoyelle | c5d31ed | 2022-06-14 17:34:53 +0200 | [diff] [blame] | 220 | |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 221 | if (efl_type == QPACK_LFL_WPBNM) { |
Amaury Denoyelle | 28d3c24 | 2022-06-14 16:36:15 +0200 | [diff] [blame] | 222 | /* Literal field line with post-base name reference |
| 223 | * |
| 224 | * TODO not implemented |
| 225 | * |
| 226 | * For the moment, this should never happen as |
| 227 | * currently we do not support dynamic table insertion |
| 228 | * and specify an empty table size. |
| 229 | */ |
| 230 | #if 0 |
Amaury Denoyelle | 18a10d0 | 2022-03-25 15:11:38 +0100 | [diff] [blame] | 231 | uint64_t index __maybe_unused, length; |
Amaury Denoyelle | d96361b | 2022-03-25 14:56:51 +0100 | [diff] [blame] | 232 | unsigned int n __maybe_unused, h __maybe_unused; |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 233 | |
| 234 | qpack_debug_printf(stderr, "literal field line with post-base name reference:"); |
| 235 | n = *raw & 0x08; |
| 236 | index = qpack_get_varint(&raw, &len, 3); |
| 237 | if (len == (uint64_t)-1) { |
| 238 | qpack_debug_printf(stderr, "##ERR@%d\n", __LINE__); |
| 239 | ret = -QPACK_ERR_TRUNCATED; |
| 240 | goto out; |
| 241 | } |
| 242 | |
| 243 | qpack_debug_printf(stderr, " n=%d index=%llu", !!n, (unsigned long long)index); |
| 244 | h = *raw & 0x80; |
| 245 | length = qpack_get_varint(&raw, &len, 7); |
| 246 | if (len == (uint64_t)-1) { |
| 247 | qpack_debug_printf(stderr, "##ERR@%d\n", __LINE__); |
| 248 | ret = -QPACK_ERR_TRUNCATED; |
| 249 | goto out; |
| 250 | } |
| 251 | |
| 252 | qpack_debug_printf(stderr, " h=%d length=%llu", !!h, (unsigned long long)length); |
Frédéric Lécaille | e629cfd | 2021-12-15 14:16:16 +0100 | [diff] [blame] | 253 | |
| 254 | if (len < length) { |
| 255 | qpack_debug_printf(stderr, "##ERR@%d\n", __LINE__); |
| 256 | ret = -QPACK_ERR_TRUNCATED; |
| 257 | goto out; |
| 258 | } |
| 259 | |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 260 | raw += length; |
| 261 | len -= length; |
Amaury Denoyelle | 28d3c24 | 2022-06-14 16:36:15 +0200 | [diff] [blame] | 262 | #endif |
| 263 | ABORT_NOW(); /* dynamic table not supported */ |
Amaury Denoyelle | fd7cdc3 | 2021-08-24 15:13:20 +0200 | [diff] [blame] | 264 | } |
| 265 | else if (efl_type == QPACK_IFL_WPBI) { |
Amaury Denoyelle | 28d3c24 | 2022-06-14 16:36:15 +0200 | [diff] [blame] | 266 | /* Indexed field line with post-base index |
| 267 | * |
| 268 | * TODO not implemented |
| 269 | * |
| 270 | * For the moment, this should never happen as |
| 271 | * currently we do not support dynamic table insertion |
| 272 | * and specify an empty table size. |
| 273 | */ |
| 274 | #if 0 |
Amaury Denoyelle | 18a10d0 | 2022-03-25 15:11:38 +0100 | [diff] [blame] | 275 | uint64_t index __maybe_unused; |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 276 | |
| 277 | qpack_debug_printf(stderr, "indexed field line with post-base index:"); |
| 278 | index = qpack_get_varint(&raw, &len, 4); |
| 279 | if (len == (uint64_t)-1) { |
| 280 | qpack_debug_printf(stderr, "##ERR@%d\n", __LINE__); |
| 281 | ret = -QPACK_ERR_TRUNCATED; |
| 282 | goto out; |
| 283 | } |
| 284 | |
| 285 | qpack_debug_printf(stderr, " index=%llu", (unsigned long long)index); |
Amaury Denoyelle | 28d3c24 | 2022-06-14 16:36:15 +0200 | [diff] [blame] | 286 | #endif |
| 287 | ABORT_NOW(); /* dynamic table not supported */ |
Amaury Denoyelle | fd7cdc3 | 2021-08-24 15:13:20 +0200 | [diff] [blame] | 288 | } |
| 289 | else if (efl_type & QPACK_IFL_BIT) { |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 290 | /* Indexed field line */ |
| 291 | uint64_t index; |
| 292 | unsigned int t; |
| 293 | |
| 294 | qpack_debug_printf(stderr, "indexed field line:"); |
| 295 | t = efl_type & 0x40; |
| 296 | index = qpack_get_varint(&raw, &len, 6); |
| 297 | if (len == (uint64_t)-1) { |
| 298 | qpack_debug_printf(stderr, "##ERR@%d\n", __LINE__); |
| 299 | ret = -QPACK_ERR_TRUNCATED; |
| 300 | goto out; |
| 301 | } |
| 302 | |
Amaury Denoyelle | b666c6b | 2022-06-14 17:17:07 +0200 | [diff] [blame] | 303 | if (t) { |
| 304 | name = qpack_sht[index].n; |
| 305 | value = qpack_sht[index].v; |
| 306 | } |
Amaury Denoyelle | fd7cdc3 | 2021-08-24 15:13:20 +0200 | [diff] [blame] | 307 | |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 308 | qpack_debug_printf(stderr, " t=%d index=%llu", !!t, (unsigned long long)index); |
Amaury Denoyelle | fd7cdc3 | 2021-08-24 15:13:20 +0200 | [diff] [blame] | 309 | } |
| 310 | else if (efl_type & QPACK_LFL_WNR_BIT) { |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 311 | /* Literal field line with name reference */ |
| 312 | uint64_t index, length; |
Amaury Denoyelle | 18a10d0 | 2022-03-25 15:11:38 +0100 | [diff] [blame] | 313 | unsigned int t, n __maybe_unused, h; |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 314 | |
| 315 | qpack_debug_printf(stderr, "Literal field line with name reference:"); |
| 316 | n = efl_type & 0x20; |
| 317 | t = efl_type & 0x10; |
| 318 | index = qpack_get_varint(&raw, &len, 4); |
| 319 | if (len == (uint64_t)-1) { |
| 320 | qpack_debug_printf(stderr, "##ERR@%d\n", __LINE__); |
| 321 | ret = -QPACK_ERR_TRUNCATED; |
| 322 | goto out; |
| 323 | } |
| 324 | |
Amaury Denoyelle | fd7cdc3 | 2021-08-24 15:13:20 +0200 | [diff] [blame] | 325 | if (t) |
Amaury Denoyelle | b666c6b | 2022-06-14 17:17:07 +0200 | [diff] [blame] | 326 | name = qpack_sht[index].n; |
Amaury Denoyelle | fd7cdc3 | 2021-08-24 15:13:20 +0200 | [diff] [blame] | 327 | |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 328 | qpack_debug_printf(stderr, " n=%d t=%d index=%llu", !!n, !!t, (unsigned long long)index); |
| 329 | h = *raw & 0x80; |
| 330 | length = qpack_get_varint(&raw, &len, 7); |
| 331 | if (len == (uint64_t)-1) { |
| 332 | qpack_debug_printf(stderr, "##ERR@%d\n", __LINE__); |
| 333 | ret = -QPACK_ERR_TRUNCATED; |
| 334 | goto out; |
| 335 | } |
| 336 | |
| 337 | qpack_debug_printf(stderr, " h=%d length=%llu", !!h, (unsigned long long)length); |
| 338 | if (h) { |
| 339 | char *trash; |
| 340 | int nlen; |
| 341 | |
| 342 | trash = chunk_newstr(tmp); |
| 343 | if (!trash) { |
| 344 | qpack_debug_printf(stderr, "##ERR@%d\n", __LINE__); |
| 345 | ret = -QPACK_DECOMPRESSION_FAILED; |
| 346 | goto out; |
| 347 | } |
| 348 | nlen = huff_dec(raw, length, trash, tmp->size - tmp->data); |
| 349 | if (nlen == (uint32_t)-1) { |
| 350 | qpack_debug_printf(stderr, " can't decode huffman.\n"); |
| 351 | ret = -QPACK_ERR_HUFFMAN; |
| 352 | goto out; |
| 353 | } |
| 354 | |
| 355 | qpack_debug_printf(stderr, " [name huff %d->%d '%s']", (int)length, (int)nlen, trash); |
Amaury Denoyelle | 9c8c4fa | 2021-09-30 17:14:55 +0200 | [diff] [blame] | 356 | /* makes an ist from tmp storage */ |
| 357 | b_add(tmp, nlen); |
Amaury Denoyelle | b666c6b | 2022-06-14 17:17:07 +0200 | [diff] [blame] | 358 | value = ist2(trash, nlen); |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 359 | } |
Amaury Denoyelle | 7d3aea5 | 2021-11-24 16:04:03 +0100 | [diff] [blame] | 360 | else { |
Amaury Denoyelle | b666c6b | 2022-06-14 17:17:07 +0200 | [diff] [blame] | 361 | value = ist2(raw, length); |
Amaury Denoyelle | 7d3aea5 | 2021-11-24 16:04:03 +0100 | [diff] [blame] | 362 | } |
| 363 | |
Frédéric Lécaille | e629cfd | 2021-12-15 14:16:16 +0100 | [diff] [blame] | 364 | if (len < length) { |
| 365 | qpack_debug_printf(stderr, "##ERR@%d\n", __LINE__); |
| 366 | ret = -QPACK_ERR_TRUNCATED; |
| 367 | goto out; |
| 368 | } |
| 369 | |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 370 | raw += length; |
| 371 | len -= length; |
Amaury Denoyelle | fd7cdc3 | 2021-08-24 15:13:20 +0200 | [diff] [blame] | 372 | } |
| 373 | else if (efl_type & QPACK_LFL_WLN_BIT) { |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 374 | /* Literal field line with literal name */ |
Amaury Denoyelle | 4bcaf69 | 2022-06-14 16:34:55 +0200 | [diff] [blame] | 375 | unsigned int n __maybe_unused, hname, hvalue; |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 376 | uint64_t name_len, value_len; |
| 377 | |
| 378 | qpack_debug_printf(stderr, "Literal field line with literal name:"); |
| 379 | n = *raw & 0x10; |
| 380 | hname = *raw & 0x08; |
| 381 | name_len = qpack_get_varint(&raw, &len, 3); |
| 382 | if (len == (uint64_t)-1) { |
| 383 | qpack_debug_printf(stderr, "##ERR@%d\n", __LINE__); |
| 384 | ret = -QPACK_ERR_TRUNCATED; |
| 385 | goto out; |
| 386 | } |
| 387 | |
Amaury Denoyelle | ab9cec7 | 2022-02-14 14:45:10 +0100 | [diff] [blame] | 388 | qpack_debug_printf(stderr, " n=%d hname=%d name_len=%llu", !!n, !!hname, (unsigned long long)name_len); |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 389 | /* Name string */ |
Frédéric Lécaille | e629cfd | 2021-12-15 14:16:16 +0100 | [diff] [blame] | 390 | |
| 391 | if (len < name_len) { |
| 392 | qpack_debug_printf(stderr, "##ERR@%d\n", __LINE__); |
| 393 | ret = -QPACK_ERR_TRUNCATED; |
| 394 | goto out; |
| 395 | } |
| 396 | |
Amaury Denoyelle | 4bcaf69 | 2022-06-14 16:34:55 +0200 | [diff] [blame] | 397 | if (hname) { |
| 398 | char *trash; |
| 399 | int nlen; |
| 400 | |
| 401 | trash = chunk_newstr(tmp); |
| 402 | if (!trash) { |
| 403 | qpack_debug_printf(stderr, "##ERR@%d\n", __LINE__); |
| 404 | ret = -QPACK_DECOMPRESSION_FAILED; |
| 405 | goto out; |
| 406 | } |
| 407 | nlen = huff_dec(raw, name_len, trash, tmp->size - tmp->data); |
| 408 | if (nlen == (uint32_t)-1) { |
| 409 | qpack_debug_printf(stderr, " can't decode huffman.\n"); |
| 410 | ret = -QPACK_ERR_HUFFMAN; |
| 411 | goto out; |
| 412 | } |
| 413 | |
| 414 | qpack_debug_printf(stderr, " [name huff %d->%d '%s']", (int)name_len, (int)nlen, trash); |
| 415 | /* makes an ist from tmp storage */ |
| 416 | b_add(tmp, nlen); |
Amaury Denoyelle | b666c6b | 2022-06-14 17:17:07 +0200 | [diff] [blame] | 417 | name = ist2(trash, nlen); |
Amaury Denoyelle | 4bcaf69 | 2022-06-14 16:34:55 +0200 | [diff] [blame] | 418 | } |
| 419 | else { |
Amaury Denoyelle | b666c6b | 2022-06-14 17:17:07 +0200 | [diff] [blame] | 420 | name = ist2(raw, name_len); |
Amaury Denoyelle | 4bcaf69 | 2022-06-14 16:34:55 +0200 | [diff] [blame] | 421 | } |
| 422 | |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 423 | raw += name_len; |
| 424 | len -= name_len; |
Amaury Denoyelle | b666c6b | 2022-06-14 17:17:07 +0200 | [diff] [blame] | 425 | |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 426 | hvalue = *raw & 0x80; |
| 427 | value_len = qpack_get_varint(&raw, &len, 7); |
| 428 | if (len == (uint64_t)-1) { |
| 429 | qpack_debug_printf(stderr, "##ERR@%d\n", __LINE__); |
| 430 | ret = -QPACK_ERR_TRUNCATED; |
| 431 | goto out; |
| 432 | } |
| 433 | |
| 434 | qpack_debug_printf(stderr, " hvalue=%d value_len=%llu", !!hvalue, (unsigned long long)value_len); |
| 435 | |
Frédéric Lécaille | e629cfd | 2021-12-15 14:16:16 +0100 | [diff] [blame] | 436 | if (len < value_len) { |
| 437 | qpack_debug_printf(stderr, "##ERR@%d\n", __LINE__); |
| 438 | ret = -QPACK_ERR_TRUNCATED; |
| 439 | goto out; |
| 440 | } |
| 441 | |
Amaury Denoyelle | 4bcaf69 | 2022-06-14 16:34:55 +0200 | [diff] [blame] | 442 | if (hvalue) { |
| 443 | char *trash; |
| 444 | int nlen; |
| 445 | |
| 446 | trash = chunk_newstr(tmp); |
| 447 | if (!trash) { |
| 448 | qpack_debug_printf(stderr, "##ERR@%d\n", __LINE__); |
| 449 | ret = -QPACK_DECOMPRESSION_FAILED; |
| 450 | goto out; |
| 451 | } |
| 452 | nlen = huff_dec(raw, value_len, trash, tmp->size - tmp->data); |
| 453 | if (nlen == (uint32_t)-1) { |
| 454 | qpack_debug_printf(stderr, " can't decode huffman.\n"); |
| 455 | ret = -QPACK_ERR_HUFFMAN; |
| 456 | goto out; |
| 457 | } |
| 458 | |
| 459 | qpack_debug_printf(stderr, " [name huff %d->%d '%s']", (int)value_len, (int)nlen, trash); |
| 460 | /* makes an ist from tmp storage */ |
| 461 | b_add(tmp, nlen); |
Amaury Denoyelle | b666c6b | 2022-06-14 17:17:07 +0200 | [diff] [blame] | 462 | value = ist2(trash, nlen); |
Amaury Denoyelle | 4bcaf69 | 2022-06-14 16:34:55 +0200 | [diff] [blame] | 463 | } |
| 464 | else { |
Amaury Denoyelle | b666c6b | 2022-06-14 17:17:07 +0200 | [diff] [blame] | 465 | value = ist2(raw, value_len); |
Amaury Denoyelle | 4bcaf69 | 2022-06-14 16:34:55 +0200 | [diff] [blame] | 466 | } |
| 467 | |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 468 | raw += value_len; |
| 469 | len -= value_len; |
| 470 | } |
Amaury Denoyelle | b666c6b | 2022-06-14 17:17:07 +0200 | [diff] [blame] | 471 | |
| 472 | list[hdr_idx].n = name; |
| 473 | list[hdr_idx].v = value; |
| 474 | ++hdr_idx; |
| 475 | |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 476 | qpack_debug_printf(stderr, "\n"); |
| 477 | } |
| 478 | |
Amaury Denoyelle | 60ef19f | 2022-06-14 17:38:36 +0200 | [diff] [blame] | 479 | if (hdr_idx >= list_size) { |
| 480 | qpack_debug_printf(stderr, "##ERR@%d\n", __LINE__); |
| 481 | ret = -QPACK_ERR_TOO_LARGE; |
| 482 | goto out; |
| 483 | } |
| 484 | |
Amaury Denoyelle | fd7cdc3 | 2021-08-24 15:13:20 +0200 | [diff] [blame] | 485 | /* put an end marker */ |
| 486 | list[hdr_idx].n = list[hdr_idx].v = IST_NULL; |
Amaury Denoyelle | b666c6b | 2022-06-14 17:17:07 +0200 | [diff] [blame] | 487 | ret = hdr_idx; |
Amaury Denoyelle | fd7cdc3 | 2021-08-24 15:13:20 +0200 | [diff] [blame] | 488 | |
Frédéric Lécaille | b4672fb | 2021-03-03 16:13:10 +0100 | [diff] [blame] | 489 | out: |
| 490 | qpack_debug_printf(stderr, "-- done: ret=%d\n", ret); |
| 491 | return ret; |
| 492 | } |