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