70% Chromiumi turvaprobleeme tulenevad mälu töötlemise vigadest.

Chromium projekti arendajad analüüsisid 912 ohtlikku ja kriitilist haavatavust, mis on avastatud stabiilsetes Chrome'i väljaannetes alates 2015. aastast, ja leitud, et 70% neist tulenesid ebaturvalisest mäluhaldusest (pointers'iga seotud vead C/C++ koodis). Pool sellest probleemist (36.1%) on põhjustatud mälust vabastatud mälutükkide kasutamisest (use-after-free).

Chromium'i kavandamisel oli algselt paigutatud, et koodis võivad esineda vead, seetõttu pandi suur rõhk liivakasti isolatsiooni rakendamisele haavatavuste tagajärgede piiritlemiseks. Praegu on selle tehnoloogia rakendamise võimalused saavutanud oma piiri ja edasine protsesside jagamine ei ole ressursikasutuse seisukohalt otstarbekas.

Google’i koodibaasi turvalisuse tagamiseks rakendatakse ka "kahe reegli" järgimist, mille kohaselt peab kõik lisatav kood vastama mitte rohkem kui kahele kolmest tingimusest: töötamine kontrollimata sisendiga, ebaturvalise programmeerimiskeele kasutamine (C/C++) ja täiendavate privileegide täitmine. Selle reegli kohaselt peab välistest andmetest töötav kood olema kas vähendatud minimaalse privileegiga (isoleeritud) või kirjutatud turvalisel programmeerimiskeeles.

Koodibaasi turvalisuse edasiarendamiseks on käivitatud projekt mäluhalduse vigade ennetamiseks koodibaasis. Peamised lähenemisviisid on: C++ raamatukogude loomine, mis sisaldavad funktsioone mäluga turvaliseks töötamiseks ja prügikogumise ulatuse laiendamine, riistvaraliste kaitsemehhanismide rakendamine MTE (Memory Tagging Extension) ja komponentide kirjutamine keeli, mis tagavad mäluga turvalise töötamise (Java, Kotlin, JavaScript, Rust, Swift).

Oodatakse, et töö keskendub kahele suunale:

• Oluline muudatus C++ arendamisprotsessis, mis ei välista negatiivset mõju jõudlusele (täiendavad piiride kontrollid ja prügikogumine). Raw-punktide asemel pakutakse koodis kasutada tüüpi MiraclePtr, mis võimaldab vähendada kuritegelikke use-after-free vigu mitte-turvalistele krahhidele, ilma märkimisväärse negatiivse mõjuta jõudlusele, mälukasutusele ja stabiilsusele.
• Kasutades keeli, mis on mõeldud mälu turvalise kasutamise kontrollide teostamiseks kompileerimise ajal (see välistab koodi käitamise ajal sarnaste kontrollide negatiivse mõju jõudlusele, kuid toob kaasa täiendavad kulud, et korraldada uue keele koodi koostöö C++-koodiga).

Mälu turvaliseks kasutamiseks raamatukogude kasutamine on kõige lihtsam, kuid ka vähem efektiivne meetod. Koodi ümberkirjutamine Rust'i on hinnatud kui kõige efektiivsem, kuid ka väga kallis tee.

Allikas: opennet.ru