Im Modul ksmbd, das eine in den Linux-Kernel integrierte Implementierung eines Datei-Servers basierend auf dem SMB-Protokoll bietet, wurde eine Sicherheitsanfälligkeit (CVE-2025-37899) festgestellt, die potenziell die Ausführung eigenen Codes auf Kernel-Ebene durch das Senden speziell gestalteter Pakete ermöglichen könnte. Bemerkenswert ist, dass das Problem während einer Analyse des Codes durch ein AI-Modell von OpenAI o3 entdeckt wurde. Da der vollständige Code des Moduls ksmbd die für das Modell zulässige Kontextgröße überschreitet, erfolgte die Überprüfung schrittweise für den Code, der die Implementierung einzelner SMB-Befehle nutzte, unter Verwendung typischer Anfragen.
Die Sicherheitsanfälligkeit wird durch den Zugriff auf bereits freigegebenen Speicher (use-after-free) im Code zur Verarbeitung des SMB-Befehls „logoff“ verursacht: Die Struktur sess->user wurde in einem anderen Thread verwendet, wenn im Rahmen einer anderen Verbindung eine Anfrage zur Einrichtung einer Sitzung einging, die an die freizugebende Sitzung gebunden war. Bei der Verarbeitung solcher Anfragen wurde die Funktion smb2_sess_setup aufgerufen, die auf der bereits freigegebenen Struktur sess->user basierte.
Die Schwachstelle wurde in den Updates 6.15-rc5, 6.14.6, 6.12.28, 6.6.90, 6.1.138 behoben. In der Version 5.15, die das ksmbd-Modul enthält, tritt das Problem nicht auf. Die Behebung der Schwachstelle in den Distributionen kann auf den folgenden Seiten verfolgt werden: Debian, Ubuntu, Fedora, SUSE/openSUSE, RHEL, Arch.
Das Problem wurde von Sean Heelan, dem Entwickler der Code-Profilierungsplattform Prodfiler, identifiziert, der sich auf die Optimierung und Durchführung von Sicherheitsaudits des Codes spezialisiert hat. Sean wollte bewerten, wie bereit moderne KI-Modelle für Sicherheitsprüfungen sind, und kam zu dem Schluss, dass das Modell o3 in seiner Analyse und dem Verständnis von Struktur, Logik und Funktionalität des Codes erheblich fortgeschritten ist. Es wird festgestellt, dass das Modell in der Lage war, eine Argumentationskette aufzubauen, um die Möglichkeit von parallelen Verbindungen zu berücksichtigen. Server und die Nutzung von Datenstrukturen in verschiedenen Situationen.
Letztendlich identifizierte das Modell den problematischen Codebereich, in dem das freigegebene Objekt in einem anderen Thread weiterhin zugänglich blieb. Dabei fand das Modell das Problem allein anhand einer allgemeinen Anfrage zur Überprüfung von Sicherheitsanfälligkeiten im Code, mit besonderem Fokus auf die Überprüfung von Dangling Pointern und dem Zugriff auf Speicher nach dessen Freigabe, während es falsch-positive Erkennungen und hypothetische Probleme ausschloss.
Vor der Suche nach neuen Sicherheitsanfälligkeiten testete Sean unterschiedliche Modelle zur Identifizierung der Sicherheitsanfälligkeit CVE-2025-37778 in ksmbd, die er zuvor während eines manuellen Audits festgestellt und mit dem Update des Kernels 6.15-rc3 behoben hatte. Das Modell o3 bewältigte die Aufgabe erfolgreich und zeigte ein Ergebnis, das dem manuellen Audit am nächsten kam, bevor Sean zu Experimenten überging, um zuvor unbekannte Sicherheitsanfälligkeiten zu finden.
Quelle: opennet.ru
