#VU125836 Always-Incorrect Control Flow Implementation in Linux kernel - CVE-2026-31413
Published: April 13, 2026 / Updated: April 17, 2026
Linux kernel
Linux Foundation
Description
The vulnerability allows a local user to access out-of-bounds map memory.
The vulnerability exists due to improper handling of scalar state forking in maybe_fork_scalars() when processing BPF_OR operations with a constant source operand. A local user can execute a crafted BPF program to access out-of-bounds map memory.
The issue is caused by a verifier/runtime divergence when the destination register has a signed range of [-1, 0].