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