summaryrefslogtreecommitdiffstats
path: root/tools/testing/selftests/bpf/verifier
Commit message (Expand)AuthorAgeFilesLines
* bpf: verifier: Support eliding map lookup nullnessDaniel Xu2025-01-161-1/+1
* bpf: verifier: Refactor helper access type trackingDaniel Xu2025-01-161-1/+1
* bpf: Fix error message on kfunc arg type mismatchMaxim Mikityanskiy2024-09-091-1/+1
* selftests/bpf: fix some typos in selftestsLin Yikai2024-09-051-1/+1
* bpf: Remove mark_precise_scalar_ids()Eduard Zingerman2024-07-291-4/+4
* bpf: Track equal scalars history on per-instruction levelEduard Zingerman2024-07-291-10/+10
* selftests/bpf: Test for null-pointer-deref bugfix in resolve_prog_type()Tengda Wu2024-07-121-0/+13
* bpf: relax zero fixed offset constraint on KF_TRUSTED_ARGS/KF_RCUMatt Bobrowski2024-07-091-1/+1
* bpf: Track delta between "linked" registers.Alexei Starovoitov2024-06-141-11/+11
* selftests/bpf: Skip callback tests if jit is disabled in test_verifierTiezhu Yang2024-01-231-0/+6
* bpf: Assign ID to scalars on spillMaxim Mikityanskiy2024-01-231-3/+3
* bpf: Fix accesses to uninit stack slotsAndrei Matei2023-12-082-12/+3
* bpf: support non-r10 register spill/fill to/from stack in precision trackingAndrii Nakryiko2023-12-051-16/+22
* bpf: fix control-flow graph checking in privileged modeAndrii Nakryiko2023-11-091-3/+3
* bpf: handle ldimm64 properly in check_cfg()Andrii Nakryiko2023-11-091-4/+4
* selftests/bpf: Add test for immediate spilled to stackHao Sun2023-11-011-0/+32
* selftests/bpf: Fix a test_verifier failureYonghong Song2023-07-271-3/+3
* selftests/bpf: Add F_NEEDS_EFFICIENT_UNALIGNED_ACCESS to some testsBjörn Töpel2023-07-055-1/+14
* bpf: Use scalar ids in mark_chain_precision()Eduard Zingerman2023-06-131-4/+4
* bpf: fix mark_all_scalars_precise use in mark_chain_precisionAndrii Nakryiko2023-05-041-4/+5
* bpf: maintain bitmasks across all active frames in __mark_chain_precisionAndrii Nakryiko2023-05-041-9/+9
* bpf: improve precision backtrack loggingAndrii Nakryiko2023-05-041-52/+54
* selftests/bpf: Add test case to assert precise scalar path pruningDaniel Borkmann2023-04-271-0/+36
* selftests/bpf: verifier/prevent_map_lookup converted to inline assemblyEduard Zingerman2023-04-221-29/+0
* selftests/bpf: verifier/value_ptr_arith converted to inline assemblyEduard Zingerman2023-04-211-1140/+0
* selftests/bpf: verifier/value_illegal_alu converted to inline assemblyEduard Zingerman2023-04-211-95/+0
* selftests/bpf: verifier/unpriv converted to inline assemblyEduard Zingerman2023-04-211-562/+0
* selftests/bpf: verifier/subreg converted to inline assemblyEduard Zingerman2023-04-211-533/+0
* selftests/bpf: verifier/spin_lock converted to inline assemblyEduard Zingerman2023-04-211-447/+0
* selftests/bpf: verifier/sock converted to inline assemblyEduard Zingerman2023-04-211-706/+0
* selftests/bpf: verifier/search_pruning converted to inline assemblyEduard Zingerman2023-04-211-266/+0
* selftests/bpf: verifier/runtime_jit converted to inline assemblyEduard Zingerman2023-04-211-231/+0
* selftests/bpf: verifier/regalloc converted to inline assemblyEduard Zingerman2023-04-211-277/+0
* selftests/bpf: verifier/ref_tracking converted to inline assemblyEduard Zingerman2023-04-211-1082/+0
* selftests/bpf: verifier/map_ptr_mixing converted to inline assemblyEduard Zingerman2023-04-211-100/+0
* selftests/bpf: verifier/map_in_map converted to inline assemblyEduard Zingerman2023-04-211-96/+0
* selftests/bpf: verifier/lwt converted to inline assemblyEduard Zingerman2023-04-211-189/+0
* selftests/bpf: verifier/loops1 converted to inline assemblyEduard Zingerman2023-04-211-206/+0
* selftests/bpf: verifier/jeq_infer_not_null converted to inline assemblyEduard Zingerman2023-04-211-174/+0
* selftests/bpf: verifier/direct_packet_access converted to inline assemblyEduard Zingerman2023-04-211-710/+0
* selftests/bpf: verifier/d_path converted to inline assemblyEduard Zingerman2023-04-211-37/+0
* selftests/bpf: verifier/ctx converted to inline assemblyEduard Zingerman2023-04-211-186/+0
* selftests/bpf: verifier/btf_ctx_access converted to inline assemblyEduard Zingerman2023-04-211-25/+0
* selftests/bpf: verifier/bpf_get_stack converted to inline assemblyEduard Zingerman2023-04-211-87/+0
* selftests/bpf: verifier/bounds converted to inline assemblyEduard Zingerman2023-04-211-884/+0
* bpf: Remove bpf_kfunc_call_test_kptr_get() test kfuncDavid Vernet2023-04-161-27/+0
* selftests/bpf: Add test to access u32 ptr argument in tracing programFeng Zhou2023-04-111-0/+13
* selftests/bpf: Rewrite two infinite loops in bound check casesXu Kuohai2023-03-291-8/+16
* selftests/bpf: Remove verifier/xdp_direct_packet_access.c, converted to progs...Eduard Zingerman2023-03-281-1468/+0
* selftests/bpf: verifier/xdp.c converted to inline assemblyEduard Zingerman2023-03-251-14/+0
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-12 16:56:49 +0000