aboutsummaryrefslogtreecommitdiffstats
path: root/tools/testing/selftests/bpf/progs/verifier_bounds.c (follow)
AgeCommit message (Expand)AuthorFilesLines
2025-09-19bpf: disable and remove registers chain based livenessEduard Zingerman1-19/+19
2025-08-22selftests/bpf: Tests for is_scalar_branch_taken tnum logicPaul Chaignon1-0/+41
2025-07-28bpf: Add third round of bounds deductionPaul Chaignon1-1/+1
2025-07-28selftests/bpf: Test invariants on JSLT crossing signPaul Chaignon1-1/+1
2025-07-28selftests/bpf: Test cross-sign 64bits range refinementPaul Chaignon1-0/+118
2025-07-11selftests/bpf: Range analysis test case for JSETPaul Chaignon1-0/+18
2025-07-01selftests/bpf: Fix spelling mistake "subtration" -> "subtraction"Colin Ian King1-2/+2
2025-06-24selftests/bpf: Add testcases for BPF_ADD and BPF_SUBHarishankar Vishwanathan1-0/+161
2025-06-09bpf: Fall back to nospec for Spectre v1Luis Gerhorst1-12/+49
2024-12-30selftests/bpf: Add testcases for BPF_MULMatan Shachnai1-0/+134
2024-05-06selftests/bpf: MUL range computation tests.Cupertino Miranda1-0/+21
2024-05-06selftests/bpf: XOR and OR range computation tests.Cupertino Miranda1-0/+42
2023-12-19selftests/bpf: add testcase to verifier_bounds.c for BPF_JNEMenglong Dong1-0/+62
2023-11-17bpf: rename BPF_F_TEST_SANITY_STRICT to BPF_F_TEST_REG_INVARIANTSAndrii Nakryiko1-2/+2
2023-11-15selftests/bpf: set BPF_F_TEST_SANITY_SCRIPT by defaultAndrii Nakryiko1-0/+2
2023-04-21selftests/bpf: verifier/bounds converted to inline assemblyEduard Zingerman1-0/+1076