kernel/bpf/verifier.c in the Linux kernel before 4.20.6 performs undesirable out-of-bounds speculation on pointer arithmetic in various cases, including cases of different branches with different state or limits to sanitize, leading to side-channel attacks.
4.15.0-1041.45~14.04.14.15.0-1035.37~16.04.14.15.0-1041.454.15.0-1029.31~16.04.14.15.0-47.50~16.04.14.15.0-1010.12~16.04.14.15.0-47.504.15.0-1035.374.18.0-1014.14~18.04.14.15.0-1029.31Exploitability
AV:LAC:HAT:PPR:LUI:NVulnerable System
VC:HVI:NVA:NSubsequent System
SC:NSI:NSA:NCVSS:4.0/AV:L/AC:H/AT:P/PR:L/UI:N/VC:H/VI:N/VA:N/SC:N/SI:N/SA:N