Чтобы управлять точностью верификации, используйте опции точности. Чем более точный верификация, тем меньше количество оранжевых проверок, чтобы рассмотреть. Вы имеете, чтобы вручную рассмотреть оранжевые проверки, потому что они указывают на код, где верификация не может доказать присутствие или отсутствие ошибки.
Задайте опции анализа Polyspace
Задайте опции анализа Polyspace® в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.
Улучшите свой проект кодирования или настройте свои опции верификации для более точной верификации.