C++ looja kritiseeris turvaliste programmeerimiskeelte survestamist

Bjarne Stroustrup, C++ keele looja, avaldas vastuväiteid NSA aruande järeldustele, kus soovitati organisatsioonidel loobuda programmeerimiskeeltest nagu C ja C++, mis delegeerivad mäluhaldust arendaja kanda, eelistades keeli nagu C#, Go, Java, Ruby, Rust ja Swift, mis pakuvad automaatset mäluhaldust või teevad mälutöötluse turvalisuse kontrolli kompileerimise ajal.

Stroustrupi arvates ei ületa NSA aruandes mainitud turvalised keeled reaalsuses C++-d olulistes rakendustes, mis tema arvates on tähtsad. Eelkõige katab viimasel ajal välja töötatud C++ põhijuhised (C++ Core Guidelines) turvalise programmeerimise meetodid ning ettekirjutused vahendite kasutamiseks, mis tagavad tüüpide ja ressursside turvalise töötlemise. Samas jäetakse arendajatele, kellele sellised ranged turvalisusgarantiid ei ole vajalikud, võimalus jätkata vanade arendamismeetodite kasutamist.

Stroustrup usub, et hea staatiline analüsaator, mis vastab C++ põhijuhiste soovitustele, suudab tagada C++ koodi vajalikud turvalisusgarantiid, nõudes samal ajal märgatavalt vähem kulutusi kui üleminek uutele turvalistele programmeerimiskeeltele. Näiteks on enamik põhijuhiste soovitusi juba rakendatud Microsoft Visual Studio staatilises analüüsijates ja mälutöötluse turvalise töö profiilis. Osa soovitusi on samuti arvesse võetud Clang tidy staatilises analüsaatoris.

Kriitika objektiks on ka NSA aruande rõhuasetus ainult mälutöötluse probleemidele, jättes tähelepanuta paljud muud programmeerimiskeelte probleemid, mis mõjutavad turvalisust ja usaldusväärsust. Stroustrup käsitleb turvalisust laiemana mõistena, mille erinevaid aspekte saab saavutada koodistiili, raamatukogude ja staatiliste analüsaatorite kombinatsiooni abil. Tüüpide ja ressursside turvalise töötlemise eeskirjade rakendamiseks soovitatakse koodis kasutada annotatsioone ja kompilaatori valikuid.

Rakendustes, kus jõudlus on olulisem kui turvalisus, annab selline lähenemine võimaluse rakendada turvameetmeid valikuliselt, tagades selle ainult seal, kus see on vajalik. Turvameetmeid saab samuti osaliselt rakendada, näiteks alguses piirduda vahemiku kontrollimise ja initsialiseerimise reeglitega ning seejärel järk-järgult kohandada koodi rangemate nõuete järgi.

Allikas: opennet.ru