CVE-2026-98289

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

af_unix: Ujednolicenie scc_index podczas finalizowania SCC w __unix_walk_scc().

Zatwierdź bfdb01283ee8 („af_unix: Przypisz unikalny indeks do SCC.”)
zmieniono algorytm Tarjana, aby aktualizował lowlink za pomocą lowlink,
który nazywany jest dolnym punktem (unix_vertex.scc_index).

unix_vertex_dead() zakłada, że wszystkie wierzchołki w SCC mają taki sam udział
najniższy punkt, ale nie zawsze jest to prawdą, jeśli SCC ma dwa lub więcej
tylne krawędzie, w zależności od kolejności DFS.

Na przykład poniższy wykres ma dwie tylne krawędzie od B do A
i od C do B.

A --> B --> C
^ | ^ |
`----' `----'

Jeśli DFS przejdzie przez A -> B -> C -> B (-> C -> B) -> A (-> B -> A),
każdy indeks i scc_index zostaną zaktualizowane w następujący sposób.

A --> B --> C C = (3, 3) (indeks, scc_index)
B = (2, 2)
ZA = (1, 1)

A... B... do C = (3, 2)<-.
^ | B = (2, 2) -'
`----' A = (1, 1)

A ... B ... C C = (3, 2)
^ | . . B = (2, 1)<-.
`----' .... A = (1, 1) -'

Następnie unix_vertex_dead() uważa, że B jest przekazywane innemu
SCC z scc_index 2, a SCC nie jest usuwany.

Nie dzieje się tak, jeśli DFS przebiega w innej kolejności niż poniżej
lub zaczyna się od B.

1 3
A --> B --> C
^ | ^ |
`----' `----'
2 4

Ujednoliczmy scc_index w całym SCC podczas jego finalizowania.

Zauważ, że aktualizacja v->index została wcześniej wykonana w unix_scc_dead(),
po wywołaniu z __unix_walk_scc(), tylko po to, aby zapisać jedną pętlę. Od
__unix_walk_scc() i tak teraz wykonuje iterację po SCC, aktualizacja jest taka
przeniesiono z powrotem do __unix_walk_scc() i argument „szybki” został usunięty.