npf_rule_test.c revision 1.17 1 1.1 rmind /*
2 1.16 rmind * NPF ruleset tests.
3 1.1 rmind *
4 1.1 rmind * Public Domain.
5 1.1 rmind */
6 1.1 rmind
7 1.13 christos #ifdef _KERNEL
8 1.1 rmind #include <sys/types.h>
9 1.13 christos #endif
10 1.1 rmind
11 1.1 rmind #include "npf_impl.h"
12 1.1 rmind #include "npf_test.h"
13 1.1 rmind
14 1.1 rmind #define RESULT_PASS 0
15 1.1 rmind #define RESULT_BLOCK ENETUNREACH
16 1.1 rmind
17 1.1 rmind static const struct test_case {
18 1.1 rmind const char * src;
19 1.1 rmind const char * dst;
20 1.1 rmind const char * ifname;
21 1.1 rmind int di;
22 1.1 rmind int stateful_ret;
23 1.1 rmind int ret;
24 1.1 rmind } test_cases[] = {
25 1.1 rmind
26 1.1 rmind /* Stateful pass. */
27 1.1 rmind {
28 1.1 rmind .src = "10.1.1.1", .dst = "10.1.1.2",
29 1.1 rmind .ifname = IFNAME_INT, .di = PFIL_OUT,
30 1.1 rmind .stateful_ret = RESULT_PASS, .ret = RESULT_PASS
31 1.1 rmind },
32 1.1 rmind {
33 1.1 rmind .src = "10.1.1.2", .dst = "10.1.1.1",
34 1.1 rmind .ifname = IFNAME_INT, .di = PFIL_IN,
35 1.1 rmind .stateful_ret = RESULT_PASS, .ret = RESULT_BLOCK
36 1.1 rmind },
37 1.1 rmind
38 1.1 rmind /* Pass forwards stream only. */
39 1.1 rmind {
40 1.1 rmind .src = "10.1.1.1", .dst = "10.1.1.3",
41 1.1 rmind .ifname = IFNAME_INT, .di = PFIL_OUT,
42 1.1 rmind .stateful_ret = RESULT_PASS, .ret = RESULT_PASS
43 1.1 rmind },
44 1.1 rmind {
45 1.1 rmind .src = "10.1.1.3", .dst = "10.1.1.1",
46 1.1 rmind .ifname = IFNAME_INT, .di = PFIL_IN,
47 1.1 rmind .stateful_ret = RESULT_BLOCK, .ret = RESULT_BLOCK
48 1.1 rmind },
49 1.1 rmind
50 1.1 rmind /* Block. */
51 1.1 rmind { .src = "10.1.1.1", .dst = "10.1.1.4",
52 1.1 rmind .ifname = IFNAME_INT, .di = PFIL_OUT,
53 1.1 rmind .stateful_ret = RESULT_BLOCK, .ret = RESULT_BLOCK
54 1.1 rmind },
55 1.1 rmind
56 1.1 rmind };
57 1.1 rmind
58 1.1 rmind static int
59 1.17 rmind run_raw_testcase(unsigned i)
60 1.1 rmind {
61 1.17 rmind const struct test_case *t = &test_cases[i];
62 1.13 christos npf_t *npf = npf_getkernctx();
63 1.17 rmind npf_cache_t *npc;
64 1.17 rmind struct mbuf *m;
65 1.1 rmind npf_rule_t *rl;
66 1.17 rmind int slock, error;
67 1.17 rmind
68 1.17 rmind m = mbuf_get_pkt(AF_INET, IPPROTO_UDP, t->src, t->dst, 9000, 9000);
69 1.17 rmind npc = get_cached_pkt(m, t->ifname);
70 1.1 rmind
71 1.17 rmind slock = npf_config_read_enter();
72 1.17 rmind rl = npf_ruleset_inspect(npc, npf_config_ruleset(npf), t->di, NPF_LAYER_3);
73 1.1 rmind if (rl) {
74 1.17 rmind npf_match_info_t mi;
75 1.14 christos error = npf_rule_conclude(rl, &mi);
76 1.1 rmind } else {
77 1.1 rmind error = ENOENT;
78 1.1 rmind }
79 1.4 rmind npf_config_read_exit(slock);
80 1.17 rmind
81 1.17 rmind put_cached_pkt(npc);
82 1.1 rmind return error;
83 1.1 rmind }
84 1.1 rmind
85 1.4 rmind static int
86 1.17 rmind run_handler_testcase(unsigned i)
87 1.4 rmind {
88 1.8 rmind const struct test_case *t = &test_cases[i];
89 1.13 christos ifnet_t *ifp = npf_test_getif(t->ifname);
90 1.17 rmind npf_t *npf = npf_getkernctx();
91 1.17 rmind struct mbuf *m;
92 1.4 rmind int error;
93 1.4 rmind
94 1.17 rmind m = mbuf_get_pkt(AF_INET, IPPROTO_UDP, t->src, t->dst, 9000, 9000);
95 1.17 rmind error = npf_packet_handler(npf, &m, ifp, t->di);
96 1.17 rmind if (m) {
97 1.17 rmind m_freem(m);
98 1.17 rmind }
99 1.4 rmind return error;
100 1.4 rmind }
101 1.4 rmind
102 1.4 rmind static npf_rule_t *
103 1.4 rmind npf_blockall_rule(void)
104 1.4 rmind {
105 1.13 christos npf_t *npf = npf_getkernctx();
106 1.15 rmind nvlist_t *rule = nvlist_create(0);
107 1.17 rmind npf_rule_t *rl;
108 1.4 rmind
109 1.15 rmind nvlist_add_number(rule, "attr",
110 1.7 rmind NPF_RULE_IN | NPF_RULE_OUT | NPF_RULE_DYNAMIC);
111 1.17 rmind rl = npf_rule_alloc(npf, rule);
112 1.17 rmind nvlist_destroy(rule);
113 1.17 rmind return rl;
114 1.4 rmind }
115 1.4 rmind
116 1.17 rmind static bool
117 1.17 rmind test_static(bool verbose)
118 1.1 rmind {
119 1.1 rmind for (unsigned i = 0; i < __arraycount(test_cases); i++) {
120 1.1 rmind const struct test_case *t = &test_cases[i];
121 1.17 rmind int error, serror;
122 1.1 rmind
123 1.17 rmind if (npf_test_getif(t->ifname) == NULL) {
124 1.1 rmind printf("Interface %s is not configured.\n", t->ifname);
125 1.1 rmind return false;
126 1.1 rmind }
127 1.1 rmind
128 1.17 rmind error = run_raw_testcase(i);
129 1.17 rmind serror = run_handler_testcase(i);
130 1.1 rmind
131 1.1 rmind if (verbose) {
132 1.16 rmind printf("rule test %d:\texpected %d (stateful) and %d\n"
133 1.16 rmind "\t\t-> returned %d and %d\n",
134 1.1 rmind i + 1, t->stateful_ret, t->ret, serror, error);
135 1.1 rmind }
136 1.17 rmind CHECK_TRUE(error == t->ret);
137 1.17 rmind CHECK_TRUE(serror == t->stateful_ret)
138 1.1 rmind }
139 1.17 rmind return true;
140 1.17 rmind }
141 1.17 rmind
142 1.17 rmind static bool
143 1.17 rmind test_dynamic(void)
144 1.17 rmind {
145 1.17 rmind npf_t *npf = npf_getkernctx();
146 1.17 rmind npf_ruleset_t *rlset;
147 1.17 rmind npf_rule_t *rl;
148 1.17 rmind uint64_t id;
149 1.17 rmind int error;
150 1.4 rmind
151 1.8 rmind /*
152 1.8 rmind * Test dynamic NPF rules.
153 1.8 rmind */
154 1.8 rmind
155 1.17 rmind error = run_raw_testcase(0);
156 1.16 rmind CHECK_TRUE(error == RESULT_PASS);
157 1.4 rmind
158 1.13 christos npf_config_enter(npf);
159 1.13 christos rlset = npf_config_ruleset(npf);
160 1.4 rmind
161 1.4 rmind rl = npf_blockall_rule();
162 1.4 rmind error = npf_ruleset_add(rlset, "test-rules", rl);
163 1.16 rmind CHECK_TRUE(error == 0);
164 1.4 rmind
165 1.17 rmind error = run_raw_testcase(0);
166 1.16 rmind CHECK_TRUE(error == RESULT_BLOCK);
167 1.4 rmind
168 1.6 rmind id = npf_rule_getid(rl);
169 1.6 rmind error = npf_ruleset_remove(rlset, "test-rules", id);
170 1.16 rmind CHECK_TRUE(error == 0);
171 1.4 rmind
172 1.13 christos npf_config_exit(npf);
173 1.4 rmind
174 1.17 rmind error = run_raw_testcase(0);
175 1.16 rmind CHECK_TRUE(error == RESULT_PASS);
176 1.4 rmind
177 1.16 rmind return true;
178 1.1 rmind }
179 1.17 rmind
180 1.17 rmind bool
181 1.17 rmind npf_rule_test(bool verbose)
182 1.17 rmind {
183 1.17 rmind bool ok;
184 1.17 rmind
185 1.17 rmind ok = test_static(verbose);
186 1.17 rmind CHECK_TRUE(ok);
187 1.17 rmind
188 1.17 rmind ok = test_dynamic();
189 1.17 rmind CHECK_TRUE(ok);
190 1.17 rmind
191 1.17 rmind return true;
192 1.17 rmind }
193