summaryrefslogtreecommitdiff
path: root/tools/testing/selftests/bpf/progs/verifier_bounds.c
AgeCommit message (Expand)Author
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-08-09 16:52:15 +0000