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.

Status: PUBLISHED
Assigner: mitre
Published:
Updated: 2024-08-05T21:06:48.982Z
Reserved: 2017-12-23T00:00:00
Link: CVE-2017-17862

No data.

Status : Deferred
Published: 2017-12-27T17:08:20.437
Modified: 2025-04-20T01:37:25.860
Link: CVE-2017-17862
