-no-stl-stubs)Не используйте реализации Polyspace функций в Стандартной библиотеке шаблонов
Укажите, что верификация не должна использовать Polyspace® реализации Стандартной библиотеки шаблонов.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Inputs & Stubbing. Смотрите Зависимость для других опций, которые необходимо также включить.
Командная строка и файл опций: Используйте опцию -no-stl-stubs. Смотрите информацию о командной строке.
Когда вы используете шаблон класса от Стандартной библиотеки шаблонов (STL), анализ Polyspace, вместо того, чтобы проверить полное внедрение шаблона STL, использует заглушки, чтобы улучшать производительность и точность.
Однако это может произойти, что ваш компилятор переопределяет шаблон STL с реализацией, которая конфликтует с реализацией Polyspace. Если конфликт происходит, вы видите ошибки, потому что ваш код использует вашу реализацию компилятора шаблона STL. Чтобы избежать ошибок, используйте эту опцию и препятствуйте тому, чтобы Polyspace использовал свои реализации шаблонов STL. Необходимо также явным образом обеспечить, путь к компилятору включает. Смотрите Фиксируют Ошибки Соединения Polyspace, Связанные со Стандартной библиотекой шаблонов C++, Блокирующей (Polyspace Code Prover)
OnВерификация не использует реализации Polyspace Стандартной библиотеки шаблонов.
От (значения по умолчанию)Верификация использует эффективные реализации Polyspace Стандартной библиотеки шаблонов.
Эта опция доступна, только если вы устанавливаете Source code language (-lang) к CPP или C-CPP.
Параметр: -no-stl-stubs |
| Значение по умолчанию: Off |
Пример (Code Prover):
Polyspace Code Prover - источники |
Пример (Сервер Code Prover):
сервер программы автоматического доказательства полипробела кода - источники |