Программа Polyspace ® Bug Finder™ выявляет ошибки во время выполнения, проблемы параллелизма, уязвимости безопасности и другие дефекты встраиваемого программного обеспечения C и C++. Используя статический анализ, включая семантический анализ, Polyspace Bug Finder анализирует управление программным обеспечением, поток данных и межпроцедурное поведение. Выделяя дефекты сразу после их обнаружения, можно отсортировать и исправить ошибки на ранних этапах процесса разработки.
Polyspace Bug Finder проверяет соответствие стандартам правил кодирования, таким как MISRA C ®, MISRA C++, JSF++, CERT ® C, CERT C++ и пользовательские соглашения по именованию. Он генерирует отчеты, состоящие из обнаруженных ошибок, нарушений правил кода и показателей качества кода, включая цикломатическую сложность. Polyspace Bug Finder может использоваться с Eclipse™ IDE для анализа кода на рабочем столе.
Для автоматически генерируемого кода результаты Polyspace можно отслеживать по моделям Simulink ® и блокам dSPACE ® TargetLink ®.
Поддержка отраслевых стандартов обеспечивается комплектом сертификации IEC (для ISO 26262 и IEC 61508) и комплектом квалификации DO (для DO-178).
Узнайте об основах поиска ошибок Polyspace
Проверка кода на наличие дефектов в пользовательском интерфейсе Polyspace, командной строке или других средах разработки
Устранение или обоснование дефектов, упорядочение результатов, ссылка на результаты
Квалификация Polyspace Bug Finder для сертификации DO и IEC
Устранение непредвиденных проблем в Polyspace Bug Finder