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 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 50c6f420acSKumar Kartikeya Dwivedi static void test_bpf_nf_ct(int mode) 5187091063SKumar Kartikeya Dwivedi { 52*de9c8d84SMartin 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; 59*de9c8d84SMartin 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"); 72*de9c8d84SMartin 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 (srv_client_fd != -1) 127e81fbd4cSDaniel Xu close(srv_client_fd); 128e81fbd4cSDaniel Xu if (client_fd != -1) 129e81fbd4cSDaniel Xu close(client_fd); 130e81fbd4cSDaniel Xu if (srv_fd != -1) 131e81fbd4cSDaniel Xu close(srv_fd); 132e81fbd4cSDaniel Xu snprintf(cmd, sizeof(cmd), iptables, "-D"); 133e81fbd4cSDaniel Xu system(cmd); 13487091063SKumar Kartikeya Dwivedi test_bpf_nf__destroy(skel); 13587091063SKumar Kartikeya Dwivedi } 13687091063SKumar Kartikeya Dwivedi 137c6f420acSKumar Kartikeya Dwivedi static void test_bpf_nf_ct_fail(const char *prog_name, const char *err_msg) 138c6f420acSKumar Kartikeya Dwivedi { 139c6f420acSKumar Kartikeya Dwivedi LIBBPF_OPTS(bpf_object_open_opts, opts, .kernel_log_buf = log_buf, 140c6f420acSKumar Kartikeya Dwivedi .kernel_log_size = sizeof(log_buf), 141c6f420acSKumar Kartikeya Dwivedi .kernel_log_level = 1); 142c6f420acSKumar Kartikeya Dwivedi struct test_bpf_nf_fail *skel; 143c6f420acSKumar Kartikeya Dwivedi struct bpf_program *prog; 144c6f420acSKumar Kartikeya Dwivedi int ret; 145c6f420acSKumar Kartikeya Dwivedi 146c6f420acSKumar Kartikeya Dwivedi skel = test_bpf_nf_fail__open_opts(&opts); 147c6f420acSKumar Kartikeya Dwivedi if (!ASSERT_OK_PTR(skel, "test_bpf_nf_fail__open")) 148c6f420acSKumar Kartikeya Dwivedi return; 149c6f420acSKumar Kartikeya Dwivedi 150c6f420acSKumar Kartikeya Dwivedi prog = bpf_object__find_program_by_name(skel->obj, prog_name); 151c6f420acSKumar Kartikeya Dwivedi if (!ASSERT_OK_PTR(prog, "bpf_object__find_program_by_name")) 152c6f420acSKumar Kartikeya Dwivedi goto end; 153c6f420acSKumar Kartikeya Dwivedi 154c6f420acSKumar Kartikeya Dwivedi bpf_program__set_autoload(prog, true); 155c6f420acSKumar Kartikeya Dwivedi 156c6f420acSKumar Kartikeya Dwivedi ret = test_bpf_nf_fail__load(skel); 157c6f420acSKumar Kartikeya Dwivedi if (!ASSERT_ERR(ret, "test_bpf_nf_fail__load must fail")) 158c6f420acSKumar Kartikeya Dwivedi goto end; 159c6f420acSKumar Kartikeya Dwivedi 160c6f420acSKumar Kartikeya Dwivedi if (!ASSERT_OK_PTR(strstr(log_buf, err_msg), "expected error message")) { 161c6f420acSKumar Kartikeya Dwivedi fprintf(stderr, "Expected: %s\n", err_msg); 162c6f420acSKumar Kartikeya Dwivedi fprintf(stderr, "Verifier: %s\n", log_buf); 163c6f420acSKumar Kartikeya Dwivedi } 164c6f420acSKumar Kartikeya Dwivedi 165c6f420acSKumar Kartikeya Dwivedi end: 166c6f420acSKumar Kartikeya Dwivedi test_bpf_nf_fail__destroy(skel); 167c6f420acSKumar Kartikeya Dwivedi } 168c6f420acSKumar Kartikeya Dwivedi 16987091063SKumar Kartikeya Dwivedi void test_bpf_nf(void) 17087091063SKumar Kartikeya Dwivedi { 171c6f420acSKumar Kartikeya Dwivedi int i; 17287091063SKumar Kartikeya Dwivedi if (test__start_subtest("xdp-ct")) 17387091063SKumar Kartikeya Dwivedi test_bpf_nf_ct(TEST_XDP); 17487091063SKumar Kartikeya Dwivedi if (test__start_subtest("tc-bpf-ct")) 17587091063SKumar Kartikeya Dwivedi test_bpf_nf_ct(TEST_TC_BPF); 176c6f420acSKumar Kartikeya Dwivedi for (i = 0; i < ARRAY_SIZE(test_bpf_nf_fail_tests); i++) { 177c6f420acSKumar Kartikeya Dwivedi if (test__start_subtest(test_bpf_nf_fail_tests[i].prog_name)) 178c6f420acSKumar Kartikeya Dwivedi test_bpf_nf_ct_fail(test_bpf_nf_fail_tests[i].prog_name, 179c6f420acSKumar Kartikeya Dwivedi test_bpf_nf_fail_tests[i].err_msg); 180c6f420acSKumar Kartikeya Dwivedi } 18187091063SKumar Kartikeya Dwivedi } 182