summaryrefslogtreecommitdiffstats
path: root/tools/testing/selftests/bpf/verifier
Commit message (Expand)AuthorAgeFilesLines
* 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
* selftests/bpf: verifier/xadd.c converted to inline assemblyEduard Zingerman2023-03-251-97/+0
* selftests/bpf: verifier/var_off.c converted to inline assemblyEduard Zingerman2023-03-251-291/+0
* selftests/bpf: verifier/value_or_null.c converted to inline assemblyEduard Zingerman2023-03-251-220/+0
* selftests/bpf: verifier/value.c converted to inline assemblyEduard Zingerman2023-03-251-104/+0
* selftests/bpf: verifier/value_adj_spill.c converted to inline assemblyEduard Zingerman2023-03-251-43/+0
* selftests/bpf: verifier/uninit.c converted to inline assemblyEduard Zingerman2023-03-251-39/+0
* selftests/bpf: verifier/stack_ptr.c converted to inline assemblyEduard Zingerman2023-03-251-359/+0
* selftests/bpf: verifier/spill_fill.c converted to inline assemblyEduard Zingerman2023-03-251-345/+0
* selftests/bpf: verifier/ringbuf.c converted to inline assemblyEduard Zingerman2023-03-251-95/+0