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