1 // SPDX-License-Identifier: GPL-2.0-only 2 3 #include <test_progs.h> 4 5 #include "cap_helpers.h" 6 #include "verifier_and.skel.h" 7 #include "verifier_array_access.skel.h" 8 #include "verifier_basic_stack.skel.h" 9 #include "verifier_bounds_deduction.skel.h" 10 #include "verifier_bounds_mix_sign_unsign.skel.h" 11 #include "verifier_cfg.skel.h" 12 #include "verifier_cgroup_inv_retcode.skel.h" 13 #include "verifier_cgroup_skb.skel.h" 14 #include "verifier_cgroup_storage.skel.h" 15 #include "verifier_const_or.skel.h" 16 #include "verifier_ctx_sk_msg.skel.h" 17 #include "verifier_direct_stack_access_wraparound.skel.h" 18 #include "verifier_div0.skel.h" 19 #include "verifier_div_overflow.skel.h" 20 #include "verifier_helper_access_var_len.skel.h" 21 #include "verifier_helper_packet_access.skel.h" 22 #include "verifier_helper_restricted.skel.h" 23 #include "verifier_helper_value_access.skel.h" 24 #include "verifier_int_ptr.skel.h" 25 #include "verifier_ld_ind.skel.h" 26 #include "verifier_leak_ptr.skel.h" 27 #include "verifier_map_ptr.skel.h" 28 #include "verifier_map_ret_val.skel.h" 29 #include "verifier_masking.skel.h" 30 #include "verifier_meta_access.skel.h" 31 #include "verifier_raw_stack.skel.h" 32 #include "verifier_raw_tp_writable.skel.h" 33 #include "verifier_ringbuf.skel.h" 34 #include "verifier_spill_fill.skel.h" 35 #include "verifier_stack_ptr.skel.h" 36 #include "verifier_uninit.skel.h" 37 #include "verifier_value_adj_spill.skel.h" 38 #include "verifier_value.skel.h" 39 #include "verifier_value_or_null.skel.h" 40 #include "verifier_var_off.skel.h" 41 #include "verifier_xadd.skel.h" 42 #include "verifier_xdp.skel.h" 43 #include "verifier_xdp_direct_packet_access.skel.h" 44 45 __maybe_unused 46 static void run_tests_aux(const char *skel_name, skel_elf_bytes_fn elf_bytes_factory) 47 { 48 struct test_loader tester = {}; 49 __u64 old_caps; 50 int err; 51 52 /* test_verifier tests are executed w/o CAP_SYS_ADMIN, do the same here */ 53 err = cap_disable_effective(1ULL << CAP_SYS_ADMIN, &old_caps); 54 if (err) { 55 PRINT_FAIL("failed to drop CAP_SYS_ADMIN: %i, %s\n", err, strerror(err)); 56 return; 57 } 58 59 test_loader__run_subtests(&tester, skel_name, elf_bytes_factory); 60 test_loader_fini(&tester); 61 62 err = cap_enable_effective(old_caps, NULL); 63 if (err) 64 PRINT_FAIL("failed to restore CAP_SYS_ADMIN: %i, %s\n", err, strerror(err)); 65 } 66 67 #define RUN(skel) run_tests_aux(#skel, skel##__elf_bytes) 68 69 void test_verifier_and(void) { RUN(verifier_and); } 70 void test_verifier_array_access(void) { RUN(verifier_array_access); } 71 void test_verifier_basic_stack(void) { RUN(verifier_basic_stack); } 72 void test_verifier_bounds_deduction(void) { RUN(verifier_bounds_deduction); } 73 void test_verifier_bounds_mix_sign_unsign(void) { RUN(verifier_bounds_mix_sign_unsign); } 74 void test_verifier_cfg(void) { RUN(verifier_cfg); } 75 void test_verifier_cgroup_inv_retcode(void) { RUN(verifier_cgroup_inv_retcode); } 76 void test_verifier_cgroup_skb(void) { RUN(verifier_cgroup_skb); } 77 void test_verifier_cgroup_storage(void) { RUN(verifier_cgroup_storage); } 78 void test_verifier_const_or(void) { RUN(verifier_const_or); } 79 void test_verifier_ctx_sk_msg(void) { RUN(verifier_ctx_sk_msg); } 80 void test_verifier_direct_stack_access_wraparound(void) { RUN(verifier_direct_stack_access_wraparound); } 81 void test_verifier_div0(void) { RUN(verifier_div0); } 82 void test_verifier_div_overflow(void) { RUN(verifier_div_overflow); } 83 void test_verifier_helper_access_var_len(void) { RUN(verifier_helper_access_var_len); } 84 void test_verifier_helper_packet_access(void) { RUN(verifier_helper_packet_access); } 85 void test_verifier_helper_restricted(void) { RUN(verifier_helper_restricted); } 86 void test_verifier_helper_value_access(void) { RUN(verifier_helper_value_access); } 87 void test_verifier_int_ptr(void) { RUN(verifier_int_ptr); } 88 void test_verifier_ld_ind(void) { RUN(verifier_ld_ind); } 89 void test_verifier_leak_ptr(void) { RUN(verifier_leak_ptr); } 90 void test_verifier_map_ptr(void) { RUN(verifier_map_ptr); } 91 void test_verifier_map_ret_val(void) { RUN(verifier_map_ret_val); } 92 void test_verifier_masking(void) { RUN(verifier_masking); } 93 void test_verifier_meta_access(void) { RUN(verifier_meta_access); } 94 void test_verifier_raw_stack(void) { RUN(verifier_raw_stack); } 95 void test_verifier_raw_tp_writable(void) { RUN(verifier_raw_tp_writable); } 96 void test_verifier_ringbuf(void) { RUN(verifier_ringbuf); } 97 void test_verifier_spill_fill(void) { RUN(verifier_spill_fill); } 98 void test_verifier_stack_ptr(void) { RUN(verifier_stack_ptr); } 99 void test_verifier_uninit(void) { RUN(verifier_uninit); } 100 void test_verifier_value_adj_spill(void) { RUN(verifier_value_adj_spill); } 101 void test_verifier_value(void) { RUN(verifier_value); } 102 void test_verifier_value_or_null(void) { RUN(verifier_value_or_null); } 103 void test_verifier_var_off(void) { RUN(verifier_var_off); } 104 void test_verifier_xadd(void) { RUN(verifier_xadd); } 105 void test_verifier_xdp(void) { RUN(verifier_xdp); } 106 void test_verifier_xdp_direct_packet_access(void) { RUN(verifier_xdp_direct_packet_access); } 107