Linux kernel bug fix: bpf: Ensure reg is PTR_TO_STACK in process_iter_arg
Subsystem: bpf (tools/testing/selftests/bpf/progs/verifier_bits_iter.c)
Bug type: null-deref, severity: high
Keywords: null pointer;uninitialized
Files changed: kernel/bpf/verifier.c;tools/testing/selftests/bpf/progs/verifier_bits_iter.c
Introduced by Andrii Nakryiko on 2023-03-08 16:19:50 -0800; fixed by Tao Lyu on 2024-12-02 17:47:56 -0800 (lifetime: 635 days)