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.
Metrics
Affected Vendors & Products
References
History
No history.
MITRE
Status: PUBLISHED
Assigner: mitre
Published: 2017-12-23T17:00:00
Updated: 2024-08-05T21:06:48.982Z
Reserved: 2017-12-23T00:00:00
Link: CVE-2017-17862
Vulnrichment
No data.
NVD
Status : Modified
Published: 2017-12-27T17:08:20.437
Modified: 2018-04-07T01:29:05.377
Link: CVE-2017-17862
Redhat