Русские программисты поправят ошибки в коде Samsung
17.11.2016
Южнокорейская корпорация пользуется разработкой Российской академии наук
Южнокорейский Samsung пользуется разработкой Института системного программирования Российской академии наук (ИСП РАН) под названием Svace, сообщили «Ведомостям» директор ИСП РАН Арутюн Аветисян и GR-директор российского офиса Samsung Марат Гуриев. Svace ищет ошибки в исходном коде операционных систем Android (создает ее Google, а Samsung дорабатывает), а также в кодах собственных приложений Samsung под Android и операционной системы Tizen авторства Samsung, объясняют они.
По словам Гуриева и Аветисяна, Samsung вложил в разработку технологии более $10 млн, но права на продукт остались за ИСП РАН. Samsung инвестировал в разработку и теперь пользуется ею бесплатно, говорит Гуриев: с 2015 г. это единственный анализатор кода, которым пользуется Samsung. Аветисян поясняет, что анализируется код, написанный на языках C, C++, C# и Java.
В среднем при написании 1000 строчек кода программист совершает около 20 ошибок, а с помощью Svace их число можно сократить в несколько раз, рассказывает научный руководитель ИСП РАН Виктор Иванников. Применение инструментов анализа кода сейчас обязательно при разработке безопасного программного обеспечения, продолжает Аветисян, фундаментальными исследованиями в области анализа программного кода ИСП РАН занимается с 2002 г. Samsung заинтересовался разработкой в 2009 г., вспоминает он.
Управляющий директор компании «Росплатформа» (разрабатывает системное ПО в области серверной виртуализации) Владимир Рубанов, защищавший кандидатскую диссертацию в ИСП РАН, не удивлен фактом использования южнокорейской корпорацией разработки российского НИИ. На мировом рынке у нее есть конкуренты: например, продукт Coverity от американской Synopsys, ClocWork от американской Rogue Wave, Fortify от Hewlett-Packard и израильская CheckMark, перечисляет Рубанов. Любой серьезный разработчик софта пользуется одним из этих продуктов, чтобы повышать качество кода и его безопасность.
Ведомости