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