Фильтр и результаты группы в пользовательском интерфейсе рабочего стола Polyspace
Сузьте список результатов, организуйте результаты типом результата или файлом.
Чтобы приоритизировать ваш анализ дефектов Polyspace® Bug Finder™, можно использовать атрибут Impact, присвоенный дефекту.