A ksmbd modulban, amely a Linux kernelbe integrált SMB protokollon alapuló fájlszervert kínál, egy sebezhetőség (CVE-2025-37899) került elő, amely potenciálisan lehetővé teszi a meghatározott csomagok küldésével a kernel szintjén történő kód végrehajtását. Figyelemre méltó, hogy a probléma az OpenAI o3 AI-modell által végzett kódelemzés során derült fényre. Mivel a ksmbd modul teljes kódja meghaladja a modell kontextusának megengedett méretét, az ellenőrzés lépésről lépésre történt az SMB parancsok egyes megvalósításainak kódjára, tipikus lekérdezések felhasználásával.
A sebezhetőséget az SMB "logoff" parancs feldolgozása során fellépő már felszabadított memória (use-after-free) használata okozta: a sess->user struktúra egy másik szálban használták, amikor egy másik kapcsolaton keresztül érkezett a felszabadítandó munkamenethez kötődő munkamenet létrehozására irányuló kérés. Az ilyen jellegű lekérdezések feldolgozásakor elindult a smb2_sess_setup függvény, amely egy már felszabadított sess->user struktúrára hivatkozott.
A sebezhetőséget a 6.15-rc5, 6.14.6, 6.12.28, 6.6.90, 6.1.138 frissítésekben orvosolták. Az 5.15-ös ágon, amelybe a ksmbd modult bevették, a probléma nem jelentkezik. A sebezhetőség elhárításának nyomon követésére a következő oldalakon lehet: Debian, Ubuntu, Fedora, SUSE/openSUSE, RHEL, Arch.
A problémát Sean Heelan, a Prodfiler kódprofiláló platform létrehozója azonosította, aki a kód optimalizálására és biztonsági auditok végrehajtására szakosodott. Sean azt is mérlegelte, hogy a modern AI-modellek mennyire készültek fel a biztonsági auditok elvégzésére, és arra a következtetésre jutott, hogy az o3 modell jelentős előrelépést tett a kód szerkezetének, logikájának és funkcionalitásának elemzésében és megértésében. Megjegyezték, hogy a sebezhetőség meghatározása érdekében a modell képes volt egy érvelési láncot létrehozni, figyelembe véve a párhuzamos kapcsolatok lehetőségét, szerverhez és az adatszerkezetek különböző szituációkban való használatát.
Végül a modell azonosította a kódban azt a problémás helyet, ahol a felszabadított objektum egy másik szálban továbbra is elérhető maradt. E mellett a modell önállóan találta meg a problémát csupán egy általános kérés alapján, amely a kód sebezhetőségeinek ellenőrzésére kérte, kiemelve a lógó mutatók és a memória felszabadítása utáni hivatkozások ellenőrzését, miközben kizárta a hamis pozitív eredményeket és a hipotetikus problémákat.
Mielőtt új sebezhetőségeket keresett volna, Sean különböző modelleket tesztelt a CVE-2025-37778 sebezhetőség azonosítása érdekében a ksmbd-ben, amelyet a manuális auditja során korábban felfedezett, és amely a 6.15-rc3 kernel frissítésében került kijavításra. Az o3 modell sikerrel teljesítette a feladatot, és a manuális audithoz legközelebb álló eredményt mutatta, ezt követően Sean a korábban ismeretlen sebezhetőségek keresésére váltott.
Forrás: opennet.ru
