Andrii Nakryiko (4):
bpf: propagate precision across all frames, not just the last one
bpf: stop setting precise in current state
bpf: fix check for attempt to corrupt spilled pointer
bpf: fix precision propagation verbose logging
Eduard Zingerman (1):
bpf: Fix to preserve reg parent/live fields when copying range info
Martin KaFai Lau (3):
bpf: Check the other end of slot_type for STACK_SPILL
bpf: Support <8-byte scalar spill and refill
bpf: Do not reject when the stack read size is different from the
tracked scalar size
Paul Chaignon (1):
bpf: Fix incorrect state pruning for <8B spill/fill
kernel/bpf/verifier.c | 306 ++++++++++++++++++++++++++++++------------
1 file changed, 219 insertions(+), 87 deletions(-)
--
2.34.1