ASA-2019-00039 – Linux kernel: BPF spectre v1 mitigation bypass

kernel/bpf/verifier.c in the Linux kernel 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.