summaryrefslogtreecommitdiff
path: root/tools/testing/selftests/bpf/verifier/precise.c
AgeCommit message (Expand)Author
2024-07-29bpf: Remove mark_precise_scalar_ids()Eduard Zingerman
2024-07-29bpf: Track equal scalars history on per-instruction levelEduard Zingerman
2024-06-14bpf: Track delta between "linked" registers.Alexei Starovoitov
2024-01-23bpf: Assign ID to scalars on spillMaxim Mikityanskiy
2023-12-05bpf: support non-r10 register spill/fill to/from stack in precision trackingAndrii Nakryiko
2023-07-05selftests/bpf: Add F_NEEDS_EFFICIENT_UNALIGNED_ACCESS to some testsBjörn Töpel
2023-06-13bpf: Use scalar ids in mark_chain_precision()Eduard Zingerman
2023-05-04bpf: fix mark_all_scalars_precise use in mark_chain_precisionAndrii Nakryiko
2023-05-04bpf: maintain bitmasks across all active frames in __mark_chain_precisionAndrii Nakryiko
2023-05-04bpf: improve precision backtrack loggingAndrii Nakryiko
2023-04-27selftests/bpf: Add test case to assert precise scalar path pruningDaniel Borkmann
2022-08-25selftests/bpf: Add regression test for pruning fixKumar Kartikeya Dwivedi
2022-03-03bpf: Small BPF verifier log improvementsMykola Lysenko
2020-06-02bpf, selftests: Use bpf_probe_read_kernelIlya Leoshkevich
2019-09-05selftests/bpf: precision tracking testsAlexei Starovoitov
2019-08-28selftests/bpf: add precision tracking testAlexei Starovoitov
2019-08-28selftests/bpf: verifier precise testsAlexei Starovoitov