Description
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.
Affected products
Version statuses are supplied by the assigning organization. Consult the original record for detailed ranges and platform conditions.
n/a n/a
n/aaffected
References
- https://github.com/torvalds/linux/commit/c131187db2d3fa2f8bf32fdf4e9a4ef805168467 ↗
- https://usn.ubuntu.com/3619-2/ ↗
- http://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/?id=c131187db2d3fa2f8bf32fdf4e9a4ef805168467 ↗
- https://www.spinics.net/lists/stable/msg206984.html ↗
- http://www.securityfocus.com/bid/102325 ↗
- https://www.debian.org/security/2017/dsa-4073 ↗
- https://usn.ubuntu.com/usn/usn-3523-2/ ↗
- https://anonscm.debian.org/cgit/kernel/linux.git/tree/debian/patches/bugfix/all/bpf-fix-branch-pruning-logic.patch?h=stretch-security ↗
- https://usn.ubuntu.com/3619-1/ ↗
- http://www.securitytracker.com/id/1040057 ↗