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