aboutsummaryrefslogtreecommitdiffstats
path: root/tools/testing/selftests/bpf/prog_tests/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2024-05-12selftests/bpf: Migrate recvmsg* return code tests to verifier_sock_addr.cJordan Rife1-0/+2
2024-03-15selftests/bpf: Add arena test case for 4Gbyte corner caseAlexei Starovoitov1-0/+2
2024-03-11selftests/bpf: Add unit tests for bpf_arena_alloc/free_pagesAlexei Starovoitov1-0/+2
2024-01-30selftests/bpf: add trusted global subprog arg testsAndrii Nakryiko1-0/+2
2023-12-19selftests/bpf: add freplace of BTF-unreliable main prog testAndrii Nakryiko1-0/+2
2023-12-13bpf: selftests: Add verifier tests for CO-RE bitfield writesDaniel Xu1-0/+2
2023-11-24selftests/bpf: Add lazy global subprog validation testsAndrii Nakryiko1-0/+2
2023-11-20selftests/bpf: tests for iterating callbacksEduard Zingerman1-0/+2
2023-11-01selftests/bpf: precision tracking test for BPF_NEG and BPF_ENDShung-Hsi Yu1-0/+2
2023-07-27selftests/bpf: Add unit tests for new gotol insnYonghong Song1-0/+2
2023-07-27selftests/bpf: Add unit tests for new sdiv/smod insnsYonghong Song1-0/+2
2023-07-27selftests/bpf: Add unit tests for new bswap insnsYonghong Song1-0/+2
2023-07-27selftests/bpf: Add unit tests for new sign-extension mov insnsYonghong Song1-0/+2
2023-07-27selftests/bpf: Add unit tests for new sign-extension load insnsYonghong Song1-0/+2
2023-06-30selftests/bpf: Add test to exercise typedef walkingStanislav Fomichev1-0/+2
2023-06-13selftests/bpf: Check if mark_chain_precision() follows scalar idsEduard Zingerman1-0/+2
2023-05-04selftests/bpf: add precision propagation tests in the presence of subprogsAndrii Nakryiko1-0/+2
2023-04-22selftests/bpf: verifier/prevent_map_lookup converted to inline assemblyEduard Zingerman1-0/+2
2023-04-21selftests/bpf: verifier/value_ptr_arith converted to inline assemblyEduard Zingerman1-6/+28
2023-04-21selftests/bpf: verifier/value_illegal_alu converted to inline assemblyEduard Zingerman1-0/+2
2023-04-21selftests/bpf: verifier/unpriv converted to inline assemblyEduard Zingerman1-0/+4
2023-04-21selftests/bpf: verifier/subreg converted to inline assemblyEduard Zingerman1-0/+2
2023-04-21selftests/bpf: verifier/spin_lock converted to inline assemblyEduard Zingerman1-0/+2
2023-04-21selftests/bpf: verifier/sock converted to inline assemblyEduard Zingerman1-0/+2
2023-04-21selftests/bpf: verifier/search_pruning converted to inline assemblyEduard Zingerman1-0/+2
2023-04-21selftests/bpf: verifier/runtime_jit converted to inline assemblyEduard Zingerman1-0/+2
2023-04-21selftests/bpf: verifier/regalloc converted to inline assemblyEduard Zingerman1-0/+2
2023-04-21selftests/bpf: verifier/ref_tracking converted to inline assemblyEduard Zingerman1-0/+2
2023-04-21selftests/bpf: verifier/map_ptr_mixing converted to inline assemblyEduard Zingerman1-0/+2
2023-04-21selftests/bpf: verifier/map_in_map converted to inline assemblyEduard Zingerman1-0/+2
2023-04-21selftests/bpf: verifier/lwt converted to inline assemblyEduard Zingerman1-0/+2
2023-04-21selftests/bpf: verifier/loops1 converted to inline assemblyEduard Zingerman1-0/+2
2023-04-21selftests/bpf: verifier/jeq_infer_not_null converted to inline assemblyEduard Zingerman1-0/+2
2023-04-21selftests/bpf: verifier/direct_packet_access converted to inline assemblyEduard Zingerman1-0/+2
2023-04-21selftests/bpf: verifier/d_path converted to inline assemblyEduard Zingerman1-0/+2
2023-04-21selftests/bpf: verifier/ctx converted to inline assemblyEduard Zingerman1-0/+2
2023-04-21selftests/bpf: verifier/btf_ctx_access converted to inline assemblyEduard Zingerman1-0/+2
2023-04-21selftests/bpf: verifier/bpf_get_stack converted to inline assemblyEduard Zingerman1-0/+2
2023-04-21selftests/bpf: verifier/bounds converted to inline assemblyEduard Zingerman1-0/+2
2023-04-21selftests/bpf: add missing netfilter return value and ctx access testsFlorian Westphal1-0/+4
2023-04-20selftests/bpf: populate map_array_ro map for verifier_array_access testEduard Zingerman1-3/+39
2023-04-17selftests/bpf: Add a selftest for checking subreg equalityYonghong Song1-0/+2
2023-04-06selftests/bpf: Add tests for non-constant cond_op NE/EQ bound deductionYonghong Song1-0/+2
2023-03-28selftests/bpf: Verifier/xdp_direct_packet_access.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/xdp.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/xadd.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/var_off.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/value_or_null.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/value.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/value_adj_spill.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/uninit.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/stack_ptr.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/spill_fill.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/ringbuf.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/raw_tp_writable.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/raw_stack.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/meta_access.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/masking.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/map_ret_val.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/map_ptr.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/leak_ptr.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/ld_ind.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/int_ptr.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/helper_value_access.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/helper_restricted.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/helper_packet_access.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/helper_access_var_len.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/div_overflow.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/div0.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/direct_stack_access_wraparound.c converted to inline ...Eduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/ctx_sk_msg.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/const_or.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/cgroup_storage.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/cgroup_skb.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/cgroup_inv_retcode.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/cfg.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/bounds_mix_sign_unsign.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/bounds_deduction.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/basic_stack.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/array_access.c converted to inline assemblyEduard Zingerman1-0/+2
2023-03-25selftests/bpf: verifier/and.c converted to inline assemblyEduard Zingerman1-0/+3
2023-03-25selftests/bpf: prog_tests entry point for migrated test_verifier testsEduard Zingerman1-0/+29
generated by cgit 1.2.3-korg (git 2.39.0) at 2024-05-28 08:11:10 +0000