1 // SPDX-License-Identifier: GPL-2.0 2 #include <test_progs.h> 3 #include <network_helpers.h> 4 #include <linux/netfilter/nf_conntrack_common.h> 5 #include "test_bpf_nf.skel.h" 6 #include "test_bpf_nf_fail.skel.h" 7 8 #define CT_OPTS_ERROR_GUARD 0x12345678 9 10 static char log_buf[1024 * 1024]; 11 12 struct { 13 const char *prog_name; 14 const char *err_msg; 15 } test_bpf_nf_fail_tests[] = { 16 { "alloc_release", "kernel function bpf_ct_release R1 expected pointer to STRUCT nf_conn but" }, 17 { "insert_insert", "kernel function bpf_ct_insert_entry R1 expected pointer to STRUCT nf_conn___init but" }, 18 { "lookup_insert", "kernel function bpf_ct_insert_entry R1 expected pointer to STRUCT nf_conn___init but" }, 19 { "set_timeout_after_insert", "kernel function bpf_ct_set_timeout R1 expected pointer to STRUCT nf_conn___init but" }, 20 { "set_status_after_insert", "kernel function bpf_ct_set_status R1 expected pointer to STRUCT nf_conn___init but" }, 21 { "change_timeout_after_alloc", "kernel function bpf_ct_change_timeout R1 expected pointer to STRUCT nf_conn but" }, 22 { "change_status_after_alloc", "kernel function bpf_ct_change_status R1 expected pointer to STRUCT nf_conn but" }, 23 { "write_not_allowlisted_field", "no write support to nf_conn at off" }, 24 { "lookup_null_bpf_tuple", "Possibly NULL pointer passed to trusted R2" }, 25 { "lookup_null_bpf_opts", "Possibly NULL pointer passed to trusted R4" }, 26 { "xdp_lookup_null_bpf_tuple", "Possibly NULL pointer passed to trusted R2" }, 27 { "xdp_lookup_null_bpf_opts", "Possibly NULL pointer passed to trusted R4" }, 28 }; 29 30 enum { 31 TEST_XDP, 32 TEST_TC_BPF, 33 }; 34 35 #define TIMEOUT_MS 3000 36 #define IPS_STATUS_MASK (IPS_CONFIRMED | IPS_SEEN_REPLY | \ 37 IPS_SRC_NAT_DONE | IPS_DST_NAT_DONE | \ 38 IPS_SRC_NAT | IPS_DST_NAT) 39 40 static int connect_to_server(int srv_fd) 41 { 42 int fd = -1; 43 44 fd = socket(AF_INET, SOCK_STREAM, 0); 45 if (!ASSERT_GE(fd, 0, "socket")) 46 goto out; 47 48 if (!ASSERT_EQ(connect_fd_to_fd(fd, srv_fd, TIMEOUT_MS), 0, "connect_fd_to_fd")) { 49 close(fd); 50 fd = -1; 51 } 52 out: 53 return fd; 54 } 55 56 static void test_bpf_nf_ct(int mode) 57 { 58 const char *iptables = "iptables-legacy -t raw %s PREROUTING -j CONNMARK --set-mark 42/0"; 59 int srv_fd = -1, client_fd = -1, srv_client_fd = -1; 60 struct sockaddr_in peer_addr = {}; 61 struct test_bpf_nf *skel; 62 int prog_fd, err; 63 socklen_t len; 64 u16 srv_port; 65 char cmd[128]; 66 LIBBPF_OPTS(bpf_test_run_opts, topts, 67 .data_in = &pkt_v4, 68 .data_size_in = sizeof(pkt_v4), 69 .repeat = 1, 70 ); 71 72 if (SYS_NOFAIL("iptables-legacy --version")) { 73 fprintf(stdout, "Missing required iptables-legacy tool\n"); 74 test__skip(); 75 return; 76 } 77 78 skel = test_bpf_nf__open_and_load(); 79 if (!ASSERT_OK_PTR(skel, "test_bpf_nf__open_and_load")) 80 return; 81 82 /* Enable connection tracking */ 83 snprintf(cmd, sizeof(cmd), iptables, "-A"); 84 if (!ASSERT_OK(system(cmd), cmd)) 85 goto end; 86 87 srv_fd = start_server(AF_INET, SOCK_STREAM, "127.0.0.1", 0, TIMEOUT_MS); 88 if (!ASSERT_GE(srv_fd, 0, "start_server")) 89 goto end; 90 91 srv_port = get_socket_local_port(srv_fd); 92 if (!ASSERT_GE(srv_port, 0, "get_sock_local_port")) 93 goto end; 94 95 client_fd = connect_to_server(srv_fd); 96 if (!ASSERT_GE(client_fd, 0, "connect_to_server")) 97 goto end; 98 99 len = sizeof(peer_addr); 100 srv_client_fd = accept(srv_fd, (struct sockaddr *)&peer_addr, &len); 101 if (!ASSERT_GE(srv_client_fd, 0, "accept")) 102 goto end; 103 if (!ASSERT_EQ(len, sizeof(struct sockaddr_in), "sockaddr len")) 104 goto end; 105 106 skel->bss->saddr = peer_addr.sin_addr.s_addr; 107 skel->bss->sport = peer_addr.sin_port; 108 skel->bss->daddr = peer_addr.sin_addr.s_addr; 109 skel->bss->dport = srv_port; 110 111 if (mode == TEST_XDP) 112 prog_fd = bpf_program__fd(skel->progs.nf_xdp_ct_test); 113 else 114 prog_fd = bpf_program__fd(skel->progs.nf_skb_ct_test); 115 116 err = bpf_prog_test_run_opts(prog_fd, &topts); 117 if (!ASSERT_OK(err, "bpf_prog_test_run")) 118 goto end; 119 120 ASSERT_EQ(skel->bss->test_einval_reserved, -EINVAL, "Test EINVAL for reserved not set to 0"); 121 ASSERT_EQ(skel->bss->test_einval_reserved_new, -EINVAL, "Test EINVAL for reserved in new struct not set to 0"); 122 ASSERT_EQ(skel->bss->test_einval_netns_id, -EINVAL, "Test EINVAL for netns_id < -1"); 123 ASSERT_EQ(skel->bss->test_einval_len_opts, -EINVAL, "Test EINVAL for len__opts != NF_BPF_CT_OPTS_SZ"); 124 ASSERT_EQ(skel->bss->test_einval_len_opts_small_lookup, CT_OPTS_ERROR_GUARD, 125 "Test no error write for lookup opts__sz before error field"); 126 ASSERT_EQ(skel->bss->test_einval_len_opts_small_alloc, CT_OPTS_ERROR_GUARD, 127 "Test no error write for alloc opts__sz before error field"); 128 ASSERT_EQ(skel->bss->test_eproto_l4proto, -EPROTO, "Test EPROTO for l4proto != TCP or UDP"); 129 ASSERT_EQ(skel->bss->test_enonet_netns_id, -ENONET, "Test ENONET for bad but valid netns_id"); 130 ASSERT_EQ(skel->bss->test_enoent_lookup, -ENOENT, "Test ENOENT for failed lookup"); 131 ASSERT_EQ(skel->bss->test_eafnosupport, -EAFNOSUPPORT, "Test EAFNOSUPPORT for invalid len__tuple"); 132 ASSERT_EQ(skel->data->test_alloc_entry, 0, "Test for alloc new entry"); 133 ASSERT_EQ(skel->data->test_insert_entry, 0, "Test for insert new entry"); 134 ASSERT_EQ(skel->data->test_succ_lookup, 0, "Test for successful lookup"); 135 /* allow some tolerance for test_delta_timeout value to avoid races. */ 136 ASSERT_GT(skel->bss->test_delta_timeout, 8, "Test for min ct timeout update"); 137 ASSERT_LE(skel->bss->test_delta_timeout, 10, "Test for max ct timeout update"); 138 ASSERT_EQ(skel->bss->test_insert_lookup_mark, 77, "Test for insert and lookup mark value"); 139 ASSERT_EQ(skel->bss->test_status, IPS_STATUS_MASK, "Test for ct status update "); 140 ASSERT_EQ(skel->data->test_exist_lookup, 0, "Test existing connection lookup"); 141 ASSERT_EQ(skel->bss->test_exist_lookup_mark, 43, "Test existing connection lookup ctmark"); 142 ASSERT_EQ(skel->data->test_snat_addr, 0, "Test for source natting"); 143 ASSERT_EQ(skel->data->test_dnat_addr, 0, "Test for destination natting"); 144 ASSERT_EQ(skel->data->test_ct_zone_id_alloc_entry, 0, "Test for alloc new entry in specified ct zone"); 145 ASSERT_EQ(skel->data->test_ct_zone_id_insert_entry, 0, "Test for insert new entry in specified ct zone"); 146 ASSERT_EQ(skel->data->test_ct_zone_id_succ_lookup, 0, "Test for successful lookup in specified ct_zone"); 147 ASSERT_EQ(skel->bss->test_ct_zone_dir_enoent_lookup, -ENOENT, "Test ENOENT for lookup with wrong ct zone dir"); 148 ASSERT_EQ(skel->bss->test_ct_zone_id_enoent_lookup, -ENOENT, "Test ENOENT for lookup in wrong ct zone"); 149 150 end: 151 if (client_fd != -1) 152 close(client_fd); 153 if (srv_client_fd != -1) 154 close(srv_client_fd); 155 if (srv_fd != -1) 156 close(srv_fd); 157 158 snprintf(cmd, sizeof(cmd), iptables, "-D"); 159 system(cmd); 160 test_bpf_nf__destroy(skel); 161 } 162 163 static void test_bpf_nf_ct_fail(const char *prog_name, const char *err_msg) 164 { 165 LIBBPF_OPTS(bpf_object_open_opts, opts, .kernel_log_buf = log_buf, 166 .kernel_log_size = sizeof(log_buf), 167 .kernel_log_level = 1); 168 struct test_bpf_nf_fail *skel; 169 struct bpf_program *prog; 170 int ret; 171 172 skel = test_bpf_nf_fail__open_opts(&opts); 173 if (!ASSERT_OK_PTR(skel, "test_bpf_nf_fail__open")) 174 return; 175 176 prog = bpf_object__find_program_by_name(skel->obj, prog_name); 177 if (!ASSERT_OK_PTR(prog, "bpf_object__find_program_by_name")) 178 goto end; 179 180 bpf_program__set_autoload(prog, true); 181 182 ret = test_bpf_nf_fail__load(skel); 183 if (!ASSERT_ERR(ret, "test_bpf_nf_fail__load must fail")) 184 goto end; 185 186 if (!ASSERT_OK_PTR(strstr(log_buf, err_msg), "expected error message")) { 187 fprintf(stderr, "Expected: %s\n", err_msg); 188 fprintf(stderr, "Verifier: %s\n", log_buf); 189 } 190 191 end: 192 test_bpf_nf_fail__destroy(skel); 193 } 194 195 void test_bpf_nf(void) 196 { 197 int i; 198 if (test__start_subtest("xdp-ct")) 199 test_bpf_nf_ct(TEST_XDP); 200 if (test__start_subtest("tc-bpf-ct")) 201 test_bpf_nf_ct(TEST_TC_BPF); 202 for (i = 0; i < ARRAY_SIZE(test_bpf_nf_fail_tests); i++) { 203 if (test__start_subtest(test_bpf_nf_fail_tests[i].prog_name)) 204 test_bpf_nf_ct_fail(test_bpf_nf_fail_tests[i].prog_name, 205 test_bpf_nf_fail_tests[i].err_msg); 206 } 207 } 208