Корпорация Samsung использует разработку Института системного программирования Российской академии наук (ИСП РАН) под названием Svace, которая ищет ошибки в исходном коде операционных систем Android, сообщают «Ведомости».
Svace также ищет ошибки в кодах собственных приложений Samsung под Android и операционной системы Tizen, разработанной Samsung. Svace анализируется код, написанный на языках C, C++, C# и Java.
Samsung вложил в разработку этой технологии более $10 млн. При этом права на продукт остались за...