summaryrefslogtreecommitdiff
path: root/tools/testing/selftests/bpf/progs/verifier_bounds.c
AgeCommit message (Expand)Author
2026-03-21selftests/bpf: Add tests for maybe_fork_scalars() OR vs AND handlingDaniel Wade
2026-03-06selftests/bpf: test refining u32/s32 bounds when ranges cross min/max boundaryEduard Zingerman
2026-02-27selftests/bpf: Test refinement of single-value tnumPaul Chaignon
2026-02-04bpf: Support negative offsets, BPF_SUB, and alu32 for linked register trackingPuranjay Mohan
2025-11-03selftests/bpf: Add test for conditional jumps on same scalar registerKaFai Wan
2025-09-19bpf: disable and remove registers chain based livenessEduard Zingerman
2025-08-22selftests/bpf: Tests for is_scalar_branch_taken tnum logicPaul Chaignon
2025-07-28bpf: Add third round of bounds deductionPaul Chaignon
2025-07-28selftests/bpf: Test invariants on JSLT crossing signPaul Chaignon
2025-07-28selftests/bpf: Test cross-sign 64bits range refinementPaul Chaignon
2025-07-11selftests/bpf: Range analysis test case for JSETPaul Chaignon
2025-07-01selftests/bpf: Fix spelling mistake "subtration" -> "subtraction"Colin Ian King
2025-06-24selftests/bpf: Add testcases for BPF_ADD and BPF_SUBHarishankar Vishwanathan
2025-06-09bpf: Fall back to nospec for Spectre v1Luis Gerhorst
2024-12-30selftests/bpf: Add testcases for BPF_MULMatan Shachnai
2024-05-06selftests/bpf: MUL range computation tests.Cupertino Miranda
2024-05-06selftests/bpf: XOR and OR range computation tests.Cupertino Miranda
2023-12-19selftests/bpf: add testcase to verifier_bounds.c for BPF_JNEMenglong Dong
2023-11-17bpf: rename BPF_F_TEST_SANITY_STRICT to BPF_F_TEST_REG_INVARIANTSAndrii Nakryiko
2023-11-15selftests/bpf: set BPF_F_TEST_SANITY_SCRIPT by defaultAndrii Nakryiko
2023-04-21selftests/bpf: verifier/bounds converted to inline assemblyEduard Zingerman