Linux kernel bug fix: bpf: Fix an incorrect branch elimination by verifier
Subsystem: bpf (kernel/bpf/verifier.c)
Bug type: null-deref, severity: high
Keywords: null pointer
Files changed: kernel/bpf/verifier.c
Introduced by John Fastabend on 2020-05-21 17:44:25 -0700; fixed by Yonghong Song on 2020-06-30 22:21:05 +0200 (lifetime: 40 days)