CVE-2026-98151: bpf: Fix REG INVARIANTS VIOLATION on speculative pointer arithmetic
In the Linux kernel, the following vulnerability has been resolved:
bpf: Fix REG INVARIANTS VIOLATION on speculative pointer arithmetic
Take the following unprivileged program as an example:
r0 = bpfmaplookupelem(...) / PTRTOMAPVALUE, offset 0 / ... 14: r0 += r1 / r1 is a bounded scalar / 15: r9 = r0
Loading it triggers a verifier warning from regboundssanitycheck():
verifier bug: REG INVARIANTS VIOLATION (alu): const subreg tnum out of sync with range bounds r64={.base=0x0, .size=0x0} r32={.base=0x0, .size=0xffffffff} varoff=(0x0, 0x0)
What happens:
1. Processing insn 14 (r0 += r1) in adjustptrminmaxvals(), the new offset is computed into dstreg's varoff and 32/64-bit ranges.
2. Because pointer registers do not track 32-bit subregister bounds, markreg32unbounded() first sets r32 to the full range; r32 is re-derived from the offset at the end of the function by regboundssync().
3. On the unprivileged path, sanitizeptralu() is called and, via sanitizespeculativepath() -> pushstack(), snapshots the current register state and schedules the next instruction (insn 15) to be verified directly as a speculative path.
4. That snapshot is taken between step 2 and the final regboundssync(): at this point dstreg's varoff still holds the (const) original offset while r32 has just been blanked to the full range, i.e. the two are out of sync. When the speculative path later verifies insn 15 (r9 = r0), the inconsistent state reaches regboundssanitycheck() and trips the warning.
varoff and the 32-bit range must always be consistent. There are two ways to keep the snapshot consistent:
1. sync varoff and r32 before the snapshot so they match, or 2. leave r32 at its original (already consistent) value and blank it only after the snapshot.
The whole point of sanitizeptralu() is to insert a harmless masking sequence that keeps the access in bounds under speculation, so the state it snapshots should faithfully represent that. Take approach 2: move markreg32unbounded() to after sanitizeptralu(), so the speculative snapshot keeps the pointer's original, consistent r32. The non-speculative path is unchanged: r32 is still blanked before the offset is applied and re-derived by regboundssync().
Affected Software
Event History
Frequently Asked Questions
Who is exposed to this issue?
Systems that allow unprivileged BPF programs to be loaded are exposed to the described verification path. The triggering example uses a map-value pointer and bounded scalar pointer arithmetic.
What must an attacker be able to do to trigger it?
An attacker needs to load an unprivileged BPF program that obtains a PTR_TO_MAP_VALUE pointer, adds a bounded scalar to it, and then uses the resulting register on the next instruction. The issue occurs when speculative-path verification snapshots register state before 32-bit bounds are synchronized.
How can I tell whether the issue is present?
Loading the described program triggers a verifier warning from reg_bounds_sanity_check() reporting "REG INVARIANTS VIOLATION (alu)" and indicating that the constant subregister tnum is out of sync with range bounds. The example performs r0 += r1 after a map lookup and then copies r0 to r9.