aboutsummaryrefslogtreecommitdiff
path: root/tools/testing/selftests/bpf/verifier
AgeCommit message (Expand)AuthorFilesLines
13 daysselftests/bpf: Test for null-pointer-deref bugfix in resolve_prog_type()Gravatar Tengda Wu 1-0/+13
2024-07-09bpf: relax zero fixed offset constraint on KF_TRUSTED_ARGS/KF_RCUGravatar Matt Bobrowski 1-1/+1
2024-06-14bpf: Track delta between "linked" registers.Gravatar Alexei Starovoitov 1-11/+11
2024-01-23selftests/bpf: Skip callback tests if jit is disabled in test_verifierGravatar Tiezhu Yang 1-0/+6
2024-01-23bpf: Assign ID to scalars on spillGravatar Maxim Mikityanskiy 1-3/+3
2023-12-08bpf: Fix accesses to uninit stack slotsGravatar Andrei Matei 2-12/+3
2023-12-05bpf: support non-r10 register spill/fill to/from stack in precision trackingGravatar Andrii Nakryiko 1-16/+22
2023-11-09bpf: fix control-flow graph checking in privileged modeGravatar Andrii Nakryiko 1-3/+3
2023-11-09bpf: handle ldimm64 properly in check_cfg()Gravatar Andrii Nakryiko 1-4/+4
2023-11-01selftests/bpf: Add test for immediate spilled to stackGravatar Hao Sun 1-0/+32
2023-07-27selftests/bpf: Fix a test_verifier failureGravatar Yonghong Song 1-3/+3
2023-07-05selftests/bpf: Add F_NEEDS_EFFICIENT_UNALIGNED_ACCESS to some testsGravatar Björn Töpel 5-1/+14
2023-06-13bpf: Use scalar ids in mark_chain_precision()Gravatar Eduard Zingerman 1-4/+4
2023-05-04bpf: fix mark_all_scalars_precise use in mark_chain_precisionGravatar Andrii Nakryiko 1-4/+5
2023-05-04bpf: maintain bitmasks across all active frames in __mark_chain_precisionGravatar Andrii Nakryiko 1-9/+9
2023-05-04bpf: improve precision backtrack loggingGravatar Andrii Nakryiko 1-52/+54
2023-04-27selftests/bpf: Add test case to assert precise scalar path pruningGravatar Daniel Borkmann 1-0/+36
2023-04-22selftests/bpf: verifier/prevent_map_lookup converted to inline assemblyGravatar Eduard Zingerman 1-29/+0
2023-04-21selftests/bpf: verifier/value_ptr_arith converted to inline assemblyGravatar Eduard Zingerman 1-1140/+0
2023-04-21selftests/bpf: verifier/value_illegal_alu converted to inline assemblyGravatar Eduard Zingerman 1-95/+0
2023-04-21selftests/bpf: verifier/unpriv converted to inline assemblyGravatar Eduard Zingerman 1-562/+0
2023-04-21selftests/bpf: verifier/subreg converted to inline assemblyGravatar Eduard Zingerman 1-533/+0
2023-04-21selftests/bpf: verifier/spin_lock converted to inline assemblyGravatar Eduard Zingerman 1-447/+0
2023-04-21selftests/bpf: verifier/sock converted to inline assemblyGravatar Eduard Zingerman 1-706/+0
2023-04-21selftests/bpf: verifier/search_pruning converted to inline assemblyGravatar Eduard Zingerman 1-266/+0
2023-04-21selftests/bpf: verifier/runtime_jit converted to inline assemblyGravatar Eduard Zingerman 1-231/+0
2023-04-21selftests/bpf: verifier/regalloc converted to inline assemblyGravatar Eduard Zingerman 1-277/+0
2023-04-21selftests/bpf: verifier/ref_tracking converted to inline assemblyGravatar Eduard Zingerman 1-1082/+0
2023-04-21selftests/bpf: verifier/map_ptr_mixing converted to inline assemblyGravatar Eduard Zingerman 1-100/+0
2023-04-21selftests/bpf: verifier/map_in_map converted to inline assemblyGravatar Eduard Zingerman 1-96/+0
2023-04-21selftests/bpf: verifier/lwt converted to inline assemblyGravatar Eduard Zingerman 1-189/+0
2023-04-21selftests/bpf: verifier/loops1 converted to inline assemblyGravatar Eduard Zingerman 1-206/+0
2023-04-21selftests/bpf: verifier/jeq_infer_not_null converted to inline assemblyGravatar Eduard Zingerman 1-174/+0
2023-04-21selftests/bpf: verifier/direct_packet_access converted to inline assemblyGravatar Eduard Zingerman 1-710/+0
2023-04-21selftests/bpf: verifier/d_path converted to inline assemblyGravatar Eduard Zingerman 1-37/+0
2023-04-21selftests/bpf: verifier/ctx converted to inline assemblyGravatar Eduard Zingerman 1-186/+0
2023-04-21selftests/bpf: verifier/btf_ctx_access converted to inline assemblyGravatar Eduard Zingerman 1-25/+0
2023-04-21selftests/bpf: verifier/bpf_get_stack converted to inline assemblyGravatar Eduard Zingerman 1-87/+0
2023-04-21selftests/bpf: verifier/bounds converted to inline assemblyGravatar Eduard Zingerman 1-884/+0
2023-04-16bpf: Remove bpf_kfunc_call_test_kptr_get() test kfuncGravatar David Vernet 1-27/+0
2023-04-11selftests/bpf: Add test to access u32 ptr argument in tracing programGravatar Feng Zhou 1-0/+13
2023-03-29selftests/bpf: Rewrite two infinite loops in bound check casesGravatar Xu Kuohai 1-8/+16
2023-03-28selftests/bpf: Remove verifier/xdp_direct_packet_access.c, converted to progs...Gravatar Eduard Zingerman 1-1468/+0
2023-03-25selftests/bpf: verifier/xdp.c converted to inline assemblyGravatar Eduard Zingerman 1-14/+0
2023-03-25selftests/bpf: verifier/xadd.c converted to inline assemblyGravatar Eduard Zingerman 1-97/+0
2023-03-25selftests/bpf: verifier/var_off.c converted to inline assemblyGravatar Eduard Zingerman 1-291/+0
2023-03-25selftests/bpf: verifier/value_or_null.c converted to inline assemblyGravatar Eduard Zingerman 1-220/+0
2023-03-25selftests/bpf: verifier/value.c converted to inline assemblyGravatar Eduard Zingerman 1-104/+0
2023-03-25selftests/bpf: verifier/value_adj_spill.c converted to inline assemblyGravatar Eduard Zingerman 1-43/+0
2023-03-25selftests/bpf: verifier/uninit.c converted to inline assemblyGravatar Eduard Zingerman 1-39/+0