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.
Fixes

Solution

No solution given by the vendor.


Workaround

No workaround given by the vendor.

History

No history.

cve-icon MITRE

Status: PUBLISHED

Assigner: mitre

Published:

Updated: 2024-08-05T21:06:48.982Z

Reserved: 2017-12-23T00:00:00

Link: CVE-2017-17862

cve-icon Vulnrichment

No data.

cve-icon NVD

Status : Deferred

Published: 2017-12-27T17:08:20.437

Modified: 2025-04-20T01:37:25.860

Link: CVE-2017-17862

cve-icon Redhat

Severity : Low

Publid Date: 2017-12-23T00:00:00Z

Links: CVE-2017-17862 - Bugzilla

cve-icon OpenCVE Enrichment

No data.