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