kernel/bpf/verifier.c in the Linux kernel 4.9.x through 4.9.71 does not check the relationship between pointer values and the BPF stack, which allows local users to cause a denial of service (integer overflow or invalid memory access) or possibly have unspecified other impact.
| Software | From | Fixed in |
|---|---|---|
| linux / linux_kernel | 4.9.0 | 4.9.71.x |
| debian / debian_linux | 9.0 | 9.0.x |