Katalog CVE

CVE-2026-98019

Nieznane
Opublikowano: Przetłumaczono: NVD NIST

Streszczenie

W jądrze Linux weryfikator BPF nie oznaczał rejestru skalarnego jako 'precise' w dwóch przypadkach: gdy argument funkcji pomocniczej jest NULL (check_func_arg) oraz gdy drugi parametr bpf_get_local_storage() jest zerem (check_helper_call). Powodowało to, że punkt kontrolny utworzony na takiej ścieżce mógł zostać przycięty względem dowolnej wartości skalarnej, co prowadzi do nieprawidłowej weryfikacji programów BPF.

Ocena ryzyka

Błędna weryfikacja programów BPF może pozwolić na obejście mechanizmów bezpieczeństwa jądra i wykonanie niezweryfikowanego kodu BPF, co w skrajnym przypadku prowadzi do eskalacji uprawnień lub destabilizacji systemu.

Rekomendacja

Zaktualizuj jądro Linux do wersji zawierającej poprawkę oznaczającą rejestry skalarne jako precise w check_func_arg() i check_helper_call().

Inne podatności w Linux kernel

Zobacz wszystkie
Oryginalny opis (angielski, źródło NVD)

In the Linux kernel, the following vulnerability has been resolved: bpf: mark a NULL call argument precise check_func_arg() allows bpf_register_is_null() for nullable arguments w/o marking the underlying scalar register precise. Hence a checkpoint created on such a path would prune against arbitrary scalar value. check_helper_call() enforces second parameter of the bpf_get_local_storage() to be zero, w/o marking the underlying scalar register precise. Hence a checkpoint created on such a path would prune against arbitrary scalar value. Grouping these two into one patch, as they share the same fixes tag.

Dane podatności pochodzą z NVD (NIST) · CISA KEV · EPSS