Обратитесь к результатам Polyspace через исправления ошибок или выравнивания
Добавьте информацию об анализе в результаты или код, чтобы выровнять по ширине, почему исправление ошибки не требуется, и скройтесь от последующих исследований.
Аннотируйте код и скройте известные или приемлемые результаты
Ищите синтаксис аннотации Polyspace® кода для выравнивания по ширине известных проблем.
Импортируйте информацию об анализе из предыдущего анализа Polyspace
Импортируйте информацию, такую как состояние, серьезность и дополнительные примечания из другого файла результата Polyspace.
Импортируйте существующий MISRA C: 2 004 выравнивания к MISRA C: 2 012 результатов
Импортируйте существующую информацию об анализе при миграции из более старого Стандарта MISRA C®.
Используйте зеленые проверки на этапе выполнения в Программе автоматического доказательства Кода, чтобы позволить исключения для кодирования нарушений правила.
