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