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