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