Katalog CVE

CVE-2026-98289

Niskie ryzyko· EPSS 6%
Opublikowano: Zaktualizowano: Przetłumaczono: NVD NIST

Prawdopodobieństwo exploitacji (EPSS)

Niskie ryzyko
0.17%

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

Streszczenie

W jądrze Linuxa wykryto podatność w mechanizmie af_unix, związaną z błędnym przypisywaniem indeksów SCC (silnie spójnych składowych) w algorytmie Tarjana. W pewnych przypadkach wierzchołki w jednym SCC mogą mieć różne wartości scc_index, co prowadzi do niepoprawnego działania garbage collectora i potencjalnego wycieku pamięci.

Ocena ryzyka

Organizacja może doświadczyć wycieku pamięci jądra, co w skrajnych przypadkach może prowadzić do awarii systemu lub obniżenia wydajności. Podatność dotyczy komunikacji przez gniazda Unix (AF_UNIX), która jest powszechnie używana w systemach Linux.

Rekomendacja

Zaleca się natychmiastowe zastosowanie poprawki z oficjalnego repozytorium jądra Linux, która unifikuje scc_index podczas finalizacji SCC. Po aktualizacji jądra należy ponownie uruchomić system, aby zmiany zostały wdrożone.

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: af_unix: Unify scc_index when finalising SCC in __unix_walk_scc(). Commit bfdb01283ee8 ("af_unix: Assign a unique index to SCC.") changed Tarjan's algorithm to update lowlink with lowlink, which is called lowpoint (unix_vertex.scc_index). unix_vertex_dead() assumes all vertices in an SCC share the same lowpoint, but this is not always true if an SCC has two or more back edges, depending on the order of DFS. For example, the graph below has two back edges from B to A and from C to B. A --> B --> C ^ | ^ | `----' `----' If DFS walks through A -> B -> C -> B (-> C -> B) -> A (-> B -> A), each index and scc_index will be updated as follows. A --> B --> C C = (3, 3) (index, scc_index) B = (2, 2) A = (1, 1) A ... B ... C C = (3, 2)<-. ^ | B = (2, 2) -' `----' A = (1, 1) A ... B ... C C = (3, 2) ^ | . . B = (2, 1)<-. `----' .... A = (1, 1) -' Then, unix_vertex_dead() thinks that B is passed to another SCC with scc_index 2, and the SCC is not garbage-collected. This does not happen if DFS walks in a different order below or starts from B. 1 3 A --> B --> C ^ | ^ | `----' `----' 2 4 Let's unify scc_index across the SCC when finalising it. Note that updating v->index was previously done in unix_scc_dead(), when called from __unix_walk_scc(), just to save one loop. Since __unix_walk_scc() now iterates over the SCC anyway, the update is moved back to __unix_walk_scc() and 'fast' argument is dropped.

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