Polyspace Client for C/C++
Polyspace Client for C/C++ — это решение для проверки кода на наличие таких ошибок выполнения программ, как переполнение, деление на ноль, выход за пределы массива и некоторых других. При этом проверка осуществляется только посредством анализа кода без необходимости запускать приложение и проводить тесты. Решение использует формальные абстрактные методы интерпретации кода.

Подробнее о Polyspace Client for C/C++


Консультация

Получите консультацию по любым вопросам, написав нам по адресу info@axoftglobal.com или воспользуйтесь формой обратной связи

Полезные ссылки