0001
0002 #include <test_progs.h>
0003 #include <network_helpers.h>
0004 #include "test_bpf_nf.skel.h"
0005 #include "test_bpf_nf_fail.skel.h"
0006
0007 static char log_buf[1024 * 1024];
0008
0009 struct {
0010 const char *prog_name;
0011 const char *err_msg;
0012 } test_bpf_nf_fail_tests[] = {
0013 { "alloc_release", "kernel function bpf_ct_release args#0 expected pointer to STRUCT nf_conn but" },
0014 { "insert_insert", "kernel function bpf_ct_insert_entry args#0 expected pointer to STRUCT nf_conn___init but" },
0015 { "lookup_insert", "kernel function bpf_ct_insert_entry args#0 expected pointer to STRUCT nf_conn___init but" },
0016 { "set_timeout_after_insert", "kernel function bpf_ct_set_timeout args#0 expected pointer to STRUCT nf_conn___init but" },
0017 { "set_status_after_insert", "kernel function bpf_ct_set_status args#0 expected pointer to STRUCT nf_conn___init but" },
0018 { "change_timeout_after_alloc", "kernel function bpf_ct_change_timeout args#0 expected pointer to STRUCT nf_conn but" },
0019 { "change_status_after_alloc", "kernel function bpf_ct_change_status args#0 expected pointer to STRUCT nf_conn but" },
0020 };
0021
0022 enum {
0023 TEST_XDP,
0024 TEST_TC_BPF,
0025 };
0026
0027 static void test_bpf_nf_ct(int mode)
0028 {
0029 struct test_bpf_nf *skel;
0030 int prog_fd, err;
0031 LIBBPF_OPTS(bpf_test_run_opts, topts,
0032 .data_in = &pkt_v4,
0033 .data_size_in = sizeof(pkt_v4),
0034 .repeat = 1,
0035 );
0036
0037 skel = test_bpf_nf__open_and_load();
0038 if (!ASSERT_OK_PTR(skel, "test_bpf_nf__open_and_load"))
0039 return;
0040
0041 if (mode == TEST_XDP)
0042 prog_fd = bpf_program__fd(skel->progs.nf_xdp_ct_test);
0043 else
0044 prog_fd = bpf_program__fd(skel->progs.nf_skb_ct_test);
0045
0046 err = bpf_prog_test_run_opts(prog_fd, &topts);
0047 if (!ASSERT_OK(err, "bpf_prog_test_run"))
0048 goto end;
0049
0050 ASSERT_EQ(skel->bss->test_einval_bpf_tuple, -EINVAL, "Test EINVAL for NULL bpf_tuple");
0051 ASSERT_EQ(skel->bss->test_einval_reserved, -EINVAL, "Test EINVAL for reserved not set to 0");
0052 ASSERT_EQ(skel->bss->test_einval_netns_id, -EINVAL, "Test EINVAL for netns_id < -1");
0053 ASSERT_EQ(skel->bss->test_einval_len_opts, -EINVAL, "Test EINVAL for len__opts != NF_BPF_CT_OPTS_SZ");
0054 ASSERT_EQ(skel->bss->test_eproto_l4proto, -EPROTO, "Test EPROTO for l4proto != TCP or UDP");
0055 ASSERT_EQ(skel->bss->test_enonet_netns_id, -ENONET, "Test ENONET for bad but valid netns_id");
0056 ASSERT_EQ(skel->bss->test_enoent_lookup, -ENOENT, "Test ENOENT for failed lookup");
0057 ASSERT_EQ(skel->bss->test_eafnosupport, -EAFNOSUPPORT, "Test EAFNOSUPPORT for invalid len__tuple");
0058 ASSERT_EQ(skel->data->test_alloc_entry, 0, "Test for alloc new entry");
0059 ASSERT_EQ(skel->data->test_insert_entry, 0, "Test for insert new entry");
0060 ASSERT_EQ(skel->data->test_succ_lookup, 0, "Test for successful lookup");
0061
0062 ASSERT_GT(skel->bss->test_delta_timeout, 8, "Test for min ct timeout update");
0063 ASSERT_LE(skel->bss->test_delta_timeout, 10, "Test for max ct timeout update");
0064
0065 ASSERT_EQ(skel->bss->test_status, 2, "Test for ct status update ");
0066 end:
0067 test_bpf_nf__destroy(skel);
0068 }
0069
0070 static void test_bpf_nf_ct_fail(const char *prog_name, const char *err_msg)
0071 {
0072 LIBBPF_OPTS(bpf_object_open_opts, opts, .kernel_log_buf = log_buf,
0073 .kernel_log_size = sizeof(log_buf),
0074 .kernel_log_level = 1);
0075 struct test_bpf_nf_fail *skel;
0076 struct bpf_program *prog;
0077 int ret;
0078
0079 skel = test_bpf_nf_fail__open_opts(&opts);
0080 if (!ASSERT_OK_PTR(skel, "test_bpf_nf_fail__open"))
0081 return;
0082
0083 prog = bpf_object__find_program_by_name(skel->obj, prog_name);
0084 if (!ASSERT_OK_PTR(prog, "bpf_object__find_program_by_name"))
0085 goto end;
0086
0087 bpf_program__set_autoload(prog, true);
0088
0089 ret = test_bpf_nf_fail__load(skel);
0090 if (!ASSERT_ERR(ret, "test_bpf_nf_fail__load must fail"))
0091 goto end;
0092
0093 if (!ASSERT_OK_PTR(strstr(log_buf, err_msg), "expected error message")) {
0094 fprintf(stderr, "Expected: %s\n", err_msg);
0095 fprintf(stderr, "Verifier: %s\n", log_buf);
0096 }
0097
0098 end:
0099 test_bpf_nf_fail__destroy(skel);
0100 }
0101
0102 void test_bpf_nf(void)
0103 {
0104 int i;
0105 if (test__start_subtest("xdp-ct"))
0106 test_bpf_nf_ct(TEST_XDP);
0107 if (test__start_subtest("tc-bpf-ct"))
0108 test_bpf_nf_ct(TEST_TC_BPF);
0109 for (i = 0; i < ARRAY_SIZE(test_bpf_nf_fail_tests); i++) {
0110 if (test__start_subtest(test_bpf_nf_fail_tests[i].prog_name))
0111 test_bpf_nf_ct_fail(test_bpf_nf_fail_tests[i].prog_name,
0112 test_bpf_nf_fail_tests[i].err_msg);
0113 }
0114 }