kernel/bpf/verifier.c in the Linux kernel through 4.14.8 ignores unreachable code, even though it would still be processed by JIT compilers. This behavior, also considered an improper branch-pruning logic issue, could possibly be used by local users for denial of service.
| Software | From | Fixed in |
|---|---|---|
| linux / linux_kernel | - | 4.14.8.x |
| debian / debian_linux | 9.0 | 9.0.x |