Odebrany

CVE-2026-98151

opublikowano: 25.09.2026, 13:17

modyfikacja: 25.09.2026, 13:17

Ocena CVSS

n/a

Brak oceny

Oficjalne źródła

>_ Opis

Tłumaczenie automatyczne – może zawierać nieścisłości.

W jądrze Linuksa usunięto następującą lukę:

bpf: Napraw NARUSZENIE REG INVARIANTS w spekulatywnej arytmetyce wskaźników

Weźmy za przykład następujący nieuprzywilejowany program:

r0 = bpf_map_lookup_elem(...) /* PTR_TO_MAP_VALUE, przesunięcie 0 */
...
14: r0 += r1 /* r1 jest skalarem ograniczonym */
15: r9 = r0

Załadowanie wyzwala ostrzeżenie weryfikatora z reg_bounds_sanity_check():

błąd weryfikatora: REG INVARIANTS VIOLATION (alu): const subreg tnum out
synchronizacji z granicami zakresu r64={.base=0x0, .size=0x0}
r32={.base=0x0, .size=0xffffffff} var_off=(0x0, 0x0)

Co się dzieje:

1. Przetwarzanie insn 14 (r0 += r1) w dostosowania_ptr_min_max_vals(), nowy
offset jest obliczany w zakresach var_off i 32/64-bitowych dst_reg.

2. Ponieważ rejestry wskaźników nie śledzą 32-bitowych granic podrejestrów,
__mark_reg32_unbounded() najpierw ustawia r32 na pełny zakres; r32 jest
ponownie wyprowadzone z przesunięcia na końcu funkcji przez
reg_bounds_sync().

3. Na ścieżce nieuprzywilejowanej wywoływana jest funkcja sanitize_ptr_alu() i via
sanitize_speculative_path() -> push_stack(), tworzy migawki bieżącego
rejestru i planuje wykonanie następnej instrukcji (insn 15).
weryfikowana bezpośrednio jako ścieżka spekulacyjna.

4. Ta migawka jest wykonywana pomiędzy krokiem 2 a końcową funkcją reg_bounds_sync():
w tym momencie var_off dst_reg nadal przechowuje oryginał (const).
offset, podczas gdy r32 został właśnie wygaszony do pełnego zakresu, tj. dwóch
nie są zsynchronizowane. Kiedy ścieżka spekulacyjna później weryfikuje insn 15
(r9 = r0), niespójny stan osiąga reg_bounds_sanity_check() i
wyświetla ostrzeżenie.

var_off i zakres 32-bitowy muszą być zawsze spójne. Są dwa
sposoby na zachowanie spójności migawki:

1. zsynchronizuj var_off i r32 przed migawką, aby pasowały, lub
2. pozostaw r32 na oryginalnej (już spójnej) wartości i wyczyść go
dopiero po zrobieniu migawki.

Cały sens sanitize_ptr_alu() polega na wstawieniu nieszkodliwego maskowania
sekwencja, która utrzymuje dostęp w granicach spekulacji, a więc stan
migawki powinny to wiernie przedstawiać. Wybierz podejście 2: ruszaj się
__mark_reg32_unbounded() po sanitize_ptr_alu(), więc wartość spekulacyjna
snapshot zachowuje oryginalny, spójny r32 wskaźnika. Niespekulacyjny
ścieżka pozostaje niezmieniona: r32 jest nadal wygaszony przed zastosowaniem przesunięcia i
ponownie wyprowadzone przez reg_bounds_sync().

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 = bpf_map_lookup_elem(...) /* PTR_TO_MAP_VALUE, offset 0 */
...
14: r0 += r1 /* r1 is a bounded scalar */
15: r9 = r0

Loading it triggers a verifier warning from reg_bounds_sanity_check():

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} var_off=(0x0, 0x0)

What happens:

1. Processing insn 14 (r0 += r1) in adjust_ptr_min_max_vals(), the new
offset is computed into dst_reg's var_off and 32/64-bit ranges.

2. Because pointer registers do not track 32-bit subregister bounds,
__mark_reg32_unbounded() first sets r32 to the full range; r32 is
re-derived from the offset at the end of the function by
reg_bounds_sync().

3. On the unprivileged path, sanitize_ptr_alu() is called and, via
sanitize_speculative_path() -> push_stack(), 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 reg_bounds_sync():
at this point dst_reg's var_off 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 reg_bounds_sanity_check() and
trips the warning.

var_off and the 32-bit range must always be consistent. There are two
ways to keep the snapshot consistent:

1. sync var_off 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 sanitize_ptr_alu() 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
__mark_reg32_unbounded() to after sanitize_ptr_alu(), 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 reg_bounds_sync().

>_ Referencje

Dane podatności pochodzą z oficjalnych źródeł (CVE® List / NVD). Opisy po polsku są tłumaczone automatycznie i mogą zawierać nieścisłości – na stronie rekordu można wyświetlić wersję angielską.

This product uses the NVD API but is not endorsed or certified by the NVD.

CVE Usage: MITRE hereby grants you a perpetual, worldwide, non-exclusive, no-charge, royalty-free, irrevocable copyright license to reproduce, prepare derivative works of, publicly display, publicly perform, sublicense, and distribute Common Vulnerabilities and Exposures (CVE®). Any copy you make for such purposes is authorized provided that you reproduce MITRE's copyright designation and this license in any such copy. ALL DOCUMENTS AND THE INFORMATION CONTAINED THEREIN PROVIDED BY MITRE ARE PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND.

NVD Terms of Use / CVE® Terms of Use / nvd.nist.gov / cve.org

<< baza_cve