-library)Задайте библиотеки, которые вы используете в своей программе
Задайте библиотеки, которые вы используете в своей программе.
Анализ использует интеллектуальные заглушки для функций из этих библиотек вместо типовых заглушек и не пытается проверить реализации функции. Использование этой опции позволяет ускорить анализ без потери точности и запускает проверки вызовов функций в библиотеке.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Inputs & Stubbing.
Командная строка и файл опций: Используйте опцию -library. См. «Информация о командной строке».
Для более быстрого и библиотечного анализа используйте эту опцию. Если вы не используете эту опцию, анализ либо пытается проверить реализацию библиотеки, либо, если реализация недоступна, использует типовые заглушки для функций библиотеки. Проверка тел функций может значительно увеличить время анализа, в то время как использование типовых заглушек может привести к потере точности.
Опция также запускает проверку аргументов функции в библиотеке. Например, если вы выбираете значение опции autosarанализ Bug Finder или Code Prover проверяет аргументы в функциях из AUTOSAR RTE API на податливость стандарту AUTOSAR.
По умолчанию: none
noneАнализ использует смарт-заглушки только для функций из стандартной библиотеки C или C++ (если их реализации не могут быть найдены).
autosarВ сложение с упорством функций C или C++ Standard Library с отсутствующими реализациями, анализ использует интеллектуальные заглушки для авто-РСА функций RTE API (даже если их реализации доступны).
Опция также запускает специфичные для AUTOSAR проверки аргументов функции. Для получения дополнительной информации см. соответствующие шашки:
Bug Finder: Non-compliance with AUTOSAR specification
Помимо установки опции, необходимо также явным образом включить указанную выше проверку (или включить все проверки).
Code Prover: Non-compliance with AUTOSAR specification (Polyspace Code Prover)
Установка опции достаточна для включения проверки.
Параметр: -library |
| По умолчанию нет |
Значение: autosar |
Пример (Bug Finder):
Polyspace Bug Finder -sources file_name |
Пример (Code Prover): Polyspace Code Prover -sources |
Пример (Bug Finder Server):
polyspace-bug-finder-server -sources file_name |
Пример (Код Prover Server): Полипространство -code-prover-server -sources |