Компания Samsung использует программу статического анализа кода Svace, разработанную Институтом системного программирования Российской академии наук (ИСП РАН). Об этом в интервью "Ведомостям" рассказали глава ИСП РАН Арутюн Аветисян и GR-директор (специалист по взаимодействию с органами власти - прим. ТАСС) офиса Samsung в России Марат Гуриев.
Южнокорейская компания пользуется Svace, чтобы искать ошибки в исходном коде операционной системы Android, а также в кодах "родных" приложений Samsung и ОС Tizen.
Как пишет газета, разработка программы шла за счет Samsung, поэтому компания пользуется ей бесплатно. Вложения в ее создание превысили $10 млн. Однако в итоге права на Svace принадлежат Институту системного программирования. По словам Гуриева, Svace - единственный анализатор кода, который использует Samsung.
Как рассказал Аветисян "Ведомостям", ИСП РАН занимается фундаментальным исследованием анализа программного кода с 2002 года. За 2015 год институт благодаря своим разработкам выручил порядка $10 млн. Среди его клиентов есть также Hewlett-Packard, Huawei и Intel.