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