summaryrefslogtreecommitdiff
path: root/tools/testing/selftests/bpf/verifier/precise.c
AgeCommit message (Expand)AuthorFilesLines
2023-12-06bpf: support non-r10 register spill/fill to/from stack in precision trackingAndrii Nakryiko1-16/+22
2023-07-05selftests/bpf: Add F_NEEDS_EFFICIENT_UNALIGNED_ACCESS to some testsBjörn Töpel1-1/+1
2023-06-14bpf: Use scalar ids in mark_chain_precision()Eduard Zingerman1-4/+4
2023-05-05bpf: fix mark_all_scalars_precise use in mark_chain_precisionAndrii Nakryiko1-4/+5
2023-05-05bpf: maintain bitmasks across all active frames in __mark_chain_precisionAndrii Nakryiko1-9/+9
2023-05-05bpf: improve precision backtrack loggingAndrii Nakryiko1-52/+54
2023-04-27selftests/bpf: Add test case to assert precise scalar path pruningDaniel Borkmann1-0/+36
2022-08-25selftests/bpf: Add regression test for pruning fixKumar Kartikeya Dwivedi1-0/+25
2022-03-03bpf: Small BPF verifier log improvementsMykola Lysenko1-2/+2
2020-06-02bpf, selftests: Use bpf_probe_read_kernelIlya Leoshkevich1-4/+4
2019-09-05selftests/bpf: precision tracking testsAlexei Starovoitov1-0/+52
2019-08-28selftests/bpf: add precision tracking testAlexei Starovoitov1-0/+25
2019-08-28selftests/bpf: verifier precise testsAlexei Starovoitov1-0/+117