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