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