Libraries used (-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

    Установка опции достаточна для включения проверки.

Информация о командной строке

Параметр: -library
По умолчанию нет
Значение: autosar
Пример (Bug Finder): Polyspace Bug Finder -sources file_name -library autosar -checkers autosar_lib_non_compliance
Пример (Code Prover): Polyspace Code Prover -sources file_name -либрарический авто-РСА
Пример (Bug Finder Server): polyspace-bug-finder-server -sources file_name -library autosar -checkers autosar_lib_non_compliance
Пример (Код Prover Server): Полипространство -code-prover-server -sources file_name -либрарический авто-РСА
Введенный в R2021a