CVE-2017-17862
kernel: Improper logic pruning in bpf/verifier.c
Severity
LowRed Hat Product Security
CVSS 3.0
Review impact separately from score.
Published · December 23, 2017
Updated · May 13, 2026
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.
Statement
This issue does not affect the versions of the kernel package as shipped with Red Hat Enterprise Linux 5, 6, 7 and Red Hat Enterprise MRG 2.
CVSS score applicability
The CVSS score(s) listed for this vulnerability do not reflect the associated product's status, and are included for informational purposes to better understand the severity of this vulnerability.
Mitigation
No mitigation is specified in collected source.
CVSS / CWE
CVSS 3.0 · 4.7CVSS:3.0/AV:L/AC:H/PR:L/UI:N/S:U/C:N/I:N/A:H
CVSS 2.0 · 5.2AV:L/AC:H/Au:N/C:P/I:P/A:C
CWE-561 · Dead Code