Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-04-05 | selftests/bpf: add fp-leaking precise subprog result tests | Andrii Nakryiko | 1 | -0/+89 |
2023-12-06 | selftests/bpf: add stack access precision test | Andrii Nakryiko | 1 | -5/+59 |
2023-12-06 | bpf: support non-r10 register spill/fill to/from stack in precision tracking | Andrii Nakryiko | 1 | -5/+18 |
2023-12-02 | bpf: enforce precise retval range on program exit | Andrii Nakryiko | 1 | -1/+1 |
2023-12-02 | selftests/bpf: add selftest validating callback result is enforced | Andrii Nakryiko | 1 | -0/+50 |
2023-11-24 | bpf: Validate global subprogs lazily | Andrii Nakryiko | 1 | -3/+1 |
2023-11-21 | bpf: keep track of max number of bpf_loop callback iterations | Eduard Zingerman | 1 | -10/+25 |
2023-11-21 | bpf: verify callbacks as if they are called unknown number of times | Eduard Zingerman | 1 | -14/+57 |
2023-05-05 | selftests/bpf: add precision propagation tests in the presence of subprogs | Andrii Nakryiko | 1 | -0/+536 |