SecvalisbySYSDEVOPS.EU
Katalog CVE
EnglishPolski

CVE-2026-64352

WysokieCVSS 7.8
Opublikowano: Zaktualizowano: Przetłumaczono: NVD NIST

Prawdopodobieństwo exploitacji (EPSS)

Niskie ryzyko
0.17%

Percentyl 7 - wyżej niż 7% wszystkich znanych CVE

Streszczenie

W jądrze Linux wykryto podatność w implementacji mapy LPM (Longest Prefix Match) w BPF, która powodowała fałszywe ostrzeżenia lockdep podczas wykonywania programów BPF w kontekście usypialnym (sleepable). Problem dotyczył nieprawidłowego użycia mechanizmów RCU w funkcjach trie_lookup_elem, trie_update_elem i trie_delete_elem, które nie uwzględniały kontekstu rcu_read_lock_trace().

Ocena ryzyka

Podatność prowadzi do zalewania konsoli ostrzeżeniami lockdep na jądrach debug, co może utrudniać diagnostykę i maskować rzeczywiste problemy. Nie stwarza bezpośredniego ryzyka naruszenia bezpieczeństwa (brak użycia po zwolnieniu), ale może wpływać na stabilność systemów wykorzystujących sleepable BPF LSM.

Rekomendacja

Zaleca się aktualizację jądra Linux do wersji zawierającej poprawkę (commit w gałęzi bpf-next lub stabilnej). Jeśli aktualizacja nie jest możliwa, należy unikać używania sleepable programów BPF z mapami LPM w środowiskach produkcyjnych z jądrem debug.

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: Allow LPM map access from sleepable BPF programs trie_lookup_elem() annotates its rcu_dereference_check() walks with only rcu_read_lock_bh_held(). Because rcu_dereference_check(p, c) resolves to "c || rcu_read_lock_held()", this passes for XDP/NAPI and classic RCU readers but fails for sleepable BPF programs, which enter via __bpf_prog_enter_sleepable() and hold only rcu_read_lock_trace(). trie_update_elem() and trie_delete_elem() have the same problem in a different form: they walk the trie with plain rcu_dereference(), which asserts rcu_read_lock_held() unconditionally. Both are reachable from sleepable BPF programs via the bpf_map_update_elem / bpf_map_delete_elem helpers, and from the syscall path under classic rcu_read_lock(). In the writer paths the trie is actually protected by trie->lock (an rqspinlock taken across the walk); we never relied on the RCU read-side lock to keep nodes alive there. A sleepable LSM hook that ends up touching an LPM trie therefore triggers lockdep on debug kernels: ============================= WARNING: suspicious RCU usage 7.1.0-... Tainted: G E ----------------------------- kernel/bpf/lpm_trie.c:249 suspicious rcu_dereference_check() usage! 1 lock held by net_tests/540: #0: (rcu_tasks_trace_srcu_struct){....}-{0:0}, at: __bpf_prog_enter_sleepable+0x26/0x280 Call Trace: dump_stack_lvl lockdep_rcu_suspicious trie_lookup_elem bpf_prog_..._enforce_security_socket_connect bpf_trampoline_... security_socket_connect __sys_connect do_syscall_64 This is lockdep-only -- no UAF, since Tasks Trace RCU does serialize against the trie's reclaim path -- but it spams the console once per distinct callsite on every debug kernel running a sleepable BPF LSM that touches an LPM trie, which is increasingly common. For the lookup path, switch the rcu_dereference_check() annotation from rcu_read_lock_bh_held() to bpf_rcu_lock_held(), which accepts all three contexts (classic, BH, Tasks Trace). Other map types already follow this convention. For trie_update_elem() and trie_delete_elem(), annotate the walks as rcu_dereference_protected(*p, 1) -- matching trie_free() in the same file -- since trie->lock is held across the walk. rqspinlock has no lockdep_map, so the predicate degenerates to '1' rather than lockdep_is_held(&trie->lock); the protection is real but not machine-verifiable. trie_get_next_key() also uses bare rcu_dereference() but is reachable only from the BPF syscall, which holds classic rcu_read_lock() before dispatching, so it is left untouched.

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