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