187091063SKumar Kartikeya Dwivedi // SPDX-License-Identifier: GPL-2.0
287091063SKumar Kartikeya Dwivedi #include <test_progs.h>
387091063SKumar Kartikeya Dwivedi #include <network_helpers.h>
4f7c946f2SLorenzo Bianconi #include <linux/netfilter/nf_conntrack_common.h>
587091063SKumar Kartikeya Dwivedi #include "test_bpf_nf.skel.h"
6c6f420acSKumar Kartikeya Dwivedi #include "test_bpf_nf_fail.skel.h"
7c6f420acSKumar Kartikeya Dwivedi 
8c6f420acSKumar Kartikeya Dwivedi static char log_buf[1024 * 1024];
9c6f420acSKumar Kartikeya Dwivedi 
10c6f420acSKumar Kartikeya Dwivedi struct {
11c6f420acSKumar Kartikeya Dwivedi 	const char *prog_name;
12c6f420acSKumar Kartikeya Dwivedi 	const char *err_msg;
13c6f420acSKumar Kartikeya Dwivedi } test_bpf_nf_fail_tests[] = {
14c6f420acSKumar Kartikeya Dwivedi 	{ "alloc_release", "kernel function bpf_ct_release args#0 expected pointer to STRUCT nf_conn but" },
15c6f420acSKumar Kartikeya Dwivedi 	{ "insert_insert", "kernel function bpf_ct_insert_entry args#0 expected pointer to STRUCT nf_conn___init but" },
16c6f420acSKumar Kartikeya Dwivedi 	{ "lookup_insert", "kernel function bpf_ct_insert_entry args#0 expected pointer to STRUCT nf_conn___init but" },
17c6f420acSKumar Kartikeya Dwivedi 	{ "set_timeout_after_insert", "kernel function bpf_ct_set_timeout args#0 expected pointer to STRUCT nf_conn___init but" },
18c6f420acSKumar Kartikeya Dwivedi 	{ "set_status_after_insert", "kernel function bpf_ct_set_status args#0 expected pointer to STRUCT nf_conn___init but" },
19c6f420acSKumar Kartikeya Dwivedi 	{ "change_timeout_after_alloc", "kernel function bpf_ct_change_timeout args#0 expected pointer to STRUCT nf_conn but" },
20c6f420acSKumar Kartikeya Dwivedi 	{ "change_status_after_alloc", "kernel function bpf_ct_change_status args#0 expected pointer to STRUCT nf_conn but" },
21e2d75e95SDaniel Xu 	{ "write_not_allowlisted_field", "no write support to nf_conn at off" },
22c6f420acSKumar Kartikeya Dwivedi };
2387091063SKumar Kartikeya Dwivedi 
2487091063SKumar Kartikeya Dwivedi enum {
2587091063SKumar Kartikeya Dwivedi 	TEST_XDP,
2687091063SKumar Kartikeya Dwivedi 	TEST_TC_BPF,
2787091063SKumar Kartikeya Dwivedi };
2887091063SKumar Kartikeya Dwivedi 
29e81fbd4cSDaniel Xu #define TIMEOUT_MS		3000
30b06b45e8SLorenzo Bianconi #define IPS_STATUS_MASK		(IPS_CONFIRMED | IPS_SEEN_REPLY | \
31b06b45e8SLorenzo Bianconi 				 IPS_SRC_NAT_DONE | IPS_DST_NAT_DONE | \
32b06b45e8SLorenzo Bianconi 				 IPS_SRC_NAT | IPS_DST_NAT)
33e81fbd4cSDaniel Xu 
connect_to_server(int srv_fd)34e81fbd4cSDaniel Xu static int connect_to_server(int srv_fd)
35e81fbd4cSDaniel Xu {
36e81fbd4cSDaniel Xu 	int fd = -1;
37e81fbd4cSDaniel Xu 
38e81fbd4cSDaniel Xu 	fd = socket(AF_INET, SOCK_STREAM, 0);
39e81fbd4cSDaniel Xu 	if (!ASSERT_GE(fd, 0, "socket"))
40e81fbd4cSDaniel Xu 		goto out;
41e81fbd4cSDaniel Xu 
42e81fbd4cSDaniel Xu 	if (!ASSERT_EQ(connect_fd_to_fd(fd, srv_fd, TIMEOUT_MS), 0, "connect_fd_to_fd")) {
43e81fbd4cSDaniel Xu 		close(fd);
44e81fbd4cSDaniel Xu 		fd = -1;
45e81fbd4cSDaniel Xu 	}
46e81fbd4cSDaniel Xu out:
47e81fbd4cSDaniel Xu 	return fd;
48e81fbd4cSDaniel Xu }
49e81fbd4cSDaniel Xu 
test_bpf_nf_ct(int mode)50c6f420acSKumar Kartikeya Dwivedi static void test_bpf_nf_ct(int mode)
5187091063SKumar Kartikeya Dwivedi {
52de9c8d84SMartin KaFai Lau 	const char *iptables = "iptables-legacy -t raw %s PREROUTING -j CONNMARK --set-mark 42/0";
53e81fbd4cSDaniel Xu 	int srv_fd = -1, client_fd = -1, srv_client_fd = -1;
54e81fbd4cSDaniel Xu 	struct sockaddr_in peer_addr = {};
5587091063SKumar Kartikeya Dwivedi 	struct test_bpf_nf *skel;
5604fcb5f9SDelyan Kratunov 	int prog_fd, err;
57e81fbd4cSDaniel Xu 	socklen_t len;
58e81fbd4cSDaniel Xu 	u16 srv_port;
59de9c8d84SMartin KaFai Lau 	char cmd[128];
6004fcb5f9SDelyan Kratunov 	LIBBPF_OPTS(bpf_test_run_opts, topts,
6104fcb5f9SDelyan Kratunov 		.data_in = &pkt_v4,
6204fcb5f9SDelyan Kratunov 		.data_size_in = sizeof(pkt_v4),
6304fcb5f9SDelyan Kratunov 		.repeat = 1,
6404fcb5f9SDelyan Kratunov 	);
6587091063SKumar Kartikeya Dwivedi 
6687091063SKumar Kartikeya Dwivedi 	skel = test_bpf_nf__open_and_load();
6787091063SKumar Kartikeya Dwivedi 	if (!ASSERT_OK_PTR(skel, "test_bpf_nf__open_and_load"))
6887091063SKumar Kartikeya Dwivedi 		return;
6987091063SKumar Kartikeya Dwivedi 
70e81fbd4cSDaniel Xu 	/* Enable connection tracking */
71e81fbd4cSDaniel Xu 	snprintf(cmd, sizeof(cmd), iptables, "-A");
72de9c8d84SMartin KaFai Lau 	if (!ASSERT_OK(system(cmd), cmd))
73e81fbd4cSDaniel Xu 		goto end;
74e81fbd4cSDaniel Xu 
75e81fbd4cSDaniel Xu 	srv_port = (mode == TEST_XDP) ? 5005 : 5006;
76e81fbd4cSDaniel Xu 	srv_fd = start_server(AF_INET, SOCK_STREAM, "127.0.0.1", srv_port, TIMEOUT_MS);
77e81fbd4cSDaniel Xu 	if (!ASSERT_GE(srv_fd, 0, "start_server"))
78e81fbd4cSDaniel Xu 		goto end;
79e81fbd4cSDaniel Xu 
80e81fbd4cSDaniel Xu 	client_fd = connect_to_server(srv_fd);
81e81fbd4cSDaniel Xu 	if (!ASSERT_GE(client_fd, 0, "connect_to_server"))
82e81fbd4cSDaniel Xu 		goto end;
83e81fbd4cSDaniel Xu 
84e81fbd4cSDaniel Xu 	len = sizeof(peer_addr);
85e81fbd4cSDaniel Xu 	srv_client_fd = accept(srv_fd, (struct sockaddr *)&peer_addr, &len);
86e81fbd4cSDaniel Xu 	if (!ASSERT_GE(srv_client_fd, 0, "accept"))
87e81fbd4cSDaniel Xu 		goto end;
88e81fbd4cSDaniel Xu 	if (!ASSERT_EQ(len, sizeof(struct sockaddr_in), "sockaddr len"))
89e81fbd4cSDaniel Xu 		goto end;
90e81fbd4cSDaniel Xu 
91e81fbd4cSDaniel Xu 	skel->bss->saddr = peer_addr.sin_addr.s_addr;
92e81fbd4cSDaniel Xu 	skel->bss->sport = peer_addr.sin_port;
93e81fbd4cSDaniel Xu 	skel->bss->daddr = peer_addr.sin_addr.s_addr;
94e81fbd4cSDaniel Xu 	skel->bss->dport = htons(srv_port);
95e81fbd4cSDaniel Xu 
9687091063SKumar Kartikeya Dwivedi 	if (mode == TEST_XDP)
9787091063SKumar Kartikeya Dwivedi 		prog_fd = bpf_program__fd(skel->progs.nf_xdp_ct_test);
9887091063SKumar Kartikeya Dwivedi 	else
9987091063SKumar Kartikeya Dwivedi 		prog_fd = bpf_program__fd(skel->progs.nf_skb_ct_test);
10087091063SKumar Kartikeya Dwivedi 
10104fcb5f9SDelyan Kratunov 	err = bpf_prog_test_run_opts(prog_fd, &topts);
10287091063SKumar Kartikeya Dwivedi 	if (!ASSERT_OK(err, "bpf_prog_test_run"))
10387091063SKumar Kartikeya Dwivedi 		goto end;
10487091063SKumar Kartikeya Dwivedi 
10587091063SKumar Kartikeya Dwivedi 	ASSERT_EQ(skel->bss->test_einval_bpf_tuple, -EINVAL, "Test EINVAL for NULL bpf_tuple");
10687091063SKumar Kartikeya Dwivedi 	ASSERT_EQ(skel->bss->test_einval_reserved, -EINVAL, "Test EINVAL for reserved not set to 0");
10787091063SKumar Kartikeya Dwivedi 	ASSERT_EQ(skel->bss->test_einval_netns_id, -EINVAL, "Test EINVAL for netns_id < -1");
10887091063SKumar Kartikeya Dwivedi 	ASSERT_EQ(skel->bss->test_einval_len_opts, -EINVAL, "Test EINVAL for len__opts != NF_BPF_CT_OPTS_SZ");
10987091063SKumar Kartikeya Dwivedi 	ASSERT_EQ(skel->bss->test_eproto_l4proto, -EPROTO, "Test EPROTO for l4proto != TCP or UDP");
11087091063SKumar Kartikeya Dwivedi 	ASSERT_EQ(skel->bss->test_enonet_netns_id, -ENONET, "Test ENONET for bad but valid netns_id");
11187091063SKumar Kartikeya Dwivedi 	ASSERT_EQ(skel->bss->test_enoent_lookup, -ENOENT, "Test ENOENT for failed lookup");
11287091063SKumar Kartikeya Dwivedi 	ASSERT_EQ(skel->bss->test_eafnosupport, -EAFNOSUPPORT, "Test EAFNOSUPPORT for invalid len__tuple");
1136eb7fba0SLorenzo Bianconi 	ASSERT_EQ(skel->data->test_alloc_entry, 0, "Test for alloc new entry");
1146eb7fba0SLorenzo Bianconi 	ASSERT_EQ(skel->data->test_insert_entry, 0, "Test for insert new entry");
1156eb7fba0SLorenzo Bianconi 	ASSERT_EQ(skel->data->test_succ_lookup, 0, "Test for successful lookup");
1166eb7fba0SLorenzo Bianconi 	/* allow some tolerance for test_delta_timeout value to avoid races. */
1176eb7fba0SLorenzo Bianconi 	ASSERT_GT(skel->bss->test_delta_timeout, 8, "Test for min ct timeout update");
1186eb7fba0SLorenzo Bianconi 	ASSERT_LE(skel->bss->test_delta_timeout, 10, "Test for max ct timeout update");
119e2d75e95SDaniel Xu 	ASSERT_EQ(skel->bss->test_insert_lookup_mark, 77, "Test for insert and lookup mark value");
120b06b45e8SLorenzo Bianconi 	ASSERT_EQ(skel->bss->test_status, IPS_STATUS_MASK, "Test for ct status update ");
121e81fbd4cSDaniel Xu 	ASSERT_EQ(skel->data->test_exist_lookup, 0, "Test existing connection lookup");
12299799de2SDaniel Xu 	ASSERT_EQ(skel->bss->test_exist_lookup_mark, 43, "Test existing connection lookup ctmark");
123b06b45e8SLorenzo Bianconi 	ASSERT_EQ(skel->data->test_snat_addr, 0, "Test for source natting");
124b06b45e8SLorenzo Bianconi 	ASSERT_EQ(skel->data->test_dnat_addr, 0, "Test for destination natting");
12587091063SKumar Kartikeya Dwivedi end:
126e81fbd4cSDaniel Xu 	if (client_fd != -1)
127e81fbd4cSDaniel Xu 		close(client_fd);
128*17e8e5d6SDaniel Borkmann 	if (srv_client_fd != -1)
129*17e8e5d6SDaniel Borkmann 		close(srv_client_fd);
130e81fbd4cSDaniel Xu 	if (srv_fd != -1)
131e81fbd4cSDaniel Xu 		close(srv_fd);
132*17e8e5d6SDaniel Borkmann 
133e81fbd4cSDaniel Xu 	snprintf(cmd, sizeof(cmd), iptables, "-D");
134e81fbd4cSDaniel Xu 	system(cmd);
13587091063SKumar Kartikeya Dwivedi 	test_bpf_nf__destroy(skel);
13687091063SKumar Kartikeya Dwivedi }
13787091063SKumar Kartikeya Dwivedi 
test_bpf_nf_ct_fail(const char * prog_name,const char * err_msg)138c6f420acSKumar Kartikeya Dwivedi static void test_bpf_nf_ct_fail(const char *prog_name, const char *err_msg)
139c6f420acSKumar Kartikeya Dwivedi {
140c6f420acSKumar Kartikeya Dwivedi 	LIBBPF_OPTS(bpf_object_open_opts, opts, .kernel_log_buf = log_buf,
141c6f420acSKumar Kartikeya Dwivedi 						.kernel_log_size = sizeof(log_buf),
142c6f420acSKumar Kartikeya Dwivedi 						.kernel_log_level = 1);
143c6f420acSKumar Kartikeya Dwivedi 	struct test_bpf_nf_fail *skel;
144c6f420acSKumar Kartikeya Dwivedi 	struct bpf_program *prog;
145c6f420acSKumar Kartikeya Dwivedi 	int ret;
146c6f420acSKumar Kartikeya Dwivedi 
147c6f420acSKumar Kartikeya Dwivedi 	skel = test_bpf_nf_fail__open_opts(&opts);
148c6f420acSKumar Kartikeya Dwivedi 	if (!ASSERT_OK_PTR(skel, "test_bpf_nf_fail__open"))
149c6f420acSKumar Kartikeya Dwivedi 		return;
150c6f420acSKumar Kartikeya Dwivedi 
151c6f420acSKumar Kartikeya Dwivedi 	prog = bpf_object__find_program_by_name(skel->obj, prog_name);
152c6f420acSKumar Kartikeya Dwivedi 	if (!ASSERT_OK_PTR(prog, "bpf_object__find_program_by_name"))
153c6f420acSKumar Kartikeya Dwivedi 		goto end;
154c6f420acSKumar Kartikeya Dwivedi 
155c6f420acSKumar Kartikeya Dwivedi 	bpf_program__set_autoload(prog, true);
156c6f420acSKumar Kartikeya Dwivedi 
157c6f420acSKumar Kartikeya Dwivedi 	ret = test_bpf_nf_fail__load(skel);
158c6f420acSKumar Kartikeya Dwivedi 	if (!ASSERT_ERR(ret, "test_bpf_nf_fail__load must fail"))
159c6f420acSKumar Kartikeya Dwivedi 		goto end;
160c6f420acSKumar Kartikeya Dwivedi 
161c6f420acSKumar Kartikeya Dwivedi 	if (!ASSERT_OK_PTR(strstr(log_buf, err_msg), "expected error message")) {
162c6f420acSKumar Kartikeya Dwivedi 		fprintf(stderr, "Expected: %s\n", err_msg);
163c6f420acSKumar Kartikeya Dwivedi 		fprintf(stderr, "Verifier: %s\n", log_buf);
164c6f420acSKumar Kartikeya Dwivedi 	}
165c6f420acSKumar Kartikeya Dwivedi 
166c6f420acSKumar Kartikeya Dwivedi end:
167c6f420acSKumar Kartikeya Dwivedi 	test_bpf_nf_fail__destroy(skel);
168c6f420acSKumar Kartikeya Dwivedi }
169c6f420acSKumar Kartikeya Dwivedi 
test_bpf_nf(void)17087091063SKumar Kartikeya Dwivedi void test_bpf_nf(void)
17187091063SKumar Kartikeya Dwivedi {
172c6f420acSKumar Kartikeya Dwivedi 	int i;
17387091063SKumar Kartikeya Dwivedi 	if (test__start_subtest("xdp-ct"))
17487091063SKumar Kartikeya Dwivedi 		test_bpf_nf_ct(TEST_XDP);
17587091063SKumar Kartikeya Dwivedi 	if (test__start_subtest("tc-bpf-ct"))
17687091063SKumar Kartikeya Dwivedi 		test_bpf_nf_ct(TEST_TC_BPF);
177c6f420acSKumar Kartikeya Dwivedi 	for (i = 0; i < ARRAY_SIZE(test_bpf_nf_fail_tests); i++) {
178c6f420acSKumar Kartikeya Dwivedi 		if (test__start_subtest(test_bpf_nf_fail_tests[i].prog_name))
179c6f420acSKumar Kartikeya Dwivedi 			test_bpf_nf_ct_fail(test_bpf_nf_fail_tests[i].prog_name,
180c6f420acSKumar Kartikeya Dwivedi 					    test_bpf_nf_fail_tests[i].err_msg);
181c6f420acSKumar Kartikeya Dwivedi 	}
18287091063SKumar Kartikeya Dwivedi }
183