Linux kernel bug fix: bpf: Verifier, do_refine_retval_range may clamp umin to 0 incorrectly
Subsystem: bpf (kernel/bpf/verifier.c)
Bug type: error-handling, severity: security
Files changed: kernel/bpf/verifier.c
Introduced by Yonghong Song on 2018-04-29 08:45:53 -0700; fixed by John Fastabend on 2020-03-30 14:44:15 -0700 (lifetime: 701 days)