CVE 7.8 HIGH

bpf: Enforce regsafe base id consistency for BPF_ADD_CONST scalars_CVE-2026-53081

7.8 / 10
HIGH
CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:H

Description

In the Linux kernel, the following vulnerability has been resolved:

bpf: Enforce regsafe base id consistency for BPF_ADD_CONST scalars

When regsafe() compares two scalar registers that both carry
BPF_ADD_CONST, check_scalar_ids() maps their full compound id
(aka base | BPF_ADD_CONST flag) as one idmap entry. However,
it never verifies that the underlying base ids, that is, with
the flag stripped are consistent with existing idmap mappings.

This allows construction of two verifier states where the old
state has R3 = R2 + 10 (both sharing base id A) while the current
state has R3 = R4 + 10 (base id C, unrelated to R2). The idmap
creates two independent entries: A->B (for R2) and A|flag->C|flag
(for R3), without catching that A->C conflicts with A->B. State
pruning then incorrectly succeeds.

Fix this by additionally verifying base ID mapping consistency
whenever BPF_ADD_CONST is set: after mapping the compound ids,
also invoke check_ids() on the base IDs (flag bits stripped).
This ensures that if A was already mapped to B from comparing
the source register, any ADD_CONST derivative must also derive
from B, not an unrelated C.

Basic Information

ID CVE-2026-53081
Source Linux
Published Jun 24, 2026 at 16:30
Modified Jun 28, 2026 at 06:39

Affected Product

Vendor Linux
Product Linux
Version 98d7ca374ba4b39e7535613d40e159f09ca14da2
Affected Versions Linux Linux 98d7ca374ba4b39e7535613d40e159f09ca14da2
Linux Linux 98d7ca374ba4b39e7535613d40e159f09ca14da2
Linux Linux 98d7ca374ba4b39e7535613d40e159f09ca14da2
Linux Linux 98d7ca374ba4b39e7535613d40e159f09ca14da2
Linux Linux 6.11

References

💭 Join the Security Discussion

🔒 Your email address will not be published. Required fields are marked *

⚠️ Please be respectful and constructive in your comments. Security discussions should remain professional.