Polyspace Client for C/C++ предназначен для проверки рукописного, сгенерированного автоматически или комбинированного кода перед компиляцией и тестированием. Решение поддерживает промышленные стандарты посредством IEC Certification Kit (для IEC 61508 и ISO 26262) и DO Qualification Kit (для DO-178).
Ключевые преимущества:
- Проверка компонентов программного обеспечения на уровне файлов и отдельных классов
- Интерпретация основывается на абстрактных формальных методах
- Отображение ошибочных мест прямо в коде
- Оптимизация кодов стандартов MISRA-C:2004, MISRA-C++:2008 и JSF++ с прямыми ссылками на исходники
- Проверка кода в соответствии с такими параметрами, как цикломатическая сложность и аналогичными
- Интеграция с Eclipse и Microsoft Visual Studio