Запуск с 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 можно использовать с Eclipse™ IDE для анализа кода на вашем десктопе.

Для автоматически сгенерированного кода результаты 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 User Interface
  

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

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

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

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

• Выберите между Polyspace Bug Finder и Polyspace Code Prover
  

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