V modulu ksmbd, který poskytuje integrovanou realizaci souborového serveru v jádře Linux na základě protokolu SMB, byla zjištěna zranitelnost (CVE-2025-37899), která potenciálně umožňuje provést vlastní kód na úrovni jádra prostřednictvím odeslání speciálně formátovaných paketů. Zajímavé je, že problém byl odhalen při analýze kódu modelem AI OpenAI o3. Jelikož celkový kód modulu ksmbd přesahuje přípustnou velikost kontextu modelu, byla kontrola prováděna postupně pro kód s realizací jednotlivých příkazů SMB, s použitím typických dotazů.
Zranitelnost je způsobena přístupem k již uvolněné paměti (use-after-free) v kódu zpracování SMB příkazu „logoff“: struktura sess->user byla použita v jiném vlákně, pokud v rámci jiného spojení přišel požadavek na nastavení sezení, vázaný na uvolněné sezení. Při zpracování takových požadavků byla spuštěna funkce smb2_sess_setup, která se obracela na již uvolněnou strukturu sess->user.
Zranitelnost byla odstraněna v aktualizacích 6.15-rc5, 6.14.6, 6.12.28, 6.6.90, 6.1.138. V větvi 5.15, do které byl přijat modul ksmbd, se problém neprojevuje. Sledovat odstranění zranitelnosti v distribucích lze na následujících stránkách: Debian, Ubuntu, Fedora, SUSE/openSUSE, RHEL, Arch.
Problém odhalil Sean Heelan, tvůrce platformy pro profilování kódu Prodfiler, specializující se na optimalizaci a průzkum bezpečnosti kódu. Sean se rozhodl posoudit, jak jsou moderní AI modely připravené na provádění auditů bezpečnosti, a dospěl k závěru, že model o3 udělal značný pokrok v analýze a pochopení struktury, logiky a funkčnosti kódu. Bylo poznamenáno, že pro určení zranitelnosti byl model schopen postavit řetězec úvah, zohledňující možnost paralelního připojení k serveru a využívání datových struktur v různých situacích.
Nakonec model určil problematické místo v kódu, ve kterém zproštěný objekt zůstával dostupný v jiném vlákně. Model přitom problém našel sám pouze na základě obecného dotazu, který žádal o kontrolu přítomnosti zranitelností v kódu, přičemž důraz byl kladen na kontrolu visících ukazatelů a přístupů k paměti po jejím uvolnění, přičemž vyloučil falešné poplachy a hypotetické problémy.
Před hledáním nových zranitelností Shawn vyzkoušel různé modely, aby určil zranitelnost CVE-2025-37778 v ksmbd, kterou dříve identifikoval během manuálního auditu a odstranil ji v aktualizaci jádra 6.15-rc3. Model o3 úspěšně splnil úkol a vykázal výsledky nejblíže manuálnímu auditu, po čemž se Shawn přeorientoval na experimenty v hledání dosud neznámých zranitelností.
Zdroj: opennet.ru
