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