CVE-2026-98289

Linux nüvəsində aşağıdakı zəiflik aradan qaldırılıb: af_unix: __unix_walk_scc() funksiyasında SCC yekunlaşdırılarkən scc_index vahidləşdirilir. bfdb01283ee8 ("af_unix: Assign a unique index to SCC.") commit-i Tarjan alqoritmini lowlink-i lowlink ilə yeniləmək üçün dəyişmişdir ki, bu da lowpoint (unix_vertex.scc_index) adlanır. unix_vertex_dead() funksiyası bir SCC-dəki bütün vertexlərin eyni lowpoint-ə malik olduğunu fərz edir, lakin DFS ardıcıllığından asılı olaraq, əgər bir SCC iki və ya daha çox geri kənarla (back edge) xarakterizə olunursa, bu hər zaman doğru olmur. Məsələn, aşağıdakı qrafda B-dən A-ya və C-dən B-yə iki geri kənar var. A --> B --> C ^ | ^ | `----' `----' Əgər DFS A -> B -> C -> B (-> C -> B) -> A (-> B -> A) marşrutu ilə hərəkət edərsə, hər bir index və scc_index aşağıdakı kimi yenilənəcəkdir. 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) -' Bu zaman unix_vertex_dead() funksiyası elə hesab edir ki, B scc_index 2 olan başqa bir SCC-yə ötürülüb və SCC zibil yığıcısı (garbage collection) tərəfindən təmizlənmir. DFS aşağıdakı kimi fərqli ardıcıllıqla hərəkət etdikdə və ya B-dən başladıqda bu baş vermir. 1 3 A --> B --> C ^ | ^ | `----' `----' 2 4 Gəlin SCC yekunlaşdırılarkən onu bütün SCC boyunca vahidləşdirək. Qeyd edək ki, v->index yenilənməsi əvvəllər yalnız bir dövrü azaltmaq üçün __unix_walk_scc() tərəfindən çağırıldıqda unix_scc_dead() daxilində yerinə yetirilirdi. Artıq __unix_walk_scc() SCC üzrə iterasiya etdiyi üçün yeniləmə yenidən __unix_walk_scc() funksiyasına qaytarılmış və 'fast' arqumenti silinmişdir.