summaryrefslogtreecommitdiffstats
path: root/tools/testing/selftests/bpf/verifier
AgeCommit message (Expand)AuthorLines
2026-01-20bpf: Add range tracking for BPF_DIV and BPF_MODYazhou Tang-2/+2
2026-01-13bpf: return PTR_TO_BTF_ID | PTR_TRUSTED from BPF kfuncs by defaultMatt Bobrowski-1/+1
2025-12-16bpf/verifier: Do not limit maximum direct offset into arena mapEmil Tsalapatis-2/+2
2025-09-19bpf: disable and remove registers chain based livenessEduard Zingerman-2/+2
2025-08-27selftests/bpf: Fix typos and grammar in test sourcesShubham Sharma-4/+4
2025-07-02selftests/bpf: Negative test case for ref_obj_id in argsPaul Chaignon-0/+24
2025-06-09bpf: Fall back to nospec for Spectre v1Luis Gerhorst-30/+16
2025-01-16bpf: verifier: Support eliding map lookup nullnessDaniel Xu-1/+1
2025-01-16bpf: verifier: Refactor helper access type trackingDaniel Xu-1/+1
2024-09-09bpf: Fix error message on kfunc arg type mismatchMaxim Mikityanskiy-1/+1
2024-09-05selftests/bpf: fix some typos in selftestsLin Yikai-1/+1
2024-07-29bpf: Remove mark_precise_scalar_ids()Eduard Zingerman-4/+4
2024-07-29bpf: Track equal scalars history on per-instruction levelEduard Zingerman-10/+10
2024-07-12selftests/bpf: Test for null-pointer-deref bugfix in resolve_prog_type()Tengda Wu-0/+13
2024-07-09bpf: relax zero fixed offset constraint on KF_TRUSTED_ARGS/KF_RCUMatt Bobrowski-1/+1
2024-06-14bpf: Track delta between "linked" registers.Alexei Starovoitov-11/+11
2024-01-23selftests/bpf: Skip callback tests if jit is disabled in test_verifierTiezhu Yang-0/+6
2024-01-23bpf: Assign ID to scalars on spillMaxim Mikityanskiy-3/+3
2023-12-08bpf: Fix accesses to uninit stack slotsAndrei Matei-12/+3
2023-12-05bpf: support non-r10 register spill/fill to/from stack in precision trackingAndrii Nakryiko-16/+22
2023-11-09bpf: fix control-flow graph checking in privileged modeAndrii Nakryiko-3/+3
2023-11-09bpf: handle ldimm64 properly in check_cfg()Andrii Nakryiko-4/+4
2023-11-01selftests/bpf: Add test for immediate spilled to stackHao Sun-0/+32
2023-07-27selftests/bpf: Fix a test_verifier failureYonghong Song-3/+3
2023-07-05selftests/bpf: Add F_NEEDS_EFFICIENT_UNALIGNED_ACCESS to some testsBjörn Töpel-1/+14
2023-06-13bpf: Use scalar ids in mark_chain_precision()Eduard Zingerman-4/+4
2023-05-04bpf: fix mark_all_scalars_precise use in mark_chain_precisionAndrii Nakryiko-4/+5
2023-05-04bpf: maintain bitmasks across all active frames in __mark_chain_precisionAndrii Nakryiko-9/+9
2023-05-04bpf: improve precision backtrack loggingAndrii Nakryiko-52/+54
2023-04-27selftests/bpf: Add test case to assert precise scalar path pruningDaniel Borkmann-0/+36
2023-04-22selftests/bpf: verifier/prevent_map_lookup converted to inline assemblyEduard Zingerman-29/+0
2023-04-21selftests/bpf: verifier/value_ptr_arith converted to inline assemblyEduard Zingerman-1140/+0
2023-04-21selftests/bpf: verifier/value_illegal_alu converted to inline assemblyEduard Zingerman-95/+0
2023-04-21selftests/bpf: verifier/unpriv converted to inline assemblyEduard Zingerman-562/+0
2023-04-21selftests/bpf: verifier/subreg converted to inline assemblyEduard Zingerman-533/+0
2023-04-21selftests/bpf: verifier/spin_lock converted to inline assemblyEduard Zingerman-447/+0
2023-04-21selftests/bpf: verifier/sock converted to inline assemblyEduard Zingerman-706/+0
2023-04-21selftests/bpf: verifier/search_pruning converted to inline assemblyEduard Zingerman-266/+0
2023-04-21selftests/bpf: verifier/runtime_jit converted to inline assemblyEduard Zingerman-231/+0
2023-04-21selftests/bpf: verifier/regalloc converted to inline assemblyEduard Zingerman-277/+0
2023-04-21selftests/bpf: verifier/ref_tracking converted to inline assemblyEduard Zingerman-1082/+0
2023-04-21selftests/bpf: verifier/map_ptr_mixing converted to inline assemblyEduard Zingerman-100/+0
2023-04-21selftests/bpf: verifier/map_in_map converted to inline assemblyEduard Zingerman-96/+0
2023-04-21selftests/bpf: verifier/lwt converted to inline assemblyEduard Zingerman-189/+0
2023-04-21selftests/bpf: verifier/loops1 converted to inline assemblyEduard Zingerman-206/+0
2023-04-21selftests/bpf: verifier/jeq_infer_not_null converted to inline assemblyEduard Zingerman-174/+0
2023-04-21selftests/bpf: verifier/direct_packet_access converted to inline assemblyEduard Zingerman-710/+0
2023-04-21selftests/bpf: verifier/d_path converted to inline assemblyEduard Zingerman-37/+0
2023-04-21selftests/bpf: verifier/ctx converted to inline assemblyEduard Zingerman-186/+0
2023-04-21selftests/bpf: verifier/btf_ctx_access converted to inline assemblyEduard Zingerman-25/+0