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