summaryrefslogtreecommitdiff
path: root/tools/testing/selftests/bpf/progs/verifier_spill_fill.c
AgeCommit message (Expand)Author
2024-02-02selftests/bpf: States pruning checks for scalar vs STACK_MISCEduard Zingerman
2024-02-02selftests/bpf: Add test cases for narrowing fillMaxim Mikityanskiy
2024-02-02bpf: Preserve boundaries and track scalars on narrowing fillMaxim Mikityanskiy
2024-02-02selftests/bpf: Test tracking spilled unbounded scalarsMaxim Mikityanskiy
2024-02-02bpf: Track spilled unbounded scalarsMaxim Mikityanskiy
2024-01-23selftests/bpf: Add a selftest with not-8-byte aligned BPF_STYonghong Song
2024-01-23bpf: Track aligned st store as imprecise spilled registersYonghong Song
2024-01-23selftests/bpf: Test assigning ID to scalars on spillMaxim Mikityanskiy
2024-01-23selftests/bpf: Add a test case for 32-bit spill trackingMaxim Mikityanskiy
2024-01-23selftests/bpf: Fix the u64_offset_to_skb_data testMaxim Mikityanskiy
2023-12-18bpf: Ensure precise is reset to false in __mark_reg_const_zero()Andrii Nakryiko
2023-12-09selftests/bpf: validate fake register spill/fill precision backtracking logicAndrii Nakryiko
2023-12-05selftests/bpf: validate precision logic in partial_stack_load_preserves_zerosAndrii Nakryiko
2023-12-05selftests/bpf: validate zero preservation for sub-slot loadsAndrii Nakryiko
2023-12-05selftests/bpf: validate STACK_ZERO is preserved on subreg spillAndrii Nakryiko
2023-06-08selftests/bpf: Add test cases to assert proper ID tracking on spillMaxim Mikityanskiy
2023-03-25selftests/bpf: verifier/spill_fill.c converted to inline assemblyEduard Zingerman