Программное обеспечение Polyspace Client for C/C++ является верификатором кода, который доказывает отсутствие таких ошибок, как переполнение памяти, деление на ноль, выход за пределы массива и другие ошибки исполнения в исходном коде. Для верификации Polyspace Client for C/C++ использует статический анализатор кода, который не требует исполнения кода и разработки тестов. Polyspace Client for C/C++ задействует метод абстрактной интерпретации для верификации кода. Пользователи могут проверять автоматически сгенерированный код, написанный разработчиками, или комбинации обоих вариантов перед компиляцией, запуском кода и тестированием функционала. В Polyspace Client for C/C++ реализована поддержка промышленных стандартов с помощью IEC Certification Kit (для IEC 61508 и ISO 26262) и Do Qualification Kit (для DO 178).
Особенности Polyspace Client for C/C++:

• Верификация на уровне классов или файлов.


• Использование метода абстрактной интерпретации.


• Отображение ошибок исполнения непосредственно в коде.


• Проверка на соответствие кода MISRA-C:2004, MISRA-C++:2008, JSF++. Отображение несоответствий непосредственно в коде.


• Вывод различных статистик о качестве и сложности кода.


• Интеграция со средами Eclipse и Microsoft Visual Studio.