Създателят на C ++ критикува налагането на безопасни езици за програмиране

Bjarne Stroustrup, създателят на езика C++, публикува възражения срещу заключенията на доклада на NSA, който препоръчва на организациите да се отдалечат от езиците за програмиране като C и C++, които оставят управлението на паметта на разработчика, в полза на езиците ​​като C#, Go, Java, Ruby, Rust и Swift, които осигуряват автоматично управление на паметта или извършват проверки за безопасност на паметта по време на компилиране.

Според Страуструп защитените езици, споменати в доклада на NSA, всъщност не превъзхождат C++ в приложенията, които са важни от негова гледна точка. По-специално, основните препоръки за използване на C++ (C++ Core Guidelines), разработени през последните години, обхващат безопасни методи за програмиране и предписват използването на инструменти, които гарантират безопасна работа с типове и ресурси. Това оставя възможност за разработчиците, които не изискват толкова строги гаранции за сигурност, да продължат да използват стари методи за разработка.

Страуструп вярва, че един добър статичен анализатор, който следва основните насоки на C++, може да осигури необходимите гаранции за безопасността на C++ кода на значително по-ниска цена от мигрирането към нови защитени езици за програмиране. Например повечето от основните насоки вече са внедрени в статичния анализатор и профила за безопасност на паметта, включени в Microsoft Visual Studio. Някои препоръки също са взети предвид в статичния анализатор Clang tidy.

Докладът на NSA също беше критикуван, че се фокусира само върху проблемите с паметта, като пропуска много други проблеми с езика за програмиране, които засягат сигурността и надеждността. Straustrup разглежда сигурността като по-широка концепция, различните аспекти на която могат да бъдат постигнати чрез комбинация от стил на кодиране, библиотеки и статични анализатори. За да се контролира включването на правила, които гарантират безопасността на работа с типове и ресурси, се предлага да се използват анотации в кода и опциите на компилатора.

В приложения, където производителността е по-важна от сигурността, този подход позволява селективно прилагане на функции, които гарантират сигурност само там, където е необходима. Инструментите за сигурност също могат да се прилагат на части, като например започване с проверка на обхват и правила за инициализация и след това постепенно адаптиране на кода към по-строги изисквания.

Източник: opennet.ru