summaryrefslogtreecommitdiff
path: root/tools/testing/selftests/bpf/progs/verifier_spill_fill.c
AgeCommit message (Expand)AuthorFilesLines
2024-02-03selftests/bpf: States pruning checks for scalar vs STACK_MISCEduard Zingerman1-0/+154
2024-02-03selftests/bpf: Add test cases for narrowing fillMaxim Mikityanskiy1-0/+111
2024-02-03bpf: Preserve boundaries and track scalars on narrowing fillMaxim Mikityanskiy1-7/+19
2024-02-03selftests/bpf: Test tracking spilled unbounded scalarsMaxim Mikityanskiy1-0/+27
2024-02-03bpf: Track spilled unbounded scalarsMaxim Mikityanskiy1-3/+3
2024-01-24selftests/bpf: Add a selftest with not-8-byte aligned BPF_STYonghong Song1-0/+41
2024-01-24bpf: Track aligned st store as imprecise spilled registersYonghong Song1-8/+8
2024-01-24selftests/bpf: Test assigning ID to scalars on spillMaxim Mikityanskiy1-0/+133
2024-01-24selftests/bpf: Add a test case for 32-bit spill trackingMaxim Mikityanskiy1-0/+31
2024-01-24selftests/bpf: Fix the u64_offset_to_skb_data testMaxim Mikityanskiy1-5/+3
2023-12-19bpf: Ensure precise is reset to false in __mark_reg_const_zero()Andrii Nakryiko1-2/+8
2023-12-10selftests/bpf: validate fake register spill/fill precision backtracking logicAndrii Nakryiko1-0/+154
2023-12-06selftests/bpf: validate precision logic in partial_stack_load_preserves_zerosAndrii Nakryiko1-0/+16
2023-12-06selftests/bpf: validate zero preservation for sub-slot loadsAndrii Nakryiko1-0/+71
2023-12-06selftests/bpf: validate STACK_ZERO is preserved on subreg spillAndrii Nakryiko1-0/+40
2023-06-08selftests/bpf: Add test cases to assert proper ID tracking on spillMaxim Mikityanskiy1-0/+79
2023-03-26selftests/bpf: verifier/spill_fill.c converted to inline assemblyEduard Zingerman1-0/+374