Description (CNA)
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 (CNA)
| Vendor / product | Versions |
|---|---|
| n/a / n/a | affected n/a |
CWE
No CWE identifiers supplied.
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
ADP enrichment
No English description supplied.
- 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