CVE-2026-90200

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

fs/ntfs3: naprawiono przepełnienie liczb całkowitych podczas sprawdzania poprawności klastra MFT

W ntfs_init_from_boot() numery klastrów MFT sektora rozruchowego to:
zweryfikowane względem rozmiaru woluminu za pomocą:

if (mlcn * sct_per_clst >= sektory ||
mlcn2 * sct_per_clst >= sektory)
wyjść;

mlcn i mlcn2 to pola u64 odczytywane bezpośrednio z sektora rozruchowego.
sct_per_clst jest ograniczone powyżej przez 4096 (true_sectors_per_clst() plus
poniżej sprawdź is_power_of_2()), ale mnożenie zostało wykonane
w u64 i zawija, gdy mlcn (lub mlcn2) jest wystarczająco duży - np. mlcn
blisko 2^62 z sct_per_clst == 4 zawija się do 0, co można porównać poniżej
dowolne niezerowe „sektory”, więc kontrola jest pomijana i zniekształcana
zapis został przyjęty.

Zaakceptowany mlcn jest następnie używany w niezmienionej postaci w

sbi->mft.lbo = mlcn << bity_klastra;

W praktyce wynikowe odczyty kończą się niepowodzeniem w warstwie blokowej (sb_bread()
zwraca NULL poprzez zabezpieczenie check_mul_overflow() funkcji Grow_buffers(), więc
dzisiaj objawia się to raczej awarią mocowania w dziwnych miejscach, a nie jak
coś bardziej niebezpiecznego, ale etap sprawdzania poprawności jest nadal błędny
i nie ma powodu, aby osoby wywołujące polegały na warstwie blokowej
złapać wartość, która nigdy nie powinna była zostać zaakceptowana w pierwszej kolejności
miejsce.

Użyj funkcji check_mul_overflow(), aby obliczyć pozycje dwóch sektorów i
nie powiodło się montowanie, jeśli którekolwiek z mnożeń się zakończy; to zachowuje
istniejąca semantyka (mlcn * sct_per_clst >= sektory) zamiast
przejście do podziału (mlcn >= sektory / sct_per_clst), które
zaostrzyłoby kontrolę w przypadkach brzegowych, w których „sektory” nie są a
wielokrotność sct_per_clst. Styl check_*_overflow() to styl
jeden ntfs3 już używa do podobnej arytmetyki na dysku w
fs/ntfs3/run.c.