Начало работы с Polyspace Bug Finder

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 на рабочем столе
  

  Проверяйте код C/C++ на дефекты, нарушения правил кодирования или уязвимости безопасности.

• Рассмотрите результаты Polyspace Bug Finder в пользовательском интерфейсе Polyspace
  

  Интерпретируйте результаты Polyspace Bug Finder, исправьте код или подтвердите результаты, управляйте результатами.

Развертывание

• Продукты polyspace для анализа кода и верификации
  

  Найдите информацию обо всех Продуктах polyspace, которые могут использоваться в жизненном цикле разработки программного обеспечения.

• Выберите Between Polyspace Bug Finder и Polyspace Code Prover
  

  Узнайте различия между этими двумя продуктами и определите, когда развернуть каждый продукт в вашем рабочем процессе разработки.