CVE-2026-31413

Name of the Vulnerable Software and Affected Versions Linux kernel (affected versions not specified)

Description The Linux kernel contains a flaw in the BPF verifier related to unsound scalar forking in the maybe fork scalars() function when handling BPF OR operations. Specifically, the function incorrectly forks the verifier state, leading to a divergence between the verifier and runtime values. This divergence can result in out-of-bounds map access.

Recommendations At the moment, there is no information about a newer version that contains a fix for this vulnerability.