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