-system-inputs-from
)Задайте функции, для которых анализ рассматривает все возможные входные значения
Эта опция влияет только на анализ Bug Finder.
Задайте функции в коде, для которых Polyspace® рассматривает все возможные входные значения. Для каждой функции, которую вы задаете с помощью этой опции, анализ рассматривает все возможные значения этих входов:
Каждый аргумент функции.
Каждое чтение глобальной переменной функцией или одним из ее каллеев.
Для main()
функция, анализ принимает, что глобальные переменные инициализированы со значением 0.
Каждое чтение летучей переменной функцией или одним из ее каллеев.
Каждый возврат упрямой функции. анализ Bug Finder заглушает функцию, если вы не предоставляете тело функции в исходном коде.
Пользовательский интерфейс (только для продуктов): На панели Configuration опция находится на узле Bug Finder Analysis. Смотрите Зависимости для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -system-inputs-from
. См. «Информация о командной строке».
По умолчанию Polyspace рассматривает все возможные входные значения для main()
функция и задачи, если таковые имеются, или неотключенные функции с по крайней мере одной callee, если ваш код не имеет main()
. В зависимости от проблемы, которую вы исследуете, запустив более строгие проверки, задайте другое подмножество функций для анализа.
По умолчанию:
auto
auto
Рассмотрите все возможные значения для входов в main()
функции и задачи, если таковые имеются. Вы задаете задачи с этими опциями.
Когда анализируемый код не имеет main()
анализ рассматривает все возможные значения для входов в незакрытые функции по меньшей мере с одной тележкой.
uncalled
Рассмотрим все возможные значения для входов во все незакрытые функции.
all
Рассмотрите все возможные значения для входов во все функции.
custom
Введите имена функции или выберите из списка.
Щелкните, чтобы добавить поле и ввести имя функции.
Щелкните, чтобы отобразить функции в коде. Выберите функции из списка.
Эта опция включена, только если вы включите Run stricter checks considering all values of system inputs (-checks-using-system-input-values)
(Polyspace Bug Finder Server).
Анализ рассматривает эти стандартные функции библиотеки, которые считывают значения из внешних источников как упрямые функции.
getchar
getc
fgetc
scanf
Параметр:
-system-inputs-from |
Значение:
auto | uncalled | all | custom |
По умолчанию: auto |
Пример (Bug Finder):
Polyspace Bug Finder -sources |
Пример (Bug Finder Server):
polyspace-bug-finder-server -sources |
Run stricter checks considering all values of system inputs (-checks-using-system-input-values)