Nel modulo ksmbd, che offre un'implementazione del server file basata sul protocollo SMB integrata nel kernel Linux, è stata identificata una vulnerabilità (CVE-2025-37899) che potrebbe consentire l'esecuzione di codice a livello di kernel tramite l'invio di pacchetti opportunamente formattati. È notevole che il problema sia stato scoperto durante l'analisi del codice da parte del modello AI di OpenAI o3. Poiché il codice completo del modulo ksmbd supera la dimensione del contesto consentita per il modello, il controllo è stato eseguito in fasi per il codice che implementa singoli comandi SMB, utilizzando richieste standard.
La vulnerabilità è causata dall'accesso a memoria già liberata (use-after-free) nel codice di gestione del comando SMB 'logoff': la struttura sess->user veniva utilizzata in un altro thread se, nell'ambito di un'altra connessione, arrivava una richiesta di istituzione di un sessione legata alla sessione liberata. Durante l'elaborazione di tali richieste, veniva eseguita la funzione smb2_sess_setup, che accedeva a una struttura sess->user già liberata.
La vulnerabilità è stata risolta negli aggiornamenti 6.15-rc5, 6.14.6, 6.12.28, 6.6.90, 6.1.138. Nella branch 5.15, che include il modulo ksmbd, il problema non si manifesta. Puoi seguire la risoluzione della vulnerabilità nelle distribuzioni sulle seguenti pagine: Debian, Ubuntu, Fedora, SUSE/openSUSE, RHEL, Arch.
Il problema è stato scoperto da Sean Heelan, creatore della piattaforma di profilazione del codice Prodfiler, specializzato nell'ottimizzazione e nell'audit della sicurezza del codice. Sean ha deciso di valutare quanto siano pronte le moderne AI per condurre audit di sicurezza e ha concluso che il modello o3 ha fatto significativi progressi nell'analisi e nella comprensione della struttura, della logica e funzionalità del codice. È stato notato che per identificare la vulnerabilità, il modello è riuscito a costruire una catena di ragionamento che tiene conto della possibilità di connessioni parallele all’utilizzo di strutture dati in diverse situazioni. server Di conseguenza, il modello ha identificato il punto critico nel codice, in cui l'oggetto liberato rimaneva accessibile in un altro thread. Inoltre, il modello ha trovato il problema autonomamente basandosi semplicemente su una richiesta generale che chiedeva di controllare la presenza di vulnerabilità nel codice, ponendo l'accento sul controllo dei puntatori sospesi e sugli accessi alla memoria dopo la sua liberazione, escludendo falsi positivi e problemi ipotetici.
In conclusione, il modello ha rilevato il punto problematico nel codice, dove l'oggetto liberato era ancora accessibile in un altro thread. Ha trovato il problema autonomamente solo sulla base di una richiesta generale che chiedeva una verifica delle vulnerabilità nel codice, ponendo l'accento sul controllo dei puntatori pendenti e sugli accessi alla memoria dopo la liberazione, escludendo falsi positivi e problematiche ipotetiche.
Prima di cercare nuove vulnerabilità, Sean ha testato diversi modelli per identificare la vulnerabilità CVE-2025-37778 in ksmbd, precedentemente individuata da lui durante un'audit manuale e corretta nell'aggiornamento del kernel 6.15-rc3. Il modello o3 ha gestito con successo il compito, mostrando un risultato molto vicino a quello dell'audit manuale, dopodiché Sean si è concentrato su esperimenti per scoprire vulnerabilità precedentemente sconosciute.
Fonte: opennet.ru
