summaryrefslogtreecommitdiff
path: root/tools/testing/selftests/bpf/progs/verifier_bounds.c
AgeCommit message (Expand)Author
2026-08-20selftests/bpf: Add reg-invariants test for speculative pointer arithmeticJiayuan Chen
2026-08-03bpf: Rename ARG_CONST_SIZE{,_OR_ZERO} to ARG_MEM_SIZE{,_OR_ZERO}Amery Hung
2026-05-18selftests/bpf: Fix test for refinement of single-value tnumPaul Chaignon
2026-04-27selftests/bpf: a test for proper cnums compare in is_state_visited()Eduard Zingerman
2026-04-24selftests/bpf: new cases handled by 32->64 range refinementsEduard Zingerman
2026-04-24bpf: replace min/max fields with struct cnum{32,64}Eduard Zingerman
2026-04-02selftests/bpf: Remove invariant violation flagsPaul Chaignon
2026-04-02selftests/bpf: Cover invariant violation case from syzbotPaul Chaignon
2026-03-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf 7.0-rc5Alexei Starovoitov
2026-03-21selftests/bpf: Add tests for maybe_fork_scalars() OR vs AND handlingDaniel Wade
2026-03-13selftests/bpf: Test case for refinement improvement using 64b boundsPaul Chaignon
2026-03-08Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf 7.0-rc3Alexei Starovoitov
2026-03-06selftests/bpf: test refining u32/s32 bounds when ranges cross min/max boundaryEduard Zingerman
2026-03-01Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf before 7.0-rc2Alexei Starovoitov
2026-02-27selftests/bpf: Test refinement of single-value tnumPaul Chaignon
2026-02-13bpf: use reg->var_off instead of reg->off for pointersEduard Zingerman
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