Andrii Nakryiko (5): bpf: propagate precision across all frames, not just the last one bpf: allow precision tracking for programs with subprogs bpf: stop setting precise in current state bpf: aggressively forget precise markings during state checkpointing selftests/bpf: make test_align selftest more robust
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
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 | 404 ++++++++++++++---- .../testing/selftests/bpf/prog_tests/align.c | 36 +- .../bpf/verifier/bounds_mix_sign_unsign.c | 110 +++-- 3 files changed, 401 insertions(+), 149 deletions(-)