summaryrefslogtreecommitdiff
path: root/tools/testing/selftests/bpf/progs/verifier_subprog_precision.c
AgeCommit message (Expand)AuthorFilesLines
2024-07-29bpf: Track equal scalars history on per-instruction levelEduard Zingerman1-1/+1
2024-06-27selftests/bpf: Move ARRAY_SIZE to bpf_misc.hJiri Olsa1-2/+0
2024-04-05selftests/bpf: add fp-leaking precise subprog result testsAndrii Nakryiko1-0/+89
2023-12-06selftests/bpf: add stack access precision testAndrii Nakryiko1-5/+59
2023-12-06bpf: support non-r10 register spill/fill to/from stack in precision trackingAndrii Nakryiko1-5/+18
2023-12-02bpf: enforce precise retval range on program exitAndrii Nakryiko1-1/+1
2023-12-02selftests/bpf: add selftest validating callback result is enforcedAndrii Nakryiko1-0/+50
2023-11-24bpf: Validate global subprogs lazilyAndrii Nakryiko1-3/+1
2023-11-21bpf: keep track of max number of bpf_loop callback iterationsEduard Zingerman1-10/+25
2023-11-21bpf: verify callbacks as if they are called unknown number of timesEduard Zingerman1-14/+57
2023-05-05selftests/bpf: add precision propagation tests in the presence of subprogsAndrii Nakryiko1-0/+536