CVE-2026-31413
ŚrednieStreszczenie
W jądrze Linuxa naprawiono podatność związaną z nieprawidłowym forkowaniem skalarnym w funkcji maybe_fork_scalars() dla BPF_OR. Problem występował, gdy operand źródłowy był stałą, a zakres dst był podpisany w przedziale [-1, 0].
Ocena ryzyka
Podatność ta może prowadzić do nieprawidłowego stanu weryfikatora, co może skutkować nieprzewidywalnym zachowaniem systemu. Może to wpłynąć na bezpieczeństwo aplikacji korzystających z BPF.
Rekomendacja
Zaleca się aktualizację jądra Linuxa do najnowszej wersji, aby usunąć tę podatność. Należy również monitorować systemy pod kątem nieautoryzowanych zmian.
Oryginalny opis (angielski, źródło NVD)
In the Linux kernel, the following vulnerability has been resolved: bpf: Fix unsound scalar forking in maybe_fork_scalars() for BPF_OR maybe_fork_scalars() is called for both BPF_AND and BPF_OR when the source operand is a constant. When dst has signed range [-1, 0], it forks the verifier state: