Linux kernel bug fix: bpf: propagate precision in ALU/ALU64 operations
Subsystem: bpf (kernel/bpf/verifier.c)
Bug type: hang, severity: medium
Files changed: kernel/bpf/verifier.c
Introduced by Alexei Starovoitov on 2019-06-19 02:22:52 +0200; fixed by Andrii Nakryiko on 2022-11-04 11:51:45 -0700 (lifetime: 1234 days)