Программа 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).
Проверьте код C/C + + на наличие дефектов, нарушений правил кодирования или уязвимостей безопасности.
Интерпретировать результаты поиска ошибок Polyspace, исправить код или обосновать результаты, управлять результатами.
Найдите информацию обо всех продуктах Polyspace, которые можно использовать в жизненном цикле разработки программного обеспечения.
Узнайте различия между этими двумя продуктами и определите, когда развертывать каждый продукт в рабочем процессе разработки.