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:HPR:LUI:NScope
S:CImpact
C:HI:NA:NCVSS:3.0/AV:L/AC:H/PR:L/UI:N/S:C/C:H/I:N/A:N