aqueduct1/test.c at master · bottle2/aqueduct1 · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
#include <assert.h>

#include "code.h"

// TODO how do we test OOM?
// test adjacent errors

#define TEST_MOVIE_PARSE_XS(X) \
X(CODE_ERROR_NO_TITLE   , ""                       ) \
X(CODE_ERROR_NO_QUOTED  , ".TITLE"                 ) \
X(CODE_ERROR_NO_QUOTED  , ".TITLE     "            ) \
X(CODE_ERROR_INVALID_CMD, ".TITLE\""               ) \
X(CODE_ERROR_NO_QUOTED  , ".TITLE \""              ) \
X(CODE_ERROR_NO_QUOTED  , ".TITLE \"\""            ) \
X(CODE_ERROR_NO_QUOTED  , ".TITLE \"Movies"        ) \
X(CODE_OKAY             , ".TITLE \"Movies\""      ) \
X(CODE_OKAY             , ".TITLE \"Movies\"     " ) \
X(CODE_OKAY             , ".TITLE \"Movies\"\t\r\n") \
X(CODE_ERROR_NO_QUOTED  , ".TITLE\n\"Movies\""     ) \
X(CODE_OKAY             , ".TITLE \"Movies\""      ) \
X(CODE_OKAY             , ".TITLE \"Çöœï🙂‍↔ã™®©\"") \
X(CODE_OKAY             , ".TITLE \"\\\\\\\"\""    ) \
X(CODE_ERROR_TRAILING   , ".TITLE \"Movies\"     a") \
\
X(CODE_ERROR_NO_TITLE   , ".PP"                 ) \
X(CODE_ERROR_NO_TITLE   , ".PP   \t\f\v\r\n\r\n") \
X(CODE_ERROR_NO_TITLE   , ".PP\n"               ) \
X(CODE_ERROR_INVALID_CMD, ".PP\a"               ) \
X(CODE_ERROR_INVALID_CMD, ".PP\""               ) \
X(CODE_ERROR_TRAILING   , ".PP    a"            ) \
\

#if 0
".HEADING"
".HEADING   "
".HEADING   -7"
".HEADING 0"
".HEADING 1"
".HEADING 6"
".HEADING 7"
".HEADING 7"
".HEADING 19"
".HEADING 69"
".HEADING 0x4"
".HEADING 1    "
".HEADING 1 \""
".HEADING 1 \"\""
".HEADING 1 \"Movies\""
".HEADING 1 \"Movies\""
".HEADING 1 \"Movies\" \""
".HEADING \"Movies\""
#endif

#define TEST_HOST "Host: XXX\r\n\r\n"
// Maybe we could use some evil Boost::Preprocessor to generate test cases LOL
// or not, just enjoy buffered parsing!

#define HTTP2_PRESUMED "PRI * HTTP/2.0\r\n\r\nSM\r\n\r\n"

#define TEST_HTTP_PARSE_XS(X) \
X(CODE_NO_UPGRADE      , "PRI * HTTP/2.0\r\n\r\nSM\r\n\r\n") \
X(CODE_OKAY            , "GET /movies HTTP/1.1\r\n"       TEST_HOST) \
X(CODE_OKAY            , "GET /movies.html HTTP/1.1\r\n"  TEST_HOST) \
X(CODE_OKAY            , "GET /movies/ HTTP/1.1\r\n"      TEST_HOST) \
X(CODE_OKAY            , "HEAD /movies HTTP/1.1\r\n"      TEST_HOST) \
X(CODE_OKAY            , "HEAD /movies.html HTTP/1.1\r\n" TEST_HOST) \
X(CODE_OKAY            , "HEAD /movies/ HTTP/1.1\r\n"     TEST_HOST) \
\
X(CODE_BAD_REQUEST, "Get /movies\r\n" TEST_HOST) \
X(CODE_NOT_FOUND       , "GET / HTTP/1.1\r\n" TEST_HOST) \
X(CODE_NOT_IMPLEMENTED , "OPTIONS * HTTP/1.1\r\n" TEST_HOST) \
X(CODE_NOT_IMPLEMENTED , "OPTIONS /movies.html HTTP/1.1\r\n" TEST_HOST) \
X(CODE_NOT_IMPLEMENTED , "POST /fakeform/ HTTP/1.1\r\n" TEST_HOST) \
X(CODE_NOT_IMPLEMENTED , "PUT  /fakeform/ HTTP/1.1\r\n" TEST_HOST) \
X(CODE_NOT_IMPLEMENTED , "DELETE  /movies.html HTTP/1.1\r\n" TEST_HOST) \
X(CODE_NOT_IMPLEMENTED , "TRACE  /movies.html HTTP/1.1\r\n" TEST_HOST) \

#define TEST_HTTP_TARGET_XS(V, I) \
V("/movies") V("/movies.html") V("/movies/") \
I("/") I("/index.html") I("/robots.txt") I("/favicon.ico") \
I("/Movies") I("/MOVIES")

#define TEST_HTTP_AUTHORITY_XS(V, I) \
V("127.0.0.1") V("localhost") V("191.252.220.165") \
I("google.com") I("ufsm.br")

// Test: no HTTPS for now. port 80 and no other (e.g. 443)
// prohibited no userinfo

static void test_http(void);

int main(void)
{
    test_http();
}

#define IT_AND_SIZE(IT) (IT), (sizeof (IT) - 1)

static void test_http(void)
{
    assert(CODE_NO_UPGRADE == http_parse(http_init(), IT_AND_SIZE(HTTP2_PRESUMED)));

    for (int i = 0; i <
}

// honestly, the best would be to consume Ragel to feed a fuzzer or something...
// like Turing machine printers