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