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