Show patches with: Series = Complete BPF verifier precision tracking support for register spills       |    Archived = No       |   10 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[v3,bpf-next,10/10] bpf: use common instruction history across all states Complete BPF verifier precision tracking support for register spills 1 - - 2725 2023-12-04 Andrii Nakryiko bpf Superseded
[v3,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 - - 2725 2023-12-04 Andrii Nakryiko bpf Superseded
[v3,bpf-next,08/10] bpf: track aligned STACK_ZERO cases as imprecise spilled registers Complete BPF verifier precision tracking support for register spills 1 - - 2725 2023-12-04 Andrii Nakryiko bpf Superseded
[v3,bpf-next,07/10] selftests/bpf: validate zero preservation for sub-slot loads Complete BPF verifier precision tracking support for register spills - - - 2725 2023-12-04 Andrii Nakryiko bpf Superseded
[v3,bpf-next,06/10] bpf: preserve constant zero when doing partial register restore Complete BPF verifier precision tracking support for register spills 1 - - 2725 2023-12-04 Andrii Nakryiko bpf Superseded
[v3,bpf-next,05/10] selftests/bpf: validate STACK_ZERO is preserved on subreg spill Complete BPF verifier precision tracking support for register spills 1 - - 2725 2023-12-04 Andrii Nakryiko bpf Superseded
[v3,bpf-next,04/10] bpf: preserve STACK_ZERO slots on partial reg spills Complete BPF verifier precision tracking support for register spills 1 - - 2815 2023-12-04 Andrii Nakryiko bpf Superseded
[v3,bpf-next,03/10] bpf: fix check for attempt to corrupt spilled pointer Complete BPF verifier precision tracking support for register spills - - - 2815 2023-12-04 Andrii Nakryiko bpf Superseded
[v3,bpf-next,02/10] selftests/bpf: add stack access precision test Complete BPF verifier precision tracking support for register spills 1 - - 2725 2023-12-04 Andrii Nakryiko bpf Superseded
[v3,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 - - 2518 2023-12-04 Andrii Nakryiko bpf Superseded