summaryrefslogtreecommitdiff
path: root/tools/testing/selftests/bpf/progs/verifier_bounds.c
AgeCommit message (Expand)Author
8 daysbpf: Add third round of bounds deductionPaul Chaignon
8 daysselftests/bpf: Test invariants on JSLT crossing signPaul Chaignon
8 daysselftests/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