Vulnérabilité distante dans le module ksmbd du noyau Linux, détectée à l'aide de l'IA

Dans le module ksmbd, qui offre une implémentation intégrée dans le noyau Linux d'un serveur de fichiers basé sur le protocole SMB, une vulnérabilité (CVE-2025-37899) a été identifiée, permettant potentiellement l'exécution de code à un niveau de noyau via l'envoi de paquets spécialement formatés. Notamment, le problème a été détecté lors de l'analyse de code par un modèle AI d'OpenAI o3. Étant donné que le code complet du module ksmbd dépasse la taille de contexte maximale acceptable pour le modèle, la vérification a été effectuée par étapes pour le code mettant en œuvre des commandes SMB spécifiques, en utilisant des requêtes standards.

La vulnérabilité est causée par un accès à une mémoire déjà libérée (use-after-free) dans le code de traitement de la commande SMB « logoff » : la structure sess->user était utilisée dans un autre thread, si une requête de création de session arrivée dans le cadre d'une autre connexion était liée à une session libérée. Lors du traitement de telles requêtes, la fonction smb2_sess_setup était appelée, faisant appel à la structure déjà libérée sess->user.

La vulnérabilité a été corrigée dans les mises à jour 6.15-rc5, 6.14.6, 6.12.28, 6.6.90, 6.1.138. Dans la branche 5.15, à laquelle le module ksmbd a été intégré, le problème ne se manifeste pas. Le suivi de la correction de la vulnérabilité dans les distributions peut être fait sur les pages suivantes : Debian, Ubuntu, Fedora, SUSE/openSUSE, RHEL, Arch.

Le problème a été découvert par Sean Heelan, créateur de la plateforme de profilage de code Prodfiler, spécialisée dans l'optimisation et l'audit de la sécurité du code. Sean a décidé d'évaluer dans quelle mesure les modèles AI contemporains étaient prêts à réaliser des audits de sécurité et a conclu que le modèle o3 avait considérablement progressé dans l'analyse et la compréhension de la structure, de la logique et de la fonctionnalité du code. Il est noté que pour déterminer la vulnérabilité, le modèle a pu construire une chaîne de raisonnement tenant compte de la possibilité de connexions parallèles à serveur et de l'utilisation de structures de données dans différentes situations.

En fin de compte, le modèle a identifié le point problématique dans le code où l'objet libéré restait accessible dans un autre thread. Par ailleurs, le modèle a découvert le problème lui-même uniquement sur la base d'une demande générale, demandant de vérifier la présence de vulnérabilités dans le code, en mettant l'accent sur la vérification des pointeurs pendants et des accès à la mémoire après sa libération, tout en excluant les faux positifs et les problèmes hypothétiques.

Avant de rechercher de nouvelles vulnérabilités, Sean a testé différents modèles pour détecter la vulnérabilité CVE-2025-37778 dans ksmbd, identifiée précédemment lors d'un audit manuel et corrigée dans la mise à jour du noyau 6.15-rc3. Le modèle o3 a réussi à s'acquitter de cette tâche et a montré des résultats très proches de l'audit manuel, après quoi Sean a commencé des expériences pour rechercher des vulnérabilités auparavant inconnues.

Source : opennet.ru