Polyspace^® Bug Finder™ Server™ является механизмом статического анализа, который идентифицирует общие классы ошибок в C и C++, включая ошибки времени выполнения, проблемы параллелизма и другие дефекты кодирования. Polyspace Bug Finder Server также проверяет исходный код на соблюдение кодирования правил (MISRA C, MISRA C++, JSF ++), правила безопасности (CWE, CERT-C, C++ CERT, ISO/IEC 17961), и пользовательские правила.

С Polyspace Bug Finder Server можно контролировать метрики кода включая цикломатическую сложность, использование стека и метрики HIS в проекте, файле и функциональных уровнях. Можно сконфигурировать сервер для использования с различными компиляторами, целевыми процессорами и средами RTOS, и автоматизировать выполнение с непрерывными системными инструментами использования интегрирования, такими как Дженкинс. Результаты анализа кода могут быть опубликованы к Polyspace Bug Finder Access™ для медицинской сортировки и разрешения.

Поддержка промышленных стандартов доступна через IEC Certification Kit IEC Certification Kit (для IEC 61508 и ISO 26262) и DO Qualification Kit (for DO-178).