aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/tools/testing/selftests/bpf/progs/verifier_subprog_precision.c (follow)
AgeCommit message (Expand)AuthorFilesLines
2024-07-29bpf: Track equal scalars history on per-instruction levelEduard Zingerman1-1/+1
2024-06-26selftests/bpf: Move ARRAY_SIZE to bpf_misc.hJiri Olsa1-2/+0
2024-04-04selftests/bpf: add fp-leaking precise subprog result testsAndrii Nakryiko1-0/+89
2023-12-05selftests/bpf: add stack access precision testAndrii Nakryiko1-5/+59
2023-12-05bpf: 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-20bpf: keep track of max number of bpf_loop callback iterationsEduard Zingerman1-10/+25
2023-11-20bpf: verify callbacks as if they are called unknown number of timesEduard Zingerman1-14/+57
2023-05-04selftests/bpf: add precision propagation tests in the presence of subprogsAndrii Nakryiko1-0/+536