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