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