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