Для глубже или больше поверхностного анализа определенного построения кода, используйте масштабирующиеся опции. Используя эти опции может иногда значительно изменять время верификации.
Inline (-inline) | Задайте функции, которые должны быть клонированы внутренне для каждого вызова функции |
Depth of verification inside structures (-k-limiting) | Ограничьте глубину анализа для вложенных структур |
Подготовьте скрипты к анализу Polyspace
Объедините специфичные для проекта опции, такие как источники с допускающими повторное использование опциями, такими как средства проверки.
