Об этом CNews рассказали глава ИСП РАН Арутюн Аветисян и директор по работе с госучреждениями в российском представительстве Samsung Марат Гуриев.
Svace представляет собой решение, предназначенное для валидации (проверки на пригодность) программного кода.
Svace способен искать несколько видов дефектов в исходном коде, созданном на языках Си, Си++, C# и Java, включая неверную работу с памятью, утечку ресурсов и памяти, и наличие потенциальных уязвимостей.
Tizen — это мобильная ОС, основанная на ядре Linux, разрабатываемая сейчас в Samsung и Intel. Проект был анонсирован в сентябре 2011 г., в его основу легли два других проекта по созданию мобильной ОС — MeeGo и LiMo.
Решение для валидации кода, созданное в ИСП РАН, стало частью экосистемы ОС Tizen