Coverage Report

Created: 2026-01-17 06:57

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/http-parser/http_parser.c
Line
Count
Source
1
/* Copyright Joyent, Inc. and other Node contributors.
2
 *
3
 * Permission is hereby granted, free of charge, to any person obtaining a copy
4
 * of this software and associated documentation files (the "Software"), to
5
 * deal in the Software without restriction, including without limitation the
6
 * rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
7
 * sell copies of the Software, and to permit persons to whom the Software is
8
 * furnished to do so, subject to the following conditions:
9
 *
10
 * The above copyright notice and this permission notice shall be included in
11
 * all copies or substantial portions of the Software.
12
 *
13
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
14
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
15
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
16
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
17
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
18
 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
19
 * IN THE SOFTWARE.
20
 */
21
#include "http_parser.h"
22
#include <assert.h>
23
#include <stddef.h>
24
#include <ctype.h>
25
#include <string.h>
26
#include <limits.h>
27
28
static uint32_t max_header_size = HTTP_MAX_HEADER_SIZE;
29
30
#ifndef ULLONG_MAX
31
# define ULLONG_MAX ((uint64_t) -1) /* 2^64-1 */
32
#endif
33
34
#ifndef MIN
35
105k
# define MIN(a,b) ((a) < (b) ? (a) : (b))
36
#endif
37
38
#ifndef ARRAY_SIZE
39
0
# define ARRAY_SIZE(a) (sizeof(a) / sizeof((a)[0]))
40
#endif
41
42
#ifndef BIT_AT
43
# define BIT_AT(a, i)                                                \
44
9.70k
  (!!((unsigned int) (a)[(unsigned int) (i) >> 3] &                  \
45
9.70k
   (1 << ((unsigned int) (i) & 7))))
46
#endif
47
48
#ifndef ELEM_AT
49
0
# define ELEM_AT(a, i, v) ((unsigned int) (i) < ARRAY_SIZE(a) ? (a)[(i)] : (v))
50
#endif
51
52
1.02k
#define SET_ERRNO(e)                                                 \
53
1.02k
do {                                                                 \
54
1.02k
  parser->nread = nread;                                             \
55
1.02k
  parser->http_errno = (e);                                          \
56
1.02k
} while(0)
57
58
844k
#define CURRENT_STATE() p_state
59
724k
#define UPDATE_STATE(V) p_state = (enum state) (V);
60
4.18k
#define RETURN(V)                                                    \
61
4.18k
do {                                                                 \
62
4.18k
  parser->nread = nread;                                             \
63
4.18k
  parser->state = CURRENT_STATE();                                   \
64
4.18k
  return (V);                                                        \
65
4.18k
} while (0);
66
#define REEXECUTE()                                                  \
67
170k
  goto reexecute;                                                    \
68
69
70
#ifdef __GNUC__
71
262k
# define LIKELY(X) __builtin_expect(!!(X), 1)
72
1.05M
# define UNLIKELY(X) __builtin_expect(!!(X), 0)
73
#else
74
# define LIKELY(X) (X)
75
# define UNLIKELY(X) (X)
76
#endif
77
78
79
/* Run the notify callback FOR, returning ER if it fails */
80
31.7k
#define CALLBACK_NOTIFY_(FOR, ER)                                    \
81
31.7k
do {                                                                 \
82
31.7k
  assert(HTTP_PARSER_ERRNO(parser) == HPE_OK);                       \
83
31.7k
                                                                     \
84
31.7k
  if (LIKELY(settings->on_##FOR)) {                                  \
85
0
    parser->state = CURRENT_STATE();                                 \
86
0
    if (UNLIKELY(0 != settings->on_##FOR(parser))) {                 \
87
0
      SET_ERRNO(HPE_CB_##FOR);                                       \
88
0
    }                                                                \
89
0
    UPDATE_STATE(parser->state);                                     \
90
0
                                                                     \
91
0
    /* We either errored above or got paused; get out */             \
92
0
    if (UNLIKELY(HTTP_PARSER_ERRNO(parser) != HPE_OK)) {             \
93
0
      return (ER);                                                   \
94
0
    }                                                                \
95
0
  }                                                                  \
96
31.7k
} while (0)
97
98
/* Run the notify callback FOR and consume the current byte */
99
31.3k
#define CALLBACK_NOTIFY(FOR)            CALLBACK_NOTIFY_(FOR, p - data + 1)
100
101
/* Run the notify callback FOR and don't consume the current byte */
102
319
#define CALLBACK_NOTIFY_NOADVANCE(FOR)  CALLBACK_NOTIFY_(FOR, p - data)
103
104
/* Run data callback FOR with LEN bytes, returning ER if it fails */
105
244k
#define CALLBACK_DATA_(FOR, LEN, ER)                                 \
106
244k
do {                                                                 \
107
244k
  assert(HTTP_PARSER_ERRNO(parser) == HPE_OK);                       \
108
244k
                                                                     \
109
244k
  if (FOR##_mark) {                                                  \
110
230k
    if (LIKELY(settings->on_##FOR)) {                                \
111
0
      parser->state = CURRENT_STATE();                               \
112
0
      if (UNLIKELY(0 !=                                              \
113
0
                   settings->on_##FOR(parser, FOR##_mark, (LEN)))) { \
114
0
        SET_ERRNO(HPE_CB_##FOR);                                     \
115
0
      }                                                              \
116
0
      UPDATE_STATE(parser->state);                                   \
117
0
                                                                     \
118
0
      /* We either errored above or got paused; get out */           \
119
0
      if (UNLIKELY(HTTP_PARSER_ERRNO(parser) != HPE_OK)) {           \
120
0
        return (ER);                                                 \
121
0
      }                                                              \
122
0
    }                                                                \
123
230k
    FOR##_mark = NULL;                                               \
124
230k
  }                                                                  \
125
244k
} while (0)
126
127
/* Run the data callback FOR and consume the current byte */
128
#define CALLBACK_DATA(FOR)                                           \
129
109k
    CALLBACK_DATA_(FOR, p - FOR##_mark, p - data + 1)
130
131
/* Run the data callback FOR and don't consume the current byte */
132
#define CALLBACK_DATA_NOADVANCE(FOR)                                 \
133
135k
    CALLBACK_DATA_(FOR, p - FOR##_mark, p - data)
134
135
/* Set the mark FOR; non-destructive if mark is already set */
136
231k
#define MARK(FOR)                                                    \
137
231k
do {                                                                 \
138
231k
  if (!FOR##_mark) {                                                 \
139
231k
    FOR##_mark = p;                                                  \
140
231k
  }                                                                  \
141
231k
} while (0)
142
143
/* Don't allow the total size of the HTTP headers (including the status
144
 * line) to exceed max_header_size.  This check is here to protect
145
 * embedders against denial-of-service attacks where the attacker feeds
146
 * us a never-ending header that the embedder keeps buffering.
147
 *
148
 * This check is arguably the responsibility of embedders but we're doing
149
 * it on the embedder's behalf because most won't bother and this way we
150
 * make the web a little safer.  max_header_size is still far bigger
151
 * than any reasonable request or response so this should never affect
152
 * day-to-day operation.
153
 */
154
761k
#define COUNT_HEADER_SIZE(V)                                         \
155
761k
do {                                                                 \
156
761k
  nread += (uint32_t)(V);                                            \
157
761k
  if (UNLIKELY(nread > max_header_size)) {                           \
158
114
    SET_ERRNO(HPE_HEADER_OVERFLOW);                                  \
159
114
    goto error;                                                      \
160
114
  }                                                                  \
161
761k
} while (0)
162
163
164
17.7k
#define PROXY_CONNECTION "proxy-connection"
165
244k
#define CONNECTION "connection"
166
67.8k
#define CONTENT_LENGTH "content-length"
167
222k
#define TRANSFER_ENCODING "transfer-encoding"
168
140k
#define UPGRADE "upgrade"
169
43.6k
#define CHUNKED "chunked"
170
161k
#define KEEP_ALIVE "keep-alive"
171
123k
#define CLOSE "close"
172
173
174
static const char *method_strings[] =
175
  {
176
#define XX(num, name, string) #string,
177
  HTTP_METHOD_MAP(XX)
178
#undef XX
179
  };
180
181
182
/* Tokens as defined by rfc 2616. Also lowercases them.
183
 *        token       = 1*<any CHAR except CTLs or separators>
184
 *     separators     = "(" | ")" | "<" | ">" | "@"
185
 *                    | "," | ";" | ":" | "\" | <">
186
 *                    | "/" | "[" | "]" | "?" | "="
187
 *                    | "{" | "}" | SP | HT
188
 */
189
static const char tokens[256] = {
190
/*   0 nul    1 soh    2 stx    3 etx    4 eot    5 enq    6 ack    7 bel  */
191
        0,       0,       0,       0,       0,       0,       0,       0,
192
/*   8 bs     9 ht    10 nl    11 vt    12 np    13 cr    14 so    15 si   */
193
        0,       0,       0,       0,       0,       0,       0,       0,
194
/*  16 dle   17 dc1   18 dc2   19 dc3   20 dc4   21 nak   22 syn   23 etb */
195
        0,       0,       0,       0,       0,       0,       0,       0,
196
/*  24 can   25 em    26 sub   27 esc   28 fs    29 gs    30 rs    31 us  */
197
        0,       0,       0,       0,       0,       0,       0,       0,
198
/*  32 sp    33  !    34  "    35  #    36  $    37  %    38  &    39  '  */
199
       ' ',     '!',      0,      '#',     '$',     '%',     '&',    '\'',
200
/*  40  (    41  )    42  *    43  +    44  ,    45  -    46  .    47  /  */
201
        0,       0,      '*',     '+',      0,      '-',     '.',      0,
202
/*  48  0    49  1    50  2    51  3    52  4    53  5    54  6    55  7  */
203
       '0',     '1',     '2',     '3',     '4',     '5',     '6',     '7',
204
/*  56  8    57  9    58  :    59  ;    60  <    61  =    62  >    63  ?  */
205
       '8',     '9',      0,       0,       0,       0,       0,       0,
206
/*  64  @    65  A    66  B    67  C    68  D    69  E    70  F    71  G  */
207
        0,      'a',     'b',     'c',     'd',     'e',     'f',     'g',
208
/*  72  H    73  I    74  J    75  K    76  L    77  M    78  N    79  O  */
209
       'h',     'i',     'j',     'k',     'l',     'm',     'n',     'o',
210
/*  80  P    81  Q    82  R    83  S    84  T    85  U    86  V    87  W  */
211
       'p',     'q',     'r',     's',     't',     'u',     'v',     'w',
212
/*  88  X    89  Y    90  Z    91  [    92  \    93  ]    94  ^    95  _  */
213
       'x',     'y',     'z',      0,       0,       0,      '^',     '_',
214
/*  96  `    97  a    98  b    99  c   100  d   101  e   102  f   103  g  */
215
       '`',     'a',     'b',     'c',     'd',     'e',     'f',     'g',
216
/* 104  h   105  i   106  j   107  k   108  l   109  m   110  n   111  o  */
217
       'h',     'i',     'j',     'k',     'l',     'm',     'n',     'o',
218
/* 112  p   113  q   114  r   115  s   116  t   117  u   118  v   119  w  */
219
       'p',     'q',     'r',     's',     't',     'u',     'v',     'w',
220
/* 120  x   121  y   122  z   123  {   124  |   125  }   126  ~   127 del */
221
       'x',     'y',     'z',      0,      '|',      0,      '~',       0 };
222
223
224
static const int8_t unhex[256] =
225
  {-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1
226
  ,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1
227
  ,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1
228
  , 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,-1,-1,-1,-1,-1,-1
229
  ,-1,10,11,12,13,14,15,-1,-1,-1,-1,-1,-1,-1,-1,-1
230
  ,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1
231
  ,-1,10,11,12,13,14,15,-1,-1,-1,-1,-1,-1,-1,-1,-1
232
  ,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1
233
  };
234
235
236
#if HTTP_PARSER_STRICT
237
# define T(v) 0
238
#else
239
# define T(v) v
240
#endif
241
242
243
static const uint8_t normal_url_char[32] = {
244
/*   0 nul    1 soh    2 stx    3 etx    4 eot    5 enq    6 ack    7 bel  */
245
        0    |   0    |   0    |   0    |   0    |   0    |   0    |   0,
246
/*   8 bs     9 ht    10 nl    11 vt    12 np    13 cr    14 so    15 si   */
247
        0    | T(2)   |   0    |   0    | T(16)  |   0    |   0    |   0,
248
/*  16 dle   17 dc1   18 dc2   19 dc3   20 dc4   21 nak   22 syn   23 etb */
249
        0    |   0    |   0    |   0    |   0    |   0    |   0    |   0,
250
/*  24 can   25 em    26 sub   27 esc   28 fs    29 gs    30 rs    31 us  */
251
        0    |   0    |   0    |   0    |   0    |   0    |   0    |   0,
252
/*  32 sp    33  !    34  "    35  #    36  $    37  %    38  &    39  '  */
253
        0    |   2    |   4    |   0    |   16   |   32   |   64   |  128,
254
/*  40  (    41  )    42  *    43  +    44  ,    45  -    46  .    47  /  */
255
        1    |   2    |   4    |   8    |   16   |   32   |   64   |  128,
256
/*  48  0    49  1    50  2    51  3    52  4    53  5    54  6    55  7  */
257
        1    |   2    |   4    |   8    |   16   |   32   |   64   |  128,
258
/*  56  8    57  9    58  :    59  ;    60  <    61  =    62  >    63  ?  */
259
        1    |   2    |   4    |   8    |   16   |   32   |   64   |   0,
260
/*  64  @    65  A    66  B    67  C    68  D    69  E    70  F    71  G  */
261
        1    |   2    |   4    |   8    |   16   |   32   |   64   |  128,
262
/*  72  H    73  I    74  J    75  K    76  L    77  M    78  N    79  O  */
263
        1    |   2    |   4    |   8    |   16   |   32   |   64   |  128,
264
/*  80  P    81  Q    82  R    83  S    84  T    85  U    86  V    87  W  */
265
        1    |   2    |   4    |   8    |   16   |   32   |   64   |  128,
266
/*  88  X    89  Y    90  Z    91  [    92  \    93  ]    94  ^    95  _  */
267
        1    |   2    |   4    |   8    |   16   |   32   |   64   |  128,
268
/*  96  `    97  a    98  b    99  c   100  d   101  e   102  f   103  g  */
269
        1    |   2    |   4    |   8    |   16   |   32   |   64   |  128,
270
/* 104  h   105  i   106  j   107  k   108  l   109  m   110  n   111  o  */
271
        1    |   2    |   4    |   8    |   16   |   32   |   64   |  128,
272
/* 112  p   113  q   114  r   115  s   116  t   117  u   118  v   119  w  */
273
        1    |   2    |   4    |   8    |   16   |   32   |   64   |  128,
274
/* 120  x   121  y   122  z   123  {   124  |   125  }   126  ~   127 del */
275
        1    |   2    |   4    |   8    |   16   |   32   |   64   |   0, };
276
277
#undef T
278
279
enum state
280
  { s_dead = 1 /* important that this is > 0 */
281
282
  , s_start_req_or_res
283
  , s_res_or_resp_H
284
  , s_start_res
285
  , s_res_H
286
  , s_res_HT
287
  , s_res_HTT
288
  , s_res_HTTP
289
  , s_res_http_major
290
  , s_res_http_dot
291
  , s_res_http_minor
292
  , s_res_http_end
293
  , s_res_first_status_code
294
  , s_res_status_code
295
  , s_res_status_start
296
  , s_res_status
297
  , s_res_line_almost_done
298
299
  , s_start_req
300
301
  , s_req_method
302
  , s_req_spaces_before_url
303
  , s_req_schema
304
  , s_req_schema_slash
305
  , s_req_schema_slash_slash
306
  , s_req_server_start
307
  , s_req_server
308
  , s_req_server_with_at
309
  , s_req_path
310
  , s_req_query_string_start
311
  , s_req_query_string
312
  , s_req_fragment_start
313
  , s_req_fragment
314
  , s_req_http_start
315
  , s_req_http_H
316
  , s_req_http_HT
317
  , s_req_http_HTT
318
  , s_req_http_HTTP
319
  , s_req_http_I
320
  , s_req_http_IC
321
  , s_req_http_major
322
  , s_req_http_dot
323
  , s_req_http_minor
324
  , s_req_http_end
325
  , s_req_line_almost_done
326
327
  , s_header_field_start
328
  , s_header_field
329
  , s_header_value_discard_ws
330
  , s_header_value_discard_ws_almost_done
331
  , s_header_value_discard_lws
332
  , s_header_value_start
333
  , s_header_value
334
  , s_header_value_lws
335
336
  , s_header_almost_done
337
338
  , s_chunk_size_start
339
  , s_chunk_size
340
  , s_chunk_parameters
341
  , s_chunk_size_almost_done
342
343
  , s_headers_almost_done
344
  , s_headers_done
345
346
  /* Important: 's_headers_done' must be the last 'header' state. All
347
   * states beyond this must be 'body' states. It is used for overflow
348
   * checking. See the PARSING_HEADER() macro.
349
   */
350
351
  , s_chunk_data
352
  , s_chunk_data_almost_done
353
  , s_chunk_data_done
354
355
  , s_body_identity
356
  , s_body_identity_eof
357
358
  , s_message_done
359
  };
360
361
362
607k
#define PARSING_HEADER(state) (state <= s_headers_done)
363
364
365
enum header_states
366
  { h_general = 0
367
  , h_C
368
  , h_CO
369
  , h_CON
370
371
  , h_matching_connection
372
  , h_matching_proxy_connection
373
  , h_matching_content_length
374
  , h_matching_transfer_encoding
375
  , h_matching_upgrade
376
377
  , h_connection
378
  , h_content_length
379
  , h_content_length_num
380
  , h_content_length_ws
381
  , h_transfer_encoding
382
  , h_upgrade
383
384
  , h_matching_transfer_encoding_token_start
385
  , h_matching_transfer_encoding_chunked
386
  , h_matching_transfer_encoding_token
387
388
  , h_matching_connection_token_start
389
  , h_matching_connection_keep_alive
390
  , h_matching_connection_close
391
  , h_matching_connection_upgrade
392
  , h_matching_connection_token
393
394
  , h_transfer_encoding_chunked
395
  , h_connection_keep_alive
396
  , h_connection_close
397
  , h_connection_upgrade
398
  };
399
400
enum http_host_state
401
  {
402
    s_http_host_dead = 1
403
  , s_http_userinfo_start
404
  , s_http_userinfo
405
  , s_http_host_start
406
  , s_http_host_v6_start
407
  , s_http_host
408
  , s_http_host_v6
409
  , s_http_host_v6_end
410
  , s_http_host_v6_zone_start
411
  , s_http_host_v6_zone
412
  , s_http_host_port_start
413
  , s_http_host_port
414
};
415
416
/* Macros for character classes; depends on strict-mode  */
417
64.1M
#define CR                  '\r'
418
49.9M
#define LF                  '\n'
419
2.40M
#define LOWER(c)            (unsigned char)(c | 0x20)
420
11.8k
#define IS_ALPHA(c)         (LOWER(c) >= 'a' && LOWER(c) <= 'z')
421
12.9k
#define IS_NUM(c)           ((c) >= '0' && (c) <= '9')
422
9.64k
#define IS_ALPHANUM(c)      (IS_ALPHA(c) || IS_NUM(c))
423
0
#define IS_HEX(c)           (IS_NUM(c) || (LOWER(c) >= 'a' && LOWER(c) <= 'f'))
424
8.96k
#define IS_MARK(c)          ((c) == '-' || (c) == '_' || (c) == '.' || \
425
4.14k
  (c) == '!' || (c) == '~' || (c) == '*' || (c) == '\'' || (c) == '(' || \
426
8.96k
  (c) == ')')
427
9.64k
#define IS_USERINFO_CHAR(c) (IS_ALPHANUM(c) || IS_MARK(c) || (c) == '%' || \
428
4.82k
  (c) == ';' || (c) == ':' || (c) == '&' || (c) == '=' || (c) == '+' || \
429
4.82k
  (c) == '$' || (c) == ',')
430
431
30.1k
#define STRICT_TOKEN(c)     ((c == ' ') ? 0 : tokens[(unsigned char)c])
432
433
#if HTTP_PARSER_STRICT
434
#define TOKEN(c)            STRICT_TOKEN(c)
435
#define IS_URL_CHAR(c)      (BIT_AT(normal_url_char, (unsigned char)c))
436
#define IS_HOST_CHAR(c)     (IS_ALPHANUM(c) || (c) == '.' || (c) == '-')
437
#else
438
6.69M
#define TOKEN(c)            tokens[(unsigned char)c]
439
#define IS_URL_CHAR(c)                                                         \
440
4.85k
  (BIT_AT(normal_url_char, (unsigned char)c) || ((c) & 0x80))
441
#define IS_HOST_CHAR(c)                                                        \
442
0
  (IS_ALPHANUM(c) || (c) == '.' || (c) == '-' || (c) == '_')
443
#endif
444
445
/**
446
 * Verify that a char is a valid visible (printable) US-ASCII
447
 * character or %x80-FF
448
 **/
449
#define IS_HEADER_CHAR(ch)                                                     \
450
16.5M
  (ch == CR || ch == LF || ch == 9 || ((unsigned char)ch > 31 && ch != 127))
451
452
#define start_state (parser->type == HTTP_REQUEST ? s_start_req : s_start_res)
453
454
455
#if HTTP_PARSER_STRICT
456
# define STRICT_CHECK(cond)                                          \
457
do {                                                                 \
458
  if (cond) {                                                        \
459
    SET_ERRNO(HPE_STRICT);                                           \
460
    goto error;                                                      \
461
  }                                                                  \
462
} while (0)
463
# define NEW_MESSAGE() (http_should_keep_alive(parser) ? start_state : s_dead)
464
#else
465
# define STRICT_CHECK(cond)
466
# define NEW_MESSAGE() start_state
467
#endif
468
469
470
/* Map errno values to strings for human-readable output */
471
#define HTTP_STRERROR_GEN(n, s) { "HPE_" #n, s },
472
static struct {
473
  const char *name;
474
  const char *description;
475
} http_strerror_tab[] = {
476
  HTTP_ERRNO_MAP(HTTP_STRERROR_GEN)
477
};
478
#undef HTTP_STRERROR_GEN
479
480
int http_message_needs_eof(const http_parser *parser);
481
482
/* Our URL parser.
483
 *
484
 * This is designed to be shared by http_parser_execute() for URL validation,
485
 * hence it has a state transition + byte-for-byte interface. In addition, it
486
 * is meant to be embedded in http_parser_parse_url(), which does the dirty
487
 * work of turning state transitions URL components for its API.
488
 *
489
 * This function should only be invoked with non-space characters. It is
490
 * assumed that the caller cares about (and can detect) the transition between
491
 * URL and non-URL states by looking for these.
492
 */
493
static enum state
494
parse_url_char(enum state s, const char ch)
495
27.1k
{
496
27.1k
  if (ch == ' ' || ch == '\r' || ch == '\n') {
497
5
    return s_dead;
498
5
  }
499
500
#if HTTP_PARSER_STRICT
501
  if (ch == '\t' || ch == '\f') {
502
    return s_dead;
503
  }
504
#endif
505
506
27.1k
  switch (s) {
507
13.5k
    case s_req_spaces_before_url:
508
      /* Proxied requests are followed by scheme of an absolute URI (alpha).
509
       * All methods except CONNECT are followed by '/' or '*'.
510
       */
511
512
13.5k
      if (ch == '/' || ch == '*') {
513
12.4k
        return s_req_path;
514
12.4k
      }
515
516
1.02k
      if (IS_ALPHA(ch)) {
517
986
        return s_req_schema;
518
986
      }
519
520
34
      break;
521
522
1.15k
    case s_req_schema:
523
1.15k
      if (IS_ALPHA(ch)) {
524
203
        return s;
525
203
      }
526
527
956
      if (ch == ':') {
528
938
        return s_req_schema_slash;
529
938
      }
530
531
18
      break;
532
533
935
    case s_req_schema_slash:
534
935
      if (ch == '/') {
535
923
        return s_req_schema_slash_slash;
536
923
      }
537
538
12
      break;
539
540
916
    case s_req_schema_slash_slash:
541
916
      if (ch == '/') {
542
904
        return s_req_server_start;
543
904
      }
544
545
12
      break;
546
547
276
    case s_req_server_with_at:
548
276
      if (ch == '@') {
549
1
        return s_dead;
550
1
      }
551
552
    /* fall through */
553
1.18k
    case s_req_server_start:
554
5.73k
    case s_req_server:
555
5.73k
      if (ch == '/') {
556
203
        return s_req_path;
557
203
      }
558
559
5.53k
      if (ch == '?') {
560
432
        return s_req_query_string_start;
561
432
      }
562
563
5.10k
      if (ch == '@') {
564
280
        return s_req_server_with_at;
565
280
      }
566
567
4.82k
      if (IS_USERINFO_CHAR(ch) || ch == '[' || ch == ']') {
568
4.78k
        return s_req_server;
569
4.78k
      }
570
571
43
      break;
572
573
1.64k
    case s_req_path:
574
1.64k
      if (IS_URL_CHAR(ch)) {
575
584
        return s;
576
584
      }
577
578
1.06k
      switch (ch) {
579
551
        case '?':
580
551
          return s_req_query_string_start;
581
582
503
        case '#':
583
503
          return s_req_fragment_start;
584
1.06k
      }
585
586
8
      break;
587
588
356
    case s_req_query_string_start:
589
1.48k
    case s_req_query_string:
590
1.48k
      if (IS_URL_CHAR(ch)) {
591
1.06k
        return s_req_query_string;
592
1.06k
      }
593
594
427
      switch (ch) {
595
211
        case '?':
596
          /* allow extra '?' in query string */
597
211
          return s_req_query_string;
598
599
201
        case '#':
600
201
          return s_req_fragment_start;
601
427
      }
602
603
15
      break;
604
605
759
    case s_req_fragment_start:
606
759
      if (IS_URL_CHAR(ch)) {
607
459
        return s_req_fragment;
608
459
      }
609
610
300
      switch (ch) {
611
74
        case '?':
612
74
          return s_req_fragment;
613
614
216
        case '#':
615
216
          return s;
616
300
      }
617
618
10
      break;
619
620
959
    case s_req_fragment:
621
959
      if (IS_URL_CHAR(ch)) {
622
677
        return s;
623
677
      }
624
625
282
      switch (ch) {
626
163
        case '?':
627
272
        case '#':
628
272
          return s;
629
282
      }
630
631
10
      break;
632
633
10
    default:
634
0
      break;
635
27.1k
  }
636
637
  /* We should never fall out of the switch above unless there's an error */
638
162
  return s_dead;
639
27.1k
}
640
641
size_t http_parser_execute (http_parser *parser,
642
                            const http_parser_settings *settings,
643
                            const char *data,
644
                            size_t len)
645
4.18k
{
646
4.18k
  char c, ch;
647
4.18k
  int8_t unhex_val;
648
4.18k
  const char *p = data;
649
4.18k
  const char *header_field_mark = 0;
650
4.18k
  const char *header_value_mark = 0;
651
4.18k
  const char *url_mark = 0;
652
4.18k
  const char *body_mark = 0;
653
4.18k
  const char *status_mark = 0;
654
4.18k
  enum state p_state = (enum state) parser->state;
655
4.18k
  const unsigned int lenient = parser->lenient_http_headers;
656
4.18k
  const unsigned int allow_chunked_length = parser->allow_chunked_length;
657
658
4.18k
  uint32_t nread = parser->nread;
659
660
  /* We're in an error state. Don't bother doing anything. */
661
4.18k
  if (HTTP_PARSER_ERRNO(parser) != HPE_OK) {
662
0
    return 0;
663
0
  }
664
665
4.18k
  if (len == 0) {
666
0
    switch (CURRENT_STATE()) {
667
0
      case s_body_identity_eof:
668
        /* Use of CALLBACK_NOTIFY() here would erroneously return 1 byte read if
669
         * we got paused.
670
         */
671
0
        CALLBACK_NOTIFY_NOADVANCE(message_complete);
672
0
        return 0;
673
674
0
      case s_dead:
675
0
      case s_start_req_or_res:
676
0
      case s_start_res:
677
0
      case s_start_req:
678
0
        return 0;
679
680
0
      default:
681
0
        SET_ERRNO(HPE_INVALID_EOF_STATE);
682
0
        return 1;
683
0
    }
684
0
  }
685
686
687
4.18k
  if (CURRENT_STATE() == s_header_field)
688
0
    header_field_mark = data;
689
4.18k
  if (CURRENT_STATE() == s_header_value)
690
0
    header_value_mark = data;
691
4.18k
  switch (CURRENT_STATE()) {
692
0
  case s_req_path:
693
0
  case s_req_schema:
694
0
  case s_req_schema_slash:
695
0
  case s_req_schema_slash_slash:
696
0
  case s_req_server_start:
697
0
  case s_req_server:
698
0
  case s_req_server_with_at:
699
0
  case s_req_query_string_start:
700
0
  case s_req_query_string:
701
0
  case s_req_fragment_start:
702
0
  case s_req_fragment:
703
0
    url_mark = data;
704
0
    break;
705
0
  case s_res_status:
706
0
    status_mark = data;
707
0
    break;
708
4.18k
  default:
709
4.18k
    break;
710
4.18k
  }
711
712
610k
  for (p=data; p != data + len; p++) {
713
607k
    ch = *p;
714
715
607k
    if (PARSING_HEADER(CURRENT_STATE()))
716
603k
      COUNT_HEADER_SIZE(1);
717
718
827k
reexecute:
719
827k
    switch (CURRENT_STATE()) {
720
721
0
      case s_dead:
722
        /* this state is used after a 'Connection: close' message
723
         * the parser will error out if it reads another message
724
         */
725
0
        if (LIKELY(ch == CR || ch == LF))
726
0
          break;
727
728
0
        SET_ERRNO(HPE_CLOSED_CONNECTION);
729
0
        goto error;
730
731
4.71k
      case s_start_req_or_res:
732
4.71k
      {
733
4.71k
        if (ch == CR || ch == LF)
734
550
          break;
735
4.16k
        parser->flags = 0;
736
4.16k
        parser->uses_transfer_encoding = 0;
737
4.16k
        parser->content_length = ULLONG_MAX;
738
739
4.16k
        if (ch == 'H') {
740
383
          UPDATE_STATE(s_res_or_resp_H);
741
742
383
          CALLBACK_NOTIFY(message_begin);
743
3.78k
        } else {
744
3.78k
          parser->type = HTTP_REQUEST;
745
3.78k
          UPDATE_STATE(s_start_req);
746
3.78k
          REEXECUTE();
747
0
        }
748
749
383
        break;
750
4.16k
      }
751
752
383
      case s_res_or_resp_H:
753
382
        if (ch == 'T') {
754
362
          parser->type = HTTP_RESPONSE;
755
362
          UPDATE_STATE(s_res_HT);
756
362
        } else {
757
20
          if (UNLIKELY(ch != 'E')) {
758
17
            SET_ERRNO(HPE_INVALID_CONSTANT);
759
17
            goto error;
760
17
          }
761
762
3
          parser->type = HTTP_REQUEST;
763
3
          parser->method = HTTP_HEAD;
764
3
          parser->index = 2;
765
3
          UPDATE_STATE(s_req_method);
766
3
        }
767
365
        break;
768
769
3.76k
      case s_start_res:
770
3.76k
      {
771
3.76k
        if (ch == CR || ch == LF)
772
1.79k
          break;
773
1.97k
        parser->flags = 0;
774
1.97k
        parser->uses_transfer_encoding = 0;
775
1.97k
        parser->content_length = ULLONG_MAX;
776
777
1.97k
        if (ch == 'H') {
778
1.95k
          UPDATE_STATE(s_res_H);
779
1.95k
        } else {
780
19
          SET_ERRNO(HPE_INVALID_CONSTANT);
781
19
          goto error;
782
19
        }
783
784
1.95k
        CALLBACK_NOTIFY(message_begin);
785
1.95k
        break;
786
1.95k
      }
787
788
1.95k
      case s_res_H:
789
1.94k
        STRICT_CHECK(ch != 'T');
790
1.94k
        UPDATE_STATE(s_res_HT);
791
1.94k
        break;
792
793
2.29k
      case s_res_HT:
794
2.29k
        STRICT_CHECK(ch != 'T');
795
2.29k
        UPDATE_STATE(s_res_HTT);
796
2.29k
        break;
797
798
2.28k
      case s_res_HTT:
799
2.28k
        STRICT_CHECK(ch != 'P');
800
2.28k
        UPDATE_STATE(s_res_HTTP);
801
2.28k
        break;
802
803
2.28k
      case s_res_HTTP:
804
2.28k
        STRICT_CHECK(ch != '/');
805
2.28k
        UPDATE_STATE(s_res_http_major);
806
2.28k
        break;
807
808
2.27k
      case s_res_http_major:
809
2.27k
        if (UNLIKELY(!IS_NUM(ch))) {
810
16
          SET_ERRNO(HPE_INVALID_VERSION);
811
16
          goto error;
812
16
        }
813
814
2.26k
        parser->http_major = ch - '0';
815
2.26k
        UPDATE_STATE(s_res_http_dot);
816
2.26k
        break;
817
818
2.25k
      case s_res_http_dot:
819
2.25k
      {
820
2.25k
        if (UNLIKELY(ch != '.')) {
821
10
          SET_ERRNO(HPE_INVALID_VERSION);
822
10
          goto error;
823
10
        }
824
825
2.24k
        UPDATE_STATE(s_res_http_minor);
826
2.24k
        break;
827
2.25k
      }
828
829
2.23k
      case s_res_http_minor:
830
2.23k
        if (UNLIKELY(!IS_NUM(ch))) {
831
15
          SET_ERRNO(HPE_INVALID_VERSION);
832
15
          goto error;
833
15
        }
834
835
2.22k
        parser->http_minor = ch - '0';
836
2.22k
        UPDATE_STATE(s_res_http_end);
837
2.22k
        break;
838
839
2.21k
      case s_res_http_end:
840
2.21k
      {
841
2.21k
        if (UNLIKELY(ch != ' ')) {
842
7
          SET_ERRNO(HPE_INVALID_VERSION);
843
7
          goto error;
844
7
        }
845
846
2.20k
        UPDATE_STATE(s_res_first_status_code);
847
2.20k
        break;
848
2.21k
      }
849
850
2.38k
      case s_res_first_status_code:
851
2.38k
      {
852
2.38k
        if (!IS_NUM(ch)) {
853
211
          if (ch == ' ') {
854
194
            break;
855
194
          }
856
857
17
          SET_ERRNO(HPE_INVALID_STATUS);
858
17
          goto error;
859
211
        }
860
2.17k
        parser->status_code = ch - '0';
861
2.17k
        UPDATE_STATE(s_res_status_code);
862
2.17k
        break;
863
2.38k
      }
864
865
6.20k
      case s_res_status_code:
866
6.20k
      {
867
6.20k
        if (!IS_NUM(ch)) {
868
2.14k
          switch (ch) {
869
418
            case ' ':
870
418
              UPDATE_STATE(s_res_status_start);
871
418
              break;
872
228
            case CR:
873
1.71k
            case LF:
874
1.71k
              UPDATE_STATE(s_res_status_start);
875
1.71k
              REEXECUTE();
876
0
              break;
877
14
            default:
878
14
              SET_ERRNO(HPE_INVALID_STATUS);
879
14
              goto error;
880
2.14k
          }
881
418
          break;
882
2.14k
        }
883
884
4.05k
        parser->status_code *= 10;
885
4.05k
        parser->status_code += ch - '0';
886
887
4.05k
        if (UNLIKELY(parser->status_code > 999)) {
888
4
          SET_ERRNO(HPE_INVALID_STATUS);
889
4
          goto error;
890
4
        }
891
892
4.05k
        break;
893
4.05k
      }
894
895
4.05k
      case s_res_status_start:
896
2.12k
      {
897
2.12k
        MARK(status);
898
2.12k
        UPDATE_STATE(s_res_status);
899
2.12k
        parser->index = 0;
900
901
2.12k
        if (ch == CR || ch == LF)
902
1.77k
          REEXECUTE();
903
904
351
        break;
905
2.12k
      }
906
907
3.37k
      case s_res_status:
908
3.37k
        if (ch == CR) {
909
228
          UPDATE_STATE(s_res_line_almost_done);
910
228
          CALLBACK_DATA(status);
911
228
          break;
912
228
        }
913
914
3.15k
        if (ch == LF) {
915
1.86k
          UPDATE_STATE(s_header_field_start);
916
1.86k
          CALLBACK_DATA(status);
917
1.86k
          break;
918
1.86k
        }
919
920
1.28k
        break;
921
922
1.28k
      case s_res_line_almost_done:
923
223
        STRICT_CHECK(ch != LF);
924
223
        UPDATE_STATE(s_header_field_start);
925
223
        break;
926
927
14.6k
      case s_start_req:
928
14.6k
      {
929
14.6k
        if (ch == CR || ch == LF)
930
527
          break;
931
14.1k
        parser->flags = 0;
932
14.1k
        parser->uses_transfer_encoding = 0;
933
14.1k
        parser->content_length = ULLONG_MAX;
934
935
14.1k
        if (UNLIKELY(!IS_ALPHA(ch))) {
936
24
          SET_ERRNO(HPE_INVALID_METHOD);
937
24
          goto error;
938
24
        }
939
940
14.1k
        parser->method = (enum http_method) 0;
941
14.1k
        parser->index = 1;
942
14.1k
        switch (ch) {
943
1.69k
          case 'A': parser->method = HTTP_ACL; break;
944
206
          case 'B': parser->method = HTTP_BIND; break;
945
487
          case 'C': parser->method = HTTP_CONNECT; /* or COPY, CHECKOUT */ break;
946
203
          case 'D': parser->method = HTTP_DELETE; break;
947
5.54k
          case 'G': parser->method = HTTP_GET; break;
948
195
          case 'H': parser->method = HTTP_HEAD; break;
949
413
          case 'L': parser->method = HTTP_LOCK; /* or LINK */ break;
950
950
          case 'M': parser->method = HTTP_MKCOL; /* or MOVE, MKACTIVITY, MERGE, M-SEARCH, MKCALENDAR */ break;
951
205
          case 'N': parser->method = HTTP_NOTIFY; break;
952
12
          case 'O': parser->method = HTTP_OPTIONS; break;
953
2.31k
          case 'P': parser->method = HTTP_POST;
954
            /* or PROPFIND|PROPPATCH|PUT|PATCH|PURGE */
955
2.31k
            break;
956
276
          case 'R': parser->method = HTTP_REPORT; /* or REBIND */ break;
957
722
          case 'S': parser->method = HTTP_SUBSCRIBE; /* or SEARCH, SOURCE */ break;
958
203
          case 'T': parser->method = HTTP_TRACE; break;
959
691
          case 'U': parser->method = HTTP_UNLOCK; /* or UNSUBSCRIBE, UNBIND, UNLINK */ break;
960
9
          default:
961
9
            SET_ERRNO(HPE_INVALID_METHOD);
962
9
            goto error;
963
14.1k
        }
964
14.1k
        UPDATE_STATE(s_req_method);
965
966
14.1k
        CALLBACK_NOTIFY(message_begin);
967
968
14.1k
        break;
969
14.1k
      }
970
971
55.9k
      case s_req_method:
972
55.9k
      {
973
55.9k
        const char *matcher;
974
55.9k
        if (UNLIKELY(ch == '\0')) {
975
1
          SET_ERRNO(HPE_INVALID_METHOD);
976
1
          goto error;
977
1
        }
978
979
55.9k
        matcher = method_strings[parser->method];
980
55.9k
        if (ch == ' ' && matcher[parser->index] == '\0') {
981
13.5k
          UPDATE_STATE(s_req_spaces_before_url);
982
42.4k
        } else if (ch == matcher[parser->index]) {
983
36.0k
          ; /* nada */
984
36.0k
        } else if ((ch >= 'A' && ch <= 'Z') || ch == '-') {
985
986
6.35k
          switch (parser->method << 16 | parser->index << 8 | ch) {
987
0
#define XX(meth, pos, ch, new_meth) \
988
6.06k
            case (HTTP_##meth << 16 | pos << 8 | ch): \
989
6.06k
              parser->method = HTTP_##new_meth; break;
990
991
1.80k
            XX(POST,      1, 'U', PUT)
992
197
            XX(POST,      1, 'A', PATCH)
993
278
            XX(POST,      1, 'R', PROPFIND)
994
278
            XX(PUT,       2, 'R', PURGE)
995
196
            XX(CONNECT,   1, 'H', CHECKOUT)
996
254
            XX(CONNECT,   2, 'P', COPY)
997
261
            XX(MKCOL,     1, 'O', MOVE)
998
195
            XX(MKCOL,     1, 'E', MERGE)
999
254
            XX(MKCOL,     1, '-', MSEARCH)
1000
3
            XX(MKCOL,     2, 'A', MKACTIVITY)
1001
195
            XX(MKCOL,     3, 'A', MKCALENDAR)
1002
255
            XX(SUBSCRIBE, 1, 'E', SEARCH)
1003
416
            XX(SUBSCRIBE, 1, 'O', SOURCE)
1004
254
            XX(REPORT,    2, 'B', REBIND)
1005
194
            XX(PROPFIND,  4, 'P', PROPPATCH)
1006
387
            XX(LOCK,      1, 'I', LINK)
1007
197
            XX(UNLOCK,    2, 'S', UNSUBSCRIBE)
1008
252
            XX(UNLOCK,    2, 'B', UNBIND)
1009
197
            XX(UNLOCK,    3, 'I', UNLINK)
1010
0
#undef XX
1011
281
            default:
1012
281
              SET_ERRNO(HPE_INVALID_METHOD);
1013
281
              goto error;
1014
6.35k
          }
1015
6.35k
        } else {
1016
37
          SET_ERRNO(HPE_INVALID_METHOD);
1017
37
          goto error;
1018
37
        }
1019
1020
55.6k
        ++parser->index;
1021
55.6k
        break;
1022
55.9k
      }
1023
1024
13.7k
      case s_req_spaces_before_url:
1025
13.7k
      {
1026
13.7k
        if (ch == ' ') break;
1027
1028
13.5k
        MARK(url);
1029
13.5k
        if (parser->method == HTTP_CONNECT) {
1030
5
          UPDATE_STATE(s_req_server_start);
1031
5
        }
1032
1033
13.5k
        UPDATE_STATE(parse_url_char(CURRENT_STATE(), ch));
1034
13.5k
        if (UNLIKELY(CURRENT_STATE() == s_dead)) {
1035
39
          SET_ERRNO(HPE_INVALID_URL);
1036
39
          goto error;
1037
39
        }
1038
1039
13.4k
        break;
1040
13.5k
      }
1041
1042
13.4k
      case s_req_schema:
1043
2.09k
      case s_req_schema_slash:
1044
3.01k
      case s_req_schema_slash_slash:
1045
3.91k
      case s_req_server_start:
1046
3.91k
      {
1047
3.91k
        switch (ch) {
1048
          /* No whitespace allowed here */
1049
2
          case ' ':
1050
4
          case CR:
1051
5
          case LF:
1052
5
            SET_ERRNO(HPE_INVALID_URL);
1053
5
            goto error;
1054
3.91k
          default:
1055
3.91k
            UPDATE_STATE(parse_url_char(CURRENT_STATE(), ch));
1056
3.91k
            if (UNLIKELY(CURRENT_STATE() == s_dead)) {
1057
77
              SET_ERRNO(HPE_INVALID_URL);
1058
77
              goto error;
1059
77
            }
1060
3.91k
        }
1061
1062
3.83k
        break;
1063
3.91k
      }
1064
1065
4.59k
      case s_req_server:
1066
4.86k
      case s_req_server_with_at:
1067
18.0k
      case s_req_path:
1068
19.0k
      case s_req_query_string_start:
1069
20.2k
      case s_req_query_string:
1070
21.1k
      case s_req_fragment_start:
1071
22.6k
      case s_req_fragment:
1072
22.6k
      {
1073
22.6k
        switch (ch) {
1074
1.12k
          case ' ':
1075
1.12k
            UPDATE_STATE(s_req_http_start);
1076
1.12k
            CALLBACK_DATA(url);
1077
1.12k
            break;
1078
1.12k
          case CR:
1079
11.8k
          case LF:
1080
11.8k
            parser->http_major = 0;
1081
11.8k
            parser->http_minor = 9;
1082
11.8k
            UPDATE_STATE((ch == CR) ?
1083
11.8k
              s_req_line_almost_done :
1084
11.8k
              s_header_field_start);
1085
11.8k
            CALLBACK_DATA(url);
1086
11.8k
            break;
1087
11.8k
          default:
1088
9.68k
            UPDATE_STATE(parse_url_char(CURRENT_STATE(), ch));
1089
9.68k
            if (UNLIKELY(CURRENT_STATE() == s_dead)) {
1090
52
              SET_ERRNO(HPE_INVALID_URL);
1091
52
              goto error;
1092
52
            }
1093
22.6k
        }
1094
22.5k
        break;
1095
22.6k
      }
1096
1097
22.5k
      case s_req_http_start:
1098
1.30k
        switch (ch) {
1099
195
          case ' ':
1100
195
            break;
1101
883
          case 'H':
1102
883
            UPDATE_STATE(s_req_http_H);
1103
883
            break;
1104
223
          case 'I':
1105
223
            if (parser->method == HTTP_SOURCE) {
1106
214
              UPDATE_STATE(s_req_http_I);
1107
214
              break;
1108
214
            }
1109
            /* fall through */
1110
10
          default:
1111
10
            SET_ERRNO(HPE_INVALID_CONSTANT);
1112
10
            goto error;
1113
1.30k
        }
1114
1.29k
        break;
1115
1116
1.29k
      case s_req_http_H:
1117
879
        STRICT_CHECK(ch != 'T');
1118
879
        UPDATE_STATE(s_req_http_HT);
1119
879
        break;
1120
1121
876
      case s_req_http_HT:
1122
876
        STRICT_CHECK(ch != 'T');
1123
876
        UPDATE_STATE(s_req_http_HTT);
1124
876
        break;
1125
1126
873
      case s_req_http_HTT:
1127
873
        STRICT_CHECK(ch != 'P');
1128
873
        UPDATE_STATE(s_req_http_HTTP);
1129
873
        break;
1130
1131
210
      case s_req_http_I:
1132
210
        STRICT_CHECK(ch != 'C');
1133
210
        UPDATE_STATE(s_req_http_IC);
1134
210
        break;
1135
1136
206
      case s_req_http_IC:
1137
206
        STRICT_CHECK(ch != 'E');
1138
206
        UPDATE_STATE(s_req_http_HTTP);  /* Treat "ICE" as "HTTP". */
1139
206
        break;
1140
1141
1.06k
      case s_req_http_HTTP:
1142
1.06k
        STRICT_CHECK(ch != '/');
1143
1.06k
        UPDATE_STATE(s_req_http_major);
1144
1.06k
        break;
1145
1146
1.06k
      case s_req_http_major:
1147
1.06k
        if (UNLIKELY(!IS_NUM(ch))) {
1148
14
          SET_ERRNO(HPE_INVALID_VERSION);
1149
14
          goto error;
1150
14
        }
1151
1152
1.04k
        parser->http_major = ch - '0';
1153
1.04k
        UPDATE_STATE(s_req_http_dot);
1154
1.04k
        break;
1155
1156
1.03k
      case s_req_http_dot:
1157
1.03k
      {
1158
1.03k
        if (UNLIKELY(ch != '.')) {
1159
13
          SET_ERRNO(HPE_INVALID_VERSION);
1160
13
          goto error;
1161
13
        }
1162
1163
1.02k
        UPDATE_STATE(s_req_http_minor);
1164
1.02k
        break;
1165
1.03k
      }
1166
1167
1.02k
      case s_req_http_minor:
1168
1.02k
        if (UNLIKELY(!IS_NUM(ch))) {
1169
11
          SET_ERRNO(HPE_INVALID_VERSION);
1170
11
          goto error;
1171
11
        }
1172
1173
1.00k
        parser->http_minor = ch - '0';
1174
1.00k
        UPDATE_STATE(s_req_http_end);
1175
1.00k
        break;
1176
1177
1.00k
      case s_req_http_end:
1178
1.00k
      {
1179
1.00k
        if (ch == CR) {
1180
194
          UPDATE_STATE(s_req_line_almost_done);
1181
194
          break;
1182
194
        }
1183
1184
808
        if (ch == LF) {
1185
796
          UPDATE_STATE(s_header_field_start);
1186
796
          break;
1187
796
        }
1188
1189
12
        SET_ERRNO(HPE_INVALID_VERSION);
1190
12
        goto error;
1191
0
        break;
1192
808
      }
1193
1194
      /* end of request line */
1195
547
      case s_req_line_almost_done:
1196
547
      {
1197
547
        if (UNLIKELY(ch != LF)) {
1198
1
          SET_ERRNO(HPE_LF_EXPECTED);
1199
1
          goto error;
1200
1
        }
1201
1202
546
        UPDATE_STATE(s_header_field_start);
1203
546
        break;
1204
547
      }
1205
1206
104k
      case s_header_field_start:
1207
104k
      {
1208
104k
        if (ch == CR) {
1209
295
          UPDATE_STATE(s_headers_almost_done);
1210
295
          break;
1211
295
        }
1212
1213
104k
        if (ch == LF) {
1214
          /* they might be just sending \n instead of \r\n so this would be
1215
           * the second \n to denote the end of headers*/
1216
13.3k
          UPDATE_STATE(s_headers_almost_done);
1217
13.3k
          REEXECUTE();
1218
0
        }
1219
1220
91.2k
        c = TOKEN(ch);
1221
1222
91.2k
        if (UNLIKELY(!c)) {
1223
46
          SET_ERRNO(HPE_INVALID_HEADER_TOKEN);
1224
46
          goto error;
1225
46
        }
1226
1227
91.1k
        MARK(header_field);
1228
1229
91.1k
        parser->index = 0;
1230
91.1k
        UPDATE_STATE(s_header_field);
1231
1232
91.1k
        switch (c) {
1233
24.2k
          case 'c':
1234
24.2k
            parser->header_state = h_C;
1235
24.2k
            break;
1236
1237
1.70k
          case 'p':
1238
1.70k
            parser->header_state = h_matching_proxy_connection;
1239
1.70k
            break;
1240
1241
5.78k
          case 't':
1242
5.78k
            parser->header_state = h_matching_transfer_encoding;
1243
5.78k
            break;
1244
1245
6.12k
          case 'u':
1246
6.12k
            parser->header_state = h_matching_upgrade;
1247
6.12k
            break;
1248
1249
53.3k
          default:
1250
53.3k
            parser->header_state = h_general;
1251
53.3k
            break;
1252
91.1k
        }
1253
91.1k
        break;
1254
91.1k
      }
1255
1256
91.1k
      case s_header_field:
1257
91.1k
      {
1258
91.1k
        const char* start = p;
1259
422k
        for (; p != data + len; p++) {
1260
421k
          ch = *p;
1261
421k
          c = TOKEN(ch);
1262
1263
421k
          if (!c)
1264
90.8k
            break;
1265
1266
331k
          switch (parser->header_state) {
1267
60.3k
            case h_general: {
1268
60.3k
              size_t left = data + len - p;
1269
60.3k
              const char* pe = p + MIN(left, max_header_size);
1270
6.17M
              while (p+1 < pe && TOKEN(p[1])) {
1271
6.11M
                p++;
1272
6.11M
              }
1273
60.3k
              break;
1274
0
            }
1275
1276
23.6k
            case h_C:
1277
23.6k
              parser->index++;
1278
23.6k
              parser->header_state = (c == 'o' ? h_CO : h_general);
1279
23.6k
              break;
1280
1281
23.1k
            case h_CO:
1282
23.1k
              parser->index++;
1283
23.1k
              parser->header_state = (c == 'n' ? h_CON : h_general);
1284
23.1k
              break;
1285
1286
21.6k
            case h_CON:
1287
21.6k
              parser->index++;
1288
21.6k
              switch (c) {
1289
18.0k
                case 'n':
1290
18.0k
                  parser->header_state = h_matching_connection;
1291
18.0k
                  break;
1292
2.73k
                case 't':
1293
2.73k
                  parser->header_state = h_matching_content_length;
1294
2.73k
                  break;
1295
870
                default:
1296
870
                  parser->header_state = h_general;
1297
870
                  break;
1298
21.6k
              }
1299
21.6k
              break;
1300
1301
            /* connection */
1302
1303
83.4k
            case h_matching_connection:
1304
83.4k
              parser->index++;
1305
83.4k
              if (parser->index > sizeof(CONNECTION)-1
1306
83.4k
                  || c != CONNECTION[parser->index]) {
1307
6.00k
                parser->header_state = h_general;
1308
77.4k
              } else if (parser->index == sizeof(CONNECTION)-2) {
1309
11.6k
                parser->header_state = h_connection;
1310
11.6k
              }
1311
83.4k
              break;
1312
1313
            /* proxy-connection */
1314
1315
6.26k
            case h_matching_proxy_connection:
1316
6.26k
              parser->index++;
1317
6.26k
              if (parser->index > sizeof(PROXY_CONNECTION)-1
1318
6.26k
                  || c != PROXY_CONNECTION[parser->index]) {
1319
1.01k
                parser->header_state = h_general;
1320
5.24k
              } else if (parser->index == sizeof(PROXY_CONNECTION)-2) {
1321
288
                parser->header_state = h_connection;
1322
288
              }
1323
6.26k
              break;
1324
1325
            /* content-length */
1326
1327
22.7k
            case h_matching_content_length:
1328
22.7k
              parser->index++;
1329
22.7k
              if (parser->index > sizeof(CONTENT_LENGTH)-1
1330
22.7k
                  || c != CONTENT_LENGTH[parser->index]) {
1331
309
                parser->header_state = h_general;
1332
22.3k
              } else if (parser->index == sizeof(CONTENT_LENGTH)-2) {
1333
2.10k
                parser->header_state = h_content_length;
1334
2.10k
              }
1335
22.7k
              break;
1336
1337
            /* transfer-encoding */
1338
1339
74.5k
            case h_matching_transfer_encoding:
1340
74.5k
              parser->index++;
1341
74.5k
              if (parser->index > sizeof(TRANSFER_ENCODING)-1
1342
74.5k
                  || c != TRANSFER_ENCODING[parser->index]) {
1343
1.01k
                parser->header_state = h_general;
1344
73.4k
              } else if (parser->index == sizeof(TRANSFER_ENCODING)-2) {
1345
4.32k
                parser->header_state = h_transfer_encoding;
1346
4.32k
                parser->uses_transfer_encoding = 1;
1347
4.32k
              }
1348
74.5k
              break;
1349
1350
            /* upgrade */
1351
1352
13.0k
            case h_matching_upgrade:
1353
13.0k
              parser->index++;
1354
13.0k
              if (parser->index > sizeof(UPGRADE)-1
1355
13.0k
                  || c != UPGRADE[parser->index]) {
1356
1.85k
                parser->header_state = h_general;
1357
11.1k
              } else if (parser->index == sizeof(UPGRADE)-2) {
1358
1.70k
                parser->header_state = h_upgrade;
1359
1.70k
              }
1360
13.0k
              break;
1361
1362
720
            case h_connection:
1363
1.37k
            case h_content_length:
1364
1.59k
            case h_transfer_encoding:
1365
2.22k
            case h_upgrade:
1366
2.22k
              if (ch != ' ') parser->header_state = h_general;
1367
2.22k
              break;
1368
1369
0
            default:
1370
0
              assert(0 && "Unknown header_state");
1371
0
              break;
1372
331k
          }
1373
331k
        }
1374
1375
91.1k
        if (p == data + len) {
1376
310
          --p;
1377
310
          COUNT_HEADER_SIZE(p - start);
1378
299
          break;
1379
310
        }
1380
1381
90.8k
        COUNT_HEADER_SIZE(p - start);
1382
1383
90.7k
        if (ch == ':') {
1384
90.7k
          UPDATE_STATE(s_header_value_discard_ws);
1385
90.7k
          CALLBACK_DATA(header_field);
1386
90.7k
          break;
1387
90.7k
        }
1388
1389
39
        SET_ERRNO(HPE_INVALID_HEADER_TOKEN);
1390
39
        goto error;
1391
90.7k
      }
1392
1393
136k
      case s_header_value_discard_ws:
1394
136k
        if (ch == ' ' || ch == '\t') break;
1395
1396
93.1k
        if (ch == CR) {
1397
1.35k
          UPDATE_STATE(s_header_value_discard_ws_almost_done);
1398
1.35k
          break;
1399
1.35k
        }
1400
1401
91.8k
        if (ch == LF) {
1402
57.0k
          UPDATE_STATE(s_header_value_discard_lws);
1403
57.0k
          break;
1404
57.0k
        }
1405
1406
        /* fall through */
1407
1408
66.6k
      case s_header_value_start:
1409
66.6k
      {
1410
66.6k
        MARK(header_value);
1411
1412
66.6k
        UPDATE_STATE(s_header_value);
1413
66.6k
        parser->index = 0;
1414
1415
66.6k
        c = LOWER(ch);
1416
1417
66.6k
        switch (parser->header_state) {
1418
1.01k
          case h_upgrade:
1419
1.01k
            parser->flags |= F_UPGRADE;
1420
1.01k
            parser->header_state = h_general;
1421
1.01k
            break;
1422
1423
4.11k
          case h_transfer_encoding:
1424
            /* looking for 'Transfer-Encoding: chunked' */
1425
4.11k
            if ('c' == c) {
1426
3.06k
              parser->header_state = h_matching_transfer_encoding_chunked;
1427
3.06k
            } else {
1428
1.04k
              parser->header_state = h_matching_transfer_encoding_token;
1429
1.04k
            }
1430
4.11k
            break;
1431
1432
          /* Multi-value `Transfer-Encoding` header */
1433
260
          case h_matching_transfer_encoding_token_start:
1434
260
            break;
1435
1436
1.74k
          case h_content_length:
1437
1.74k
            if (UNLIKELY(!IS_NUM(ch))) {
1438
13
              SET_ERRNO(HPE_INVALID_CONTENT_LENGTH);
1439
13
              goto error;
1440
13
            }
1441
1442
1.72k
            if (parser->flags & F_CONTENTLENGTH) {
1443
1
              SET_ERRNO(HPE_UNEXPECTED_CONTENT_LENGTH);
1444
1
              goto error;
1445
1
            }
1446
1447
1.72k
            parser->flags |= F_CONTENTLENGTH;
1448
1.72k
            parser->content_length = ch - '0';
1449
1.72k
            parser->header_state = h_content_length_num;
1450
1.72k
            break;
1451
1452
          /* when obsolete line folding is encountered for content length
1453
           * continue to the s_header_value state */
1454
388
          case h_content_length_ws:
1455
388
            break;
1456
1457
11.2k
          case h_connection:
1458
            /* looking for 'Connection: keep-alive' */
1459
11.2k
            if (c == 'k') {
1460
1.98k
              parser->header_state = h_matching_connection_keep_alive;
1461
            /* looking for 'Connection: close' */
1462
9.26k
            } else if (c == 'c') {
1463
5.08k
              parser->header_state = h_matching_connection_close;
1464
5.08k
            } else if (c == 'u') {
1465
2.22k
              parser->header_state = h_matching_connection_upgrade;
1466
2.22k
            } else {
1467
1.95k
              parser->header_state = h_matching_connection_token;
1468
1.95k
            }
1469
11.2k
            break;
1470
1471
          /* Multi-value `Connection` header */
1472
678
          case h_matching_connection_token_start:
1473
678
            break;
1474
1475
47.2k
          default:
1476
47.2k
            parser->header_state = h_general;
1477
47.2k
            break;
1478
66.6k
        }
1479
66.6k
        break;
1480
66.6k
      }
1481
1482
66.6k
      case s_header_value:
1483
66.4k
      {
1484
66.4k
        const char* start = p;
1485
66.4k
        enum header_states h_state = (enum header_states) parser->header_state;
1486
2.39M
        for (; p != data + len; p++) {
1487
2.39M
          ch = *p;
1488
2.39M
          if (ch == CR) {
1489
2.42k
            UPDATE_STATE(s_header_almost_done);
1490
2.42k
            parser->header_state = h_state;
1491
2.42k
            CALLBACK_DATA(header_value);
1492
2.42k
            break;
1493
2.42k
          }
1494
1495
2.38M
          if (ch == LF) {
1496
63.3k
            UPDATE_STATE(s_header_almost_done);
1497
63.3k
            COUNT_HEADER_SIZE(p - start);
1498
63.3k
            parser->header_state = h_state;
1499
63.3k
            CALLBACK_DATA_NOADVANCE(header_value);
1500
63.3k
            REEXECUTE();
1501
0
          }
1502
1503
2.32M
          if (!lenient && !IS_HEADER_CHAR(ch)) {
1504
13
            SET_ERRNO(HPE_INVALID_HEADER_TOKEN);
1505
13
            goto error;
1506
13
          }
1507
1508
2.32M
          c = LOWER(ch);
1509
1510
2.32M
          switch (h_state) {
1511
43.4k
            case h_general:
1512
43.4k
              {
1513
43.4k
                size_t left = data + len - p;
1514
43.4k
                const char* pe = p + MIN(left, max_header_size);
1515
1516
14.2M
                for (; p != pe; p++) {
1517
14.2M
                  ch = *p;
1518
14.2M
                  if (ch == CR || ch == LF) {
1519
43.2k
                    --p;
1520
43.2k
                    break;
1521
43.2k
                  }
1522
14.1M
                  if (!lenient && !IS_HEADER_CHAR(ch)) {
1523
27
                    SET_ERRNO(HPE_INVALID_HEADER_TOKEN);
1524
27
                    goto error;
1525
27
                  }
1526
14.1M
                }
1527
43.4k
                if (p == data + len)
1528
81
                  --p;
1529
43.4k
                break;
1530
43.4k
              }
1531
1532
0
            case h_connection:
1533
0
            case h_transfer_encoding:
1534
0
              assert(0 && "Shouldn't get here.");
1535
0
              break;
1536
1537
0
            case h_content_length:
1538
0
              if (ch == ' ') break;
1539
0
              h_state = h_content_length_num;
1540
              /* fall through */
1541
1542
6.30k
            case h_content_length_num:
1543
6.30k
            {
1544
6.30k
              uint64_t t;
1545
1546
6.30k
              if (ch == ' ') {
1547
232
                h_state = h_content_length_ws;
1548
232
                break;
1549
232
              }
1550
1551
6.07k
              if (UNLIKELY(!IS_NUM(ch))) {
1552
13
                SET_ERRNO(HPE_INVALID_CONTENT_LENGTH);
1553
13
                parser->header_state = h_state;
1554
13
                goto error;
1555
13
              }
1556
1557
6.06k
              t = parser->content_length;
1558
6.06k
              t *= 10;
1559
6.06k
              t += ch - '0';
1560
1561
              /* Overflow? Test against a conservative limit for simplicity. */
1562
6.06k
              if (UNLIKELY((ULLONG_MAX - 10) / 10 < parser->content_length)) {
1563
5
                SET_ERRNO(HPE_INVALID_CONTENT_LENGTH);
1564
5
                parser->header_state = h_state;
1565
5
                goto error;
1566
5
              }
1567
1568
6.05k
              parser->content_length = t;
1569
6.05k
              break;
1570
6.06k
            }
1571
1572
205
            case h_content_length_ws:
1573
205
              if (ch == ' ') break;
1574
11
              SET_ERRNO(HPE_INVALID_CONTENT_LENGTH);
1575
11
              parser->header_state = h_state;
1576
11
              goto error;
1577
1578
            /* Transfer-Encoding: chunked */
1579
8.12k
            case h_matching_transfer_encoding_token_start:
1580
              /* looking for 'Transfer-Encoding: chunked' */
1581
8.12k
              if ('c' == c) {
1582
2.67k
                h_state = h_matching_transfer_encoding_chunked;
1583
5.45k
              } else if (STRICT_TOKEN(c)) {
1584
                /* TODO(indutny): similar code below does this, but why?
1585
                 * At the very least it seems to be inconsistent given that
1586
                 * h_matching_transfer_encoding_token does not check for
1587
                 * `STRICT_TOKEN`
1588
                 */
1589
2.81k
                h_state = h_matching_transfer_encoding_token;
1590
2.81k
              } else if (c == ' ' || c == '\t') {
1591
                /* Skip lws */
1592
2.02k
              } else {
1593
608
                h_state = h_general;
1594
608
              }
1595
8.12k
              break;
1596
1597
15.8k
            case h_matching_transfer_encoding_chunked:
1598
15.8k
              parser->index++;
1599
15.8k
              if (parser->index > sizeof(CHUNKED)-1
1600
15.8k
                  || c != CHUNKED[parser->index]) {
1601
3.96k
                h_state = h_matching_transfer_encoding_token;
1602
11.8k
              } else if (parser->index == sizeof(CHUNKED)-2) {
1603
1.55k
                h_state = h_transfer_encoding_chunked;
1604
1.55k
              }
1605
15.8k
              break;
1606
1607
373k
            case h_matching_transfer_encoding_token:
1608
373k
              if (ch == ',') {
1609
6.12k
                h_state = h_matching_transfer_encoding_token_start;
1610
6.12k
                parser->index = 0;
1611
6.12k
              }
1612
373k
              break;
1613
1614
52.3k
            case h_matching_connection_token_start:
1615
              /* looking for 'Connection: keep-alive' */
1616
52.3k
              if (c == 'k') {
1617
8.02k
                h_state = h_matching_connection_keep_alive;
1618
              /* looking for 'Connection: close' */
1619
44.3k
              } else if (c == 'c') {
1620
11.6k
                h_state = h_matching_connection_close;
1621
32.6k
              } else if (c == 'u') {
1622
7.97k
                h_state = h_matching_connection_upgrade;
1623
24.6k
              } else if (STRICT_TOKEN(c)) {
1624
6.45k
                h_state = h_matching_connection_token;
1625
18.2k
              } else if (c == ' ' || c == '\t') {
1626
                /* Skip lws */
1627
16.8k
              } else {
1628
1.35k
                h_state = h_general;
1629
1.35k
              }
1630
52.3k
              break;
1631
1632
            /* looking for 'Connection: keep-alive' */
1633
55.2k
            case h_matching_connection_keep_alive:
1634
55.2k
              parser->index++;
1635
55.2k
              if (parser->index > sizeof(KEEP_ALIVE)-1
1636
55.2k
                  || c != KEEP_ALIVE[parser->index]) {
1637
4.40k
                h_state = h_matching_connection_token;
1638
50.8k
              } else if (parser->index == sizeof(KEEP_ALIVE)-2) {
1639
5.14k
                h_state = h_connection_keep_alive;
1640
5.14k
              }
1641
55.2k
              break;
1642
1643
            /* looking for 'Connection: close' */
1644
45.1k
            case h_matching_connection_close:
1645
45.1k
              parser->index++;
1646
45.1k
              if (parser->index > sizeof(CLOSE)-1 || c != CLOSE[parser->index]) {
1647
11.7k
                h_state = h_matching_connection_token;
1648
33.4k
              } else if (parser->index == sizeof(CLOSE)-2) {
1649
4.42k
                h_state = h_connection_close;
1650
4.42k
              }
1651
45.1k
              break;
1652
1653
            /* looking for 'Connection: upgrade' */
1654
36.3k
            case h_matching_connection_upgrade:
1655
36.3k
              parser->index++;
1656
36.3k
              if (parser->index > sizeof(UPGRADE) - 1 ||
1657
36.3k
                  c != UPGRADE[parser->index]) {
1658
5.35k
                h_state = h_matching_connection_token;
1659
30.9k
              } else if (parser->index == sizeof(UPGRADE)-2) {
1660
4.60k
                h_state = h_connection_upgrade;
1661
4.60k
              }
1662
36.3k
              break;
1663
1664
1.66M
            case h_matching_connection_token:
1665
1.66M
              if (ch == ',') {
1666
28.3k
                h_state = h_matching_connection_token_start;
1667
28.3k
                parser->index = 0;
1668
28.3k
              }
1669
1.66M
              break;
1670
1671
2.12k
            case h_transfer_encoding_chunked:
1672
2.12k
              if (ch != ' ') h_state = h_matching_transfer_encoding_token;
1673
2.12k
              break;
1674
1675
5.66k
            case h_connection_keep_alive:
1676
13.3k
            case h_connection_close:
1677
18.8k
            case h_connection_upgrade:
1678
18.8k
              if (ch == ',') {
1679
7.23k
                if (h_state == h_connection_keep_alive) {
1680
3.78k
                  parser->flags |= F_CONNECTION_KEEP_ALIVE;
1681
3.78k
                } else if (h_state == h_connection_close) {
1682
1.31k
                  parser->flags |= F_CONNECTION_CLOSE;
1683
2.13k
                } else if (h_state == h_connection_upgrade) {
1684
2.13k
                  parser->flags |= F_CONNECTION_UPGRADE;
1685
2.13k
                }
1686
7.23k
                h_state = h_matching_connection_token_start;
1687
7.23k
                parser->index = 0;
1688
11.6k
              } else if (ch != ' ') {
1689
4.46k
                h_state = h_matching_connection_token;
1690
4.46k
              }
1691
18.8k
              break;
1692
1693
0
            default:
1694
0
              UPDATE_STATE(s_header_value);
1695
0
              h_state = h_general;
1696
0
              break;
1697
2.32M
          }
1698
2.32M
        }
1699
3.02k
        parser->header_state = h_state;
1700
1701
3.02k
        if (p == data + len)
1702
598
          --p;
1703
1704
3.02k
        COUNT_HEADER_SIZE(p - start);
1705
2.97k
        break;
1706
3.02k
      }
1707
1708
65.7k
      case s_header_almost_done:
1709
65.7k
      {
1710
65.7k
        if (UNLIKELY(ch != LF)) {
1711
10
          SET_ERRNO(HPE_LF_EXPECTED);
1712
10
          goto error;
1713
10
        }
1714
1715
65.7k
        UPDATE_STATE(s_header_value_lws);
1716
65.7k
        break;
1717
65.7k
      }
1718
1719
65.7k
      case s_header_value_lws:
1720
65.7k
      {
1721
65.7k
        if (ch == ' ' || ch == '\t') {
1722
31.8k
          if (parser->header_state == h_content_length_num) {
1723
              /* treat obsolete line folding as space */
1724
202
              parser->header_state = h_content_length_ws;
1725
202
          }
1726
31.8k
          UPDATE_STATE(s_header_value_start);
1727
31.8k
          REEXECUTE();
1728
0
        }
1729
1730
        /* finished the header */
1731
33.8k
        switch (parser->header_state) {
1732
367
          case h_connection_keep_alive:
1733
367
            parser->flags |= F_CONNECTION_KEEP_ALIVE;
1734
367
            break;
1735
782
          case h_connection_close:
1736
782
            parser->flags |= F_CONNECTION_CLOSE;
1737
782
            break;
1738
1.01k
          case h_transfer_encoding_chunked:
1739
1.01k
            parser->flags |= F_CHUNKED;
1740
1.01k
            break;
1741
1.29k
          case h_connection_upgrade:
1742
1.29k
            parser->flags |= F_CONNECTION_UPGRADE;
1743
1.29k
            break;
1744
30.3k
          default:
1745
30.3k
            break;
1746
33.8k
        }
1747
1748
33.8k
        UPDATE_STATE(s_header_field_start);
1749
33.8k
        REEXECUTE();
1750
0
      }
1751
1752
1.34k
      case s_header_value_discard_ws_almost_done:
1753
1.34k
      {
1754
1.34k
        STRICT_CHECK(ch != LF);
1755
1.34k
        UPDATE_STATE(s_header_value_discard_lws);
1756
1.34k
        break;
1757
0
      }
1758
1759
58.3k
      case s_header_value_discard_lws:
1760
58.3k
      {
1761
58.3k
        if (ch == ' ' || ch == '\t') {
1762
2.46k
          UPDATE_STATE(s_header_value_discard_ws);
1763
2.46k
          break;
1764
55.8k
        } else {
1765
55.8k
          switch (parser->header_state) {
1766
0
            case h_connection_keep_alive:
1767
0
              parser->flags |= F_CONNECTION_KEEP_ALIVE;
1768
0
              break;
1769
0
            case h_connection_close:
1770
0
              parser->flags |= F_CONNECTION_CLOSE;
1771
0
              break;
1772
0
            case h_connection_upgrade:
1773
0
              parser->flags |= F_CONNECTION_UPGRADE;
1774
0
              break;
1775
0
            case h_transfer_encoding_chunked:
1776
0
              parser->flags |= F_CHUNKED;
1777
0
              break;
1778
1
            case h_content_length:
1779
              /* do not allow empty content length */
1780
1
              SET_ERRNO(HPE_INVALID_CONTENT_LENGTH);
1781
1
              goto error;
1782
0
              break;
1783
55.8k
            default:
1784
55.8k
              break;
1785
55.8k
          }
1786
1787
          /* header value was empty */
1788
55.8k
          MARK(header_value);
1789
55.8k
          UPDATE_STATE(s_header_field_start);
1790
55.8k
          CALLBACK_DATA_NOADVANCE(header_value);
1791
55.8k
          REEXECUTE();
1792
0
        }
1793
58.3k
      }
1794
1795
13.6k
      case s_headers_almost_done:
1796
13.6k
      {
1797
13.6k
        STRICT_CHECK(ch != LF);
1798
1799
13.6k
        if (parser->flags & F_TRAILING) {
1800
          /* End of a chunked request */
1801
319
          UPDATE_STATE(s_message_done);
1802
319
          CALLBACK_NOTIFY_NOADVANCE(chunk_complete);
1803
319
          REEXECUTE();
1804
0
        }
1805
1806
        /* Cannot use transfer-encoding and a content-length header together
1807
           per the HTTP specification. (RFC 7230 Section 3.3.3) */
1808
13.3k
        if ((parser->uses_transfer_encoding == 1) &&
1809
834
            (parser->flags & F_CONTENTLENGTH)) {
1810
          /* Allow it for lenient parsing as long as `Transfer-Encoding` is
1811
           * not `chunked` or allow_length_with_encoding is set
1812
           */
1813
2
          if (parser->flags & F_CHUNKED) {
1814
1
            if (!allow_chunked_length) {
1815
1
              SET_ERRNO(HPE_UNEXPECTED_CONTENT_LENGTH);
1816
1
              goto error;
1817
1
            }
1818
1
          } else if (!lenient) {
1819
1
            SET_ERRNO(HPE_UNEXPECTED_CONTENT_LENGTH);
1820
1
            goto error;
1821
1
          }
1822
2
        }
1823
1824
13.3k
        UPDATE_STATE(s_headers_done);
1825
1826
        /* Set this here so that on_headers_complete() callbacks can see it */
1827
13.3k
        if ((parser->flags & F_UPGRADE) &&
1828
472
            (parser->flags & F_CONNECTION_UPGRADE)) {
1829
          /* For responses, "Upgrade: foo" and "Connection: upgrade" are
1830
           * mandatory only when it is a 101 Switching Protocols response,
1831
           * otherwise it is purely informational, to announce support.
1832
           */
1833
278
          parser->upgrade =
1834
278
              (parser->type == HTTP_REQUEST || parser->status_code == 101);
1835
13.0k
        } else {
1836
13.0k
          parser->upgrade = (parser->method == HTTP_CONNECT);
1837
13.0k
        }
1838
1839
        /* Here we call the headers_complete callback. This is somewhat
1840
         * different than other callbacks because if the user returns 1, we
1841
         * will interpret that as saying that this message has no body. This
1842
         * is needed for the annoying case of recieving a response to a HEAD
1843
         * request.
1844
         *
1845
         * We'd like to use CALLBACK_NOTIFY_NOADVANCE() here but we cannot, so
1846
         * we have to simulate it by handling a change in errno below.
1847
         */
1848
13.3k
        if (settings->on_headers_complete) {
1849
0
          switch (settings->on_headers_complete(parser)) {
1850
0
            case 0:
1851
0
              break;
1852
1853
0
            case 2:
1854
0
              parser->upgrade = 1;
1855
1856
              /* fall through */
1857
0
            case 1:
1858
0
              parser->flags |= F_SKIPBODY;
1859
0
              break;
1860
1861
0
            default:
1862
0
              SET_ERRNO(HPE_CB_headers_complete);
1863
0
              RETURN(p - data); /* Error */
1864
0
          }
1865
0
        }
1866
1867
13.3k
        if (HTTP_PARSER_ERRNO(parser) != HPE_OK) {
1868
0
          RETURN(p - data);
1869
0
        }
1870
1871
13.3k
        REEXECUTE();
1872
0
      }
1873
1874
13.3k
      case s_headers_done:
1875
13.3k
      {
1876
13.3k
        int hasBody;
1877
13.3k
        STRICT_CHECK(ch != LF);
1878
1879
13.3k
        parser->nread = 0;
1880
13.3k
        nread = 0;
1881
1882
13.3k
        hasBody = parser->flags & F_CHUNKED ||
1883
12.5k
          (parser->content_length > 0 && parser->content_length != ULLONG_MAX);
1884
13.3k
        if (parser->upgrade && (parser->method == HTTP_CONNECT ||
1885
7
                                (parser->flags & F_SKIPBODY) || !hasBody)) {
1886
          /* Exit, the rest of the message is in a different protocol. */
1887
6
          UPDATE_STATE(NEW_MESSAGE());
1888
6
          CALLBACK_NOTIFY(message_complete);
1889
6
          RETURN((p - data) + 1);
1890
0
        }
1891
1892
13.3k
        if (parser->flags & F_SKIPBODY) {
1893
0
          UPDATE_STATE(NEW_MESSAGE());
1894
0
          CALLBACK_NOTIFY(message_complete);
1895
13.3k
        } else if (parser->flags & F_CHUNKED) {
1896
          /* chunked encoding - ignore Content-Length header,
1897
           * prepare for a chunk */
1898
824
          UPDATE_STATE(s_chunk_size_start);
1899
12.4k
        } else if (parser->uses_transfer_encoding == 1) {
1900
8
          if (parser->type == HTTP_REQUEST && !lenient) {
1901
            /* RFC 7230 3.3.3 */
1902
1903
            /* If a Transfer-Encoding header field
1904
             * is present in a request and the chunked transfer coding is not
1905
             * the final encoding, the message body length cannot be determined
1906
             * reliably; the server MUST respond with the 400 (Bad Request)
1907
             * status code and then close the connection.
1908
             */
1909
7
            SET_ERRNO(HPE_INVALID_TRANSFER_ENCODING);
1910
7
            RETURN(p - data); /* Error */
1911
1
          } else {
1912
            /* RFC 7230 3.3.3 */
1913
1914
            /* If a Transfer-Encoding header field is present in a response and
1915
             * the chunked transfer coding is not the final encoding, the
1916
             * message body length is determined by reading the connection until
1917
             * it is closed by the server.
1918
             */
1919
1
            UPDATE_STATE(s_body_identity_eof);
1920
1
          }
1921
12.4k
        } else {
1922
12.4k
          if (parser->content_length == 0) {
1923
            /* Content-Length header given but zero: Content-Length: 0\r\n */
1924
635
            UPDATE_STATE(NEW_MESSAGE());
1925
635
            CALLBACK_NOTIFY(message_complete);
1926
11.8k
          } else if (parser->content_length != ULLONG_MAX) {
1927
            /* Content-Length header given and non-zero */
1928
892
            UPDATE_STATE(s_body_identity);
1929
10.9k
          } else {
1930
10.9k
            if (!http_message_needs_eof(parser)) {
1931
              /* Assume content-length 0 - read the next */
1932
10.9k
              UPDATE_STATE(NEW_MESSAGE());
1933
10.9k
              CALLBACK_NOTIFY(message_complete);
1934
10.9k
            } else {
1935
              /* Read body until EOF */
1936
51
              UPDATE_STATE(s_body_identity_eof);
1937
51
            }
1938
10.9k
          }
1939
12.4k
        }
1940
1941
13.3k
        break;
1942
13.3k
      }
1943
1944
13.3k
      case s_body_identity:
1945
781
      {
1946
781
        uint64_t to_read = MIN(parser->content_length,
1947
781
                               (uint64_t) ((data + len) - p));
1948
1949
781
        assert(parser->content_length != 0
1950
781
            && parser->content_length != ULLONG_MAX);
1951
1952
        /* The difference between advancing content_length and p is because
1953
         * the latter will automaticaly advance on the next loop iteration.
1954
         * Further, if content_length ends up at 0, we want to see the last
1955
         * byte again for our message complete callback.
1956
         */
1957
781
        MARK(body);
1958
781
        parser->content_length -= to_read;
1959
781
        p += to_read - 1;
1960
1961
781
        if (parser->content_length == 0) {
1962
585
          UPDATE_STATE(s_message_done);
1963
1964
          /* Mimic CALLBACK_DATA_NOADVANCE() but with one extra byte.
1965
           *
1966
           * The alternative to doing this is to wait for the next byte to
1967
           * trigger the data callback, just as in every other case. The
1968
           * problem with this is that this makes it difficult for the test
1969
           * harness to distinguish between complete-on-EOF and
1970
           * complete-on-length. It's not clear that this distinction is
1971
           * important for applications, but let's keep it for now.
1972
           */
1973
585
          CALLBACK_DATA_(body, p - body_mark + 1, p - data);
1974
585
          REEXECUTE();
1975
0
        }
1976
1977
196
        break;
1978
781
      }
1979
1980
      /* read until EOF */
1981
196
      case s_body_identity_eof:
1982
4
        MARK(body);
1983
4
        p = data + len - 1;
1984
1985
4
        break;
1986
1987
904
      case s_message_done:
1988
904
        UPDATE_STATE(NEW_MESSAGE());
1989
904
        CALLBACK_NOTIFY(message_complete);
1990
904
        if (parser->upgrade) {
1991
          /* Exit, the rest of the message is in a different protocol. */
1992
1
          RETURN((p - data) + 1);
1993
0
        }
1994
903
        break;
1995
1996
1.74k
      case s_chunk_size_start:
1997
1.74k
      {
1998
1.74k
        assert(nread == 1);
1999
1.74k
        assert(parser->flags & F_CHUNKED);
2000
2001
1.74k
        unhex_val = unhex[(unsigned char)ch];
2002
1.74k
        if (UNLIKELY(unhex_val == -1)) {
2003
1
          SET_ERRNO(HPE_INVALID_CHUNK_SIZE);
2004
1
          goto error;
2005
1
        }
2006
2007
1.73k
        parser->content_length = unhex_val;
2008
1.73k
        UPDATE_STATE(s_chunk_size);
2009
1.73k
        break;
2010
1.74k
      }
2011
2012
6.09k
      case s_chunk_size:
2013
6.09k
      {
2014
6.09k
        uint64_t t;
2015
2016
6.09k
        assert(parser->flags & F_CHUNKED);
2017
2018
6.09k
        if (ch == CR) {
2019
1.11k
          UPDATE_STATE(s_chunk_size_almost_done);
2020
1.11k
          break;
2021
1.11k
        }
2022
2023
4.98k
        unhex_val = unhex[(unsigned char)ch];
2024
2025
4.98k
        if (unhex_val == -1) {
2026
501
          if (ch == ';' || ch == ' ') {
2027
490
            UPDATE_STATE(s_chunk_parameters);
2028
490
            break;
2029
490
          }
2030
2031
11
          SET_ERRNO(HPE_INVALID_CHUNK_SIZE);
2032
11
          goto error;
2033
501
        }
2034
2035
4.48k
        t = parser->content_length;
2036
4.48k
        t *= 16;
2037
4.48k
        t += unhex_val;
2038
2039
        /* Overflow? Test against a conservative limit for simplicity. */
2040
4.48k
        if (UNLIKELY((ULLONG_MAX - 16) / 16 < parser->content_length)) {
2041
6
          SET_ERRNO(HPE_INVALID_CONTENT_LENGTH);
2042
6
          goto error;
2043
6
        }
2044
2045
4.47k
        parser->content_length = t;
2046
4.47k
        break;
2047
4.48k
      }
2048
2049
2.26k
      case s_chunk_parameters:
2050
2.26k
      {
2051
2.26k
        assert(parser->flags & F_CHUNKED);
2052
        /* just ignore this shit. TODO check for overflow */
2053
2.26k
        if (ch == CR) {
2054
465
          UPDATE_STATE(s_chunk_size_almost_done);
2055
465
          break;
2056
465
        }
2057
1.79k
        break;
2058
2.26k
      }
2059
2060
1.79k
      case s_chunk_size_almost_done:
2061
1.56k
      {
2062
1.56k
        assert(parser->flags & F_CHUNKED);
2063
1.56k
        STRICT_CHECK(ch != LF);
2064
2065
1.56k
        parser->nread = 0;
2066
1.56k
        nread = 0;
2067
2068
1.56k
        if (parser->content_length == 0) {
2069
324
          parser->flags |= F_TRAILING;
2070
324
          UPDATE_STATE(s_header_field_start);
2071
1.23k
        } else {
2072
1.23k
          UPDATE_STATE(s_chunk_data);
2073
1.23k
        }
2074
1.56k
        CALLBACK_NOTIFY(chunk_header);
2075
1.56k
        break;
2076
1.56k
      }
2077
2078
1.56k
      case s_chunk_data:
2079
1.14k
      {
2080
1.14k
        uint64_t to_read = MIN(parser->content_length,
2081
1.14k
                               (uint64_t) ((data + len) - p));
2082
2083
1.14k
        assert(parser->flags & F_CHUNKED);
2084
1.14k
        assert(parser->content_length != 0
2085
1.14k
            && parser->content_length != ULLONG_MAX);
2086
2087
        /* See the explanation in s_body_identity for why the content
2088
         * length and data pointers are managed this way.
2089
         */
2090
1.14k
        MARK(body);
2091
1.14k
        parser->content_length -= to_read;
2092
1.14k
        p += to_read - 1;
2093
2094
1.14k
        if (parser->content_length == 0) {
2095
948
          UPDATE_STATE(s_chunk_data_almost_done);
2096
948
        }
2097
2098
1.14k
        break;
2099
1.14k
      }
2100
2101
940
      case s_chunk_data_almost_done:
2102
940
        assert(parser->flags & F_CHUNKED);
2103
940
        assert(parser->content_length == 0);
2104
940
        STRICT_CHECK(ch != CR);
2105
940
        UPDATE_STATE(s_chunk_data_done);
2106
940
        CALLBACK_DATA(body);
2107
940
        break;
2108
2109
940
      case s_chunk_data_done:
2110
931
        assert(parser->flags & F_CHUNKED);
2111
931
        STRICT_CHECK(ch != LF);
2112
931
        parser->nread = 0;
2113
931
        nread = 0;
2114
931
        UPDATE_STATE(s_chunk_size_start);
2115
931
        CALLBACK_NOTIFY(chunk_complete);
2116
931
        break;
2117
2118
931
      default:
2119
0
        assert(0 && "unhandled state");
2120
0
        SET_ERRNO(HPE_INVALID_INTERNAL_STATE);
2121
0
        goto error;
2122
827k
    }
2123
827k
  }
2124
2125
  /* Run callbacks for any marks that we have leftover after we ran out of
2126
   * bytes. There should be at most one of these set, so it's OK to invoke
2127
   * them in series (unset marks will not result in callbacks).
2128
   *
2129
   * We use the NOADVANCE() variety of callbacks here because 'p' has already
2130
   * overflowed 'data' and this allows us to correct for the off-by-one that
2131
   * we'd otherwise have (since CALLBACK_DATA() is meant to be run with a 'p'
2132
   * value that's in-bounds).
2133
   */
2134
2135
4.18k
  assert(((header_field_mark ? 1 : 0) +
2136
3.15k
          (header_value_mark ? 1 : 0) +
2137
3.15k
          (url_mark ? 1 : 0)  +
2138
3.15k
          (body_mark ? 1 : 0) +
2139
3.15k
          (status_mark ? 1 : 0)) <= 1);
2140
2141
3.15k
  CALLBACK_DATA_NOADVANCE(header_field);
2142
3.15k
  CALLBACK_DATA_NOADVANCE(header_value);
2143
3.15k
  CALLBACK_DATA_NOADVANCE(url);
2144
3.15k
  CALLBACK_DATA_NOADVANCE(body);
2145
3.15k
  CALLBACK_DATA_NOADVANCE(status);
2146
2147
3.15k
  RETURN(len);
2148
2149
1.01k
error:
2150
1.01k
  if (HTTP_PARSER_ERRNO(parser) == HPE_OK) {
2151
0
    SET_ERRNO(HPE_UNKNOWN);
2152
0
  }
2153
2154
1.01k
  RETURN(p - data);
2155
0
}
2156
2157
2158
/* Does the parser need to see an EOF to find the end of the message? */
2159
int
2160
http_message_needs_eof (const http_parser *parser)
2161
10.9k
{
2162
10.9k
  if (parser->type == HTTP_REQUEST) {
2163
9.16k
    return 0;
2164
9.16k
  }
2165
2166
  /* See RFC 2616 section 4.4 */
2167
1.79k
  if (parser->status_code / 100 == 1 || /* 1xx e.g. Continue */
2168
1.06k
      parser->status_code == 204 ||     /* No Content */
2169
491
      parser->status_code == 304 ||     /* Not Modified */
2170
1.74k
      parser->flags & F_SKIPBODY) {     /* response to a HEAD request */
2171
1.74k
    return 0;
2172
1.74k
  }
2173
2174
  /* RFC 7230 3.3.3, see `s_headers_almost_done` */
2175
51
  if ((parser->uses_transfer_encoding == 1) &&
2176
0
      (parser->flags & F_CHUNKED) == 0) {
2177
0
    return 1;
2178
0
  }
2179
2180
51
  if ((parser->flags & F_CHUNKED) || parser->content_length != ULLONG_MAX) {
2181
0
    return 0;
2182
0
  }
2183
2184
51
  return 1;
2185
51
}
2186
2187
2188
int
2189
http_should_keep_alive (const http_parser *parser)
2190
0
{
2191
0
  if (parser->http_major > 0 && parser->http_minor > 0) {
2192
    /* HTTP/1.1 */
2193
0
    if (parser->flags & F_CONNECTION_CLOSE) {
2194
0
      return 0;
2195
0
    }
2196
0
  } else {
2197
    /* HTTP/1.0 or earlier */
2198
0
    if (!(parser->flags & F_CONNECTION_KEEP_ALIVE)) {
2199
0
      return 0;
2200
0
    }
2201
0
  }
2202
2203
0
  return !http_message_needs_eof(parser);
2204
0
}
2205
2206
2207
const char *
2208
http_method_str (enum http_method m)
2209
0
{
2210
0
  return ELEM_AT(method_strings, m, "<unknown>");
2211
0
}
2212
2213
const char *
2214
http_status_str (enum http_status s)
2215
0
{
2216
0
  switch (s) {
2217
0
#define XX(num, name, string) case HTTP_STATUS_##name: return #string;
2218
0
    HTTP_STATUS_MAP(XX)
2219
0
#undef XX
2220
0
    default: return "<unknown>";
2221
0
  }
2222
0
}
2223
2224
void
2225
http_parser_init (http_parser *parser, enum http_parser_type t)
2226
4.18k
{
2227
4.18k
  void *data = parser->data; /* preserve application data */
2228
4.18k
  memset(parser, 0, sizeof(*parser));
2229
4.18k
  parser->data = data;
2230
4.18k
  parser->type = t;
2231
4.18k
  parser->state = (t == HTTP_REQUEST ? s_start_req : (t == HTTP_RESPONSE ? s_start_res : s_start_req_or_res));
2232
4.18k
  parser->http_errno = HPE_OK;
2233
4.18k
}
2234
2235
void
2236
http_parser_settings_init(http_parser_settings *settings)
2237
0
{
2238
0
  memset(settings, 0, sizeof(*settings));
2239
0
}
2240
2241
const char *
2242
0
http_errno_name(enum http_errno err) {
2243
0
  assert(((size_t) err) < ARRAY_SIZE(http_strerror_tab));
2244
0
  return http_strerror_tab[err].name;
2245
0
}
2246
2247
const char *
2248
0
http_errno_description(enum http_errno err) {
2249
0
  assert(((size_t) err) < ARRAY_SIZE(http_strerror_tab));
2250
0
  return http_strerror_tab[err].description;
2251
0
}
2252
2253
static enum http_host_state
2254
0
http_parse_host_char(enum http_host_state s, const char ch) {
2255
0
  switch(s) {
2256
0
    case s_http_userinfo:
2257
0
    case s_http_userinfo_start:
2258
0
      if (ch == '@') {
2259
0
        return s_http_host_start;
2260
0
      }
2261
2262
0
      if (IS_USERINFO_CHAR(ch)) {
2263
0
        return s_http_userinfo;
2264
0
      }
2265
0
      break;
2266
2267
0
    case s_http_host_start:
2268
0
      if (ch == '[') {
2269
0
        return s_http_host_v6_start;
2270
0
      }
2271
2272
0
      if (IS_HOST_CHAR(ch)) {
2273
0
        return s_http_host;
2274
0
      }
2275
2276
0
      break;
2277
2278
0
    case s_http_host:
2279
0
      if (IS_HOST_CHAR(ch)) {
2280
0
        return s_http_host;
2281
0
      }
2282
2283
    /* fall through */
2284
0
    case s_http_host_v6_end:
2285
0
      if (ch == ':') {
2286
0
        return s_http_host_port_start;
2287
0
      }
2288
2289
0
      break;
2290
2291
0
    case s_http_host_v6:
2292
0
      if (ch == ']') {
2293
0
        return s_http_host_v6_end;
2294
0
      }
2295
2296
    /* fall through */
2297
0
    case s_http_host_v6_start:
2298
0
      if (IS_HEX(ch) || ch == ':' || ch == '.') {
2299
0
        return s_http_host_v6;
2300
0
      }
2301
2302
0
      if (s == s_http_host_v6 && ch == '%') {
2303
0
        return s_http_host_v6_zone_start;
2304
0
      }
2305
0
      break;
2306
2307
0
    case s_http_host_v6_zone:
2308
0
      if (ch == ']') {
2309
0
        return s_http_host_v6_end;
2310
0
      }
2311
2312
    /* fall through */
2313
0
    case s_http_host_v6_zone_start:
2314
      /* RFC 6874 Zone ID consists of 1*( unreserved / pct-encoded) */
2315
0
      if (IS_ALPHANUM(ch) || ch == '%' || ch == '.' || ch == '-' || ch == '_' ||
2316
0
          ch == '~') {
2317
0
        return s_http_host_v6_zone;
2318
0
      }
2319
0
      break;
2320
2321
0
    case s_http_host_port:
2322
0
    case s_http_host_port_start:
2323
0
      if (IS_NUM(ch)) {
2324
0
        return s_http_host_port;
2325
0
      }
2326
2327
0
      break;
2328
2329
0
    default:
2330
0
      break;
2331
0
  }
2332
0
  return s_http_host_dead;
2333
0
}
2334
2335
static int
2336
0
http_parse_host(const char * buf, struct http_parser_url *u, int found_at) {
2337
0
  enum http_host_state s;
2338
2339
0
  const char *p;
2340
0
  size_t buflen = u->field_data[UF_HOST].off + u->field_data[UF_HOST].len;
2341
2342
0
  assert(u->field_set & (1 << UF_HOST));
2343
2344
0
  u->field_data[UF_HOST].len = 0;
2345
2346
0
  s = found_at ? s_http_userinfo_start : s_http_host_start;
2347
2348
0
  for (p = buf + u->field_data[UF_HOST].off; p < buf + buflen; p++) {
2349
0
    enum http_host_state new_s = http_parse_host_char(s, *p);
2350
2351
0
    if (new_s == s_http_host_dead) {
2352
0
      return 1;
2353
0
    }
2354
2355
0
    switch(new_s) {
2356
0
      case s_http_host:
2357
0
        if (s != s_http_host) {
2358
0
          u->field_data[UF_HOST].off = (uint16_t)(p - buf);
2359
0
        }
2360
0
        u->field_data[UF_HOST].len++;
2361
0
        break;
2362
2363
0
      case s_http_host_v6:
2364
0
        if (s != s_http_host_v6) {
2365
0
          u->field_data[UF_HOST].off = (uint16_t)(p - buf);
2366
0
        }
2367
0
        u->field_data[UF_HOST].len++;
2368
0
        break;
2369
2370
0
      case s_http_host_v6_zone_start:
2371
0
      case s_http_host_v6_zone:
2372
0
        u->field_data[UF_HOST].len++;
2373
0
        break;
2374
2375
0
      case s_http_host_port:
2376
0
        if (s != s_http_host_port) {
2377
0
          u->field_data[UF_PORT].off = (uint16_t)(p - buf);
2378
0
          u->field_data[UF_PORT].len = 0;
2379
0
          u->field_set |= (1 << UF_PORT);
2380
0
        }
2381
0
        u->field_data[UF_PORT].len++;
2382
0
        break;
2383
2384
0
      case s_http_userinfo:
2385
0
        if (s != s_http_userinfo) {
2386
0
          u->field_data[UF_USERINFO].off = (uint16_t)(p - buf);
2387
0
          u->field_data[UF_USERINFO].len = 0;
2388
0
          u->field_set |= (1 << UF_USERINFO);
2389
0
        }
2390
0
        u->field_data[UF_USERINFO].len++;
2391
0
        break;
2392
2393
0
      default:
2394
0
        break;
2395
0
    }
2396
0
    s = new_s;
2397
0
  }
2398
2399
  /* Make sure we don't end somewhere unexpected */
2400
0
  switch (s) {
2401
0
    case s_http_host_start:
2402
0
    case s_http_host_v6_start:
2403
0
    case s_http_host_v6:
2404
0
    case s_http_host_v6_zone_start:
2405
0
    case s_http_host_v6_zone:
2406
0
    case s_http_host_port_start:
2407
0
    case s_http_userinfo:
2408
0
    case s_http_userinfo_start:
2409
0
      return 1;
2410
0
    default:
2411
0
      break;
2412
0
  }
2413
2414
0
  return 0;
2415
0
}
2416
2417
void
2418
0
http_parser_url_init(struct http_parser_url *u) {
2419
0
  memset(u, 0, sizeof(*u));
2420
0
}
2421
2422
int
2423
http_parser_parse_url(const char *buf, size_t buflen, int is_connect,
2424
                      struct http_parser_url *u)
2425
0
{
2426
0
  enum state s;
2427
0
  const char *p;
2428
0
  enum http_parser_url_fields uf, old_uf;
2429
0
  int found_at = 0;
2430
2431
0
  if (buflen == 0) {
2432
0
    return 1;
2433
0
  }
2434
2435
0
  u->port = u->field_set = 0;
2436
0
  s = is_connect ? s_req_server_start : s_req_spaces_before_url;
2437
0
  old_uf = UF_MAX;
2438
2439
0
  for (p = buf; p < buf + buflen; p++) {
2440
0
    s = parse_url_char(s, *p);
2441
2442
    /* Figure out the next field that we're operating on */
2443
0
    switch (s) {
2444
0
      case s_dead:
2445
0
        return 1;
2446
2447
      /* Skip delimeters */
2448
0
      case s_req_schema_slash:
2449
0
      case s_req_schema_slash_slash:
2450
0
      case s_req_server_start:
2451
0
      case s_req_query_string_start:
2452
0
      case s_req_fragment_start:
2453
0
        continue;
2454
2455
0
      case s_req_schema:
2456
0
        uf = UF_SCHEMA;
2457
0
        break;
2458
2459
0
      case s_req_server_with_at:
2460
0
        found_at = 1;
2461
2462
      /* fall through */
2463
0
      case s_req_server:
2464
0
        uf = UF_HOST;
2465
0
        break;
2466
2467
0
      case s_req_path:
2468
0
        uf = UF_PATH;
2469
0
        break;
2470
2471
0
      case s_req_query_string:
2472
0
        uf = UF_QUERY;
2473
0
        break;
2474
2475
0
      case s_req_fragment:
2476
0
        uf = UF_FRAGMENT;
2477
0
        break;
2478
2479
0
      default:
2480
0
        assert(!"Unexpected state");
2481
0
        return 1;
2482
0
    }
2483
2484
    /* Nothing's changed; soldier on */
2485
0
    if (uf == old_uf) {
2486
0
      u->field_data[uf].len++;
2487
0
      continue;
2488
0
    }
2489
2490
0
    u->field_data[uf].off = (uint16_t)(p - buf);
2491
0
    u->field_data[uf].len = 1;
2492
2493
0
    u->field_set |= (1 << uf);
2494
0
    old_uf = uf;
2495
0
  }
2496
2497
  /* host must be present if there is a schema */
2498
  /* parsing http:///toto will fail */
2499
0
  if ((u->field_set & (1 << UF_SCHEMA)) &&
2500
0
      (u->field_set & (1 << UF_HOST)) == 0) {
2501
0
    return 1;
2502
0
  }
2503
2504
0
  if (u->field_set & (1 << UF_HOST)) {
2505
0
    if (http_parse_host(buf, u, found_at) != 0) {
2506
0
      return 1;
2507
0
    }
2508
0
  }
2509
2510
  /* CONNECT requests can only contain "hostname:port" */
2511
0
  if (is_connect && u->field_set != ((1 << UF_HOST)|(1 << UF_PORT))) {
2512
0
    return 1;
2513
0
  }
2514
2515
0
  if (u->field_set & (1 << UF_PORT)) {
2516
0
    uint16_t off;
2517
0
    uint16_t len;
2518
0
    const char* p;
2519
0
    const char* end;
2520
0
    unsigned long v;
2521
2522
0
    off = u->field_data[UF_PORT].off;
2523
0
    len = u->field_data[UF_PORT].len;
2524
0
    end = buf + off + len;
2525
2526
    /* NOTE: The characters are already validated and are in the [0-9] range */
2527
0
    assert((size_t) (off + len) <= buflen && "Port number overflow");
2528
0
    v = 0;
2529
0
    for (p = buf + off; p < end; p++) {
2530
0
      v *= 10;
2531
0
      v += *p - '0';
2532
2533
      /* Ports have a max value of 2^16 */
2534
0
      if (v > 0xffff) {
2535
0
        return 1;
2536
0
      }
2537
0
    }
2538
2539
0
    u->port = (uint16_t) v;
2540
0
  }
2541
2542
0
  return 0;
2543
0
}
2544
2545
void
2546
0
http_parser_pause(http_parser *parser, int paused) {
2547
  /* Users should only be pausing/unpausing a parser that is not in an error
2548
   * state. In non-debug builds, there's not much that we can do about this
2549
   * other than ignore it.
2550
   */
2551
0
  if (HTTP_PARSER_ERRNO(parser) == HPE_OK ||
2552
0
      HTTP_PARSER_ERRNO(parser) == HPE_PAUSED) {
2553
0
    uint32_t nread = parser->nread; /* used by the SET_ERRNO macro */
2554
0
    SET_ERRNO((paused) ? HPE_PAUSED : HPE_OK);
2555
0
  } else {
2556
0
    assert(0 && "Attempting to pause parser in error state");
2557
0
  }
2558
0
}
2559
2560
int
2561
0
http_body_is_final(const struct http_parser *parser) {
2562
0
    return parser->state == s_message_done;
2563
0
}
2564
2565
unsigned long
2566
0
http_parser_version(void) {
2567
0
  return HTTP_PARSER_VERSION_MAJOR * 0x10000 |
2568
0
         HTTP_PARSER_VERSION_MINOR * 0x00100 |
2569
0
         HTTP_PARSER_VERSION_PATCH * 0x00001;
2570
0
}
2571
2572
void
2573
0
http_parser_set_max_header_size(uint32_t size) {
2574
0
  max_header_size = size;
2575
0
}