Фильтрация и группировка результатов в пользовательском интерфейсе Polyspace Desktop
Сузьте список результатов, организуйте результаты по файлам или типам результатов.
Приоритизируйте проверку типа «Check Review»
Определите более важные проблемы в результатах верификации и проверьте их в выборе к другим.
Оранжевые проверки в Code Prover
Узнайте, почему верификация не может доказать наличие или отсутствие ошибки для определенных операций и почему необходимо проверить операции.
