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 (2): bpf: Fix to preserve reg parent/live fields when copying range info bpf: track immediate values written to stack by BPF_ST instruction
Hao Sun (1): bpf: Fix check_stack_write_fixed_off() to correctly spill imm
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
Maxim Mikityanskiy (1): bpf: Fix verifier id tracking of scalars on spill
Paul Chaignon (1): bpf: Fix incorrect state pruning for <8B spill/fill
Shung-Hsi Yu (1): bpf: Fix precision tracking for BPF_ALU | BPF_TO_BE | BPF_END
kernel/bpf/verifier.c | 334 +++++++++++++----- .../bpf/verifier/bounds_mix_sign_unsign.c | 110 +++--- 2 files changed, 308 insertions(+), 136 deletions(-)