Fjernelse af sårbarhed i ksmbd-modulet i Linux-kernen, identificeret ved hjælp af AI

I ksmbd-modulet, der tilbyder en indbygget filserver-implementering baseret på SMB-protokollen i Linux-kernen, er der opdaget en sårbarhed (CVE-2025-37899), som potentielt muliggør udførelse af egen kode på kern niveau gennem sending af specielt formaterede pakker. Det er bemærkelsesværdigt, at problemet blev identificeret under kodeanalyse af AI-modellen OpenAI o3. Da den samlede kode til ksmbd-modulet overstiger den tilladte kontekststørrelse for modellen, blev kontrol udført trin for trin for koden med implementering af individuelle SMB-kommandoer ved hjælp af typiske forespørgsler.

Sårbarheden er forårsaget af adgang til allerede frigivet hukommelse (use-after-free) i koden, der håndterer SMB-kommandoen "logoff": strukturen sess->user blev brugt i en anden tråd, hvis en anmodning om session etablering kom fra en anden forbindelse, der var bundet til den frigivne session. Under behandlingen af sådanne anmodninger blev funktionen smb2_sess_setup kaldt, som henviste til den allerede frigivne struktur sess->user.

Sårbarheden er blevet rettet i opdateringerne 6.15-rc5, 6.14.6, 6.12.28, 6.6.90, 6.1.138. I 5.15-grenen, som indeholder ksmbd-modulet, opstår problemet ikke. Overvågningen af sårbarhedens løsning i distributioner kan findes på følgende sider: Debian, Ubuntu, Fedora, SUSE/openSUSE, RHEL, Arch.

Problemet blev identificeret af Sean Heelan, skaberen af koden profilering platformen Prodfiler, som specialiserer sig i optimering og udførelse af sikkerhedsrevisioner af kode. Sean besluttede at vurdere, hvor parate moderne AI-modeller er til at udføre sikkerhedsrevisioner, og konkluderede, at modellen o3 har gjort betydelige fremskridt inden for analyse og forståelse af struktur, logik og funktionalitet af kode. Det bemærkes, at modellen for at identificere sårbarheden kunne konstruere en rækkefølge af ræsonnering, der tog hensyn til muligheden for parallelle tilslutninger til server og brugen af datakonstruktioner i forskellige situationer.

Som et resultat identificerede modellen problemområdet i koden, hvor det frigivne objekt forblev tilgængeligt i en anden tråd. Modellen fandt problemet ud fra en generel forespørgsel, der bad om at undersøge muligheden for sårbarheder i koden, med fokus på at kontrollere hængende pegepinde og adgang til hukommelse efter frigivelse, samtidig med at falske positiver og hypotetiske problemer blev udelukket.

Før han søgte efter nye sårbarheder, testede Sean forskellige modeller for at identificere CVE-2025-37778-sårbarheden i ksmbd, som han tidligere havde opdaget under en manuel audit og blevet løst i opdateringen af kerneversionen 6.15-rc3. Modellen o3 klarede opgaven succesfuldt og viste det resultat, der var tættest på den manuelle audit, hvorefter Sean gik videre til eksperimenter med at finde tidligere ukendte sårbarheder.

Kilde: opennet.ru

Køb pålidelig webhosting med DDoS-beskyttelse, VPS VDS-servere 🔥 Køb pålidelig webhosting med DDoS-beskyttelse, VPS VDS-servere | ProHoster