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(-)
--
2.34.1