summaryrefslogtreecommitdiff
path: root/tools/testing/selftests/bpf/progs/verifier_subprog_precision.c
AgeCommit message (Expand)Author
2024-07-29bpf: Track equal scalars history on per-instruction levelEduard Zingerman
2024-06-26selftests/bpf: Move ARRAY_SIZE to bpf_misc.hJiri Olsa
2024-04-04selftests/bpf: add fp-leaking precise subprog result testsAndrii Nakryiko
2023-12-05selftests/bpf: add stack access precision testAndrii Nakryiko
2023-12-05bpf: support non-r10 register spill/fill to/from stack in precision trackingAndrii Nakryiko
2023-12-02bpf: enforce precise retval range on program exitAndrii Nakryiko
2023-12-02selftests/bpf: add selftest validating callback result is enforcedAndrii Nakryiko
2023-11-24bpf: Validate global subprogs lazilyAndrii Nakryiko
2023-11-20bpf: keep track of max number of bpf_loop callback iterationsEduard Zingerman
2023-11-20bpf: verify callbacks as if they are called unknown number of timesEduard Zingerman
2023-05-04selftests/bpf: add precision propagation tests in the presence of subprogsAndrii Nakryiko