Linux kernel bug fix: bpf: take into account liveness when propagating precision
Subsystem: bpf (kernel/bpf/verifier.c)
Bug type: crash, severity: high
Files changed: kernel/bpf/verifier.c
Introduced by Alexei Starovoitov on 2019-07-03 11:12:14 +0200; fixed by Andrii Nakryiko on 2023-03-10 10:11:42 -0800 (lifetime: 1345 days)