Show patches with: Series = Complete BPF verifier precision tracking support for register spills       |   10 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[v4,bpf-next,10/10] bpf: use common instruction history across all states Complete BPF verifier precision tracking support for register spills 1 - - 462- 2023-12-05 Andrii Nakryiko bpf Rejected
[v4,bpf-next,09/10] selftests/bpf: validate precision logic in partial_stack_load_preserves_zeros Complete BPF verifier precision tracking support for register spills 1 - - 462- 2023-12-05 Andrii Nakryiko bpf Accepted
[v4,bpf-next,08/10] bpf: track aligned STACK_ZERO cases as imprecise spilled registers Complete BPF verifier precision tracking support for register spills 1 - - 462- 2023-12-05 Andrii Nakryiko bpf Accepted
[v4,bpf-next,07/10] selftests/bpf: validate zero preservation for sub-slot loads Complete BPF verifier precision tracking support for register spills - - - 462- 2023-12-05 Andrii Nakryiko bpf Accepted
[v4,bpf-next,06/10] bpf: preserve constant zero when doing partial register restore Complete BPF verifier precision tracking support for register spills 1 - - 462- 2023-12-05 Andrii Nakryiko bpf Accepted
[v4,bpf-next,05/10] selftests/bpf: validate STACK_ZERO is preserved on subreg spill Complete BPF verifier precision tracking support for register spills 1 - - 462- 2023-12-05 Andrii Nakryiko bpf Accepted
[v4,bpf-next,04/10] bpf: preserve STACK_ZERO slots on partial reg spills Complete BPF verifier precision tracking support for register spills 1 - - 471- 2023-12-05 Andrii Nakryiko bpf Accepted
[v4,bpf-next,03/10] bpf: fix check for attempt to corrupt spilled pointer Complete BPF verifier precision tracking support for register spills - - - 47-1 2023-12-05 Andrii Nakryiko bpf Accepted
[v4,bpf-next,02/10] selftests/bpf: add stack access precision test Complete BPF verifier precision tracking support for register spills 1 - - 462- 2023-12-05 Andrii Nakryiko bpf Accepted
[v4,bpf-next,01/10] bpf: support non-r10 register spill/fill to/from stack in precision tracking Complete BPF verifier precision tracking support for register spills 1 - - 4413 2023-12-05 Andrii Nakryiko bpf Accepted