-system-inputs-from)Задайте функции, для которых анализ рассматривает все возможные входные значения
Эта опция влияет на анализ Средства поиска Ошибки только.
Задайте функции в своем коде, для которого Polyspace® рассматривает все возможные входные значения. Для каждой функции, которую вы задаете с этой опцией, анализ рассматривает все возможные значения этих входных параметров:
Каждый аргумент функции.
Каждое чтение глобальной переменной функцией или одним из ее вызываемых.
Для main() функция, анализ принимает, что глобальные переменные инициализируются значением 0.
Каждое чтение энергозависимой переменной функцией или одним из ее вызываемых.
Каждый возвращается из заблокированной функции. анализ Средства поиска Ошибки блокирует функцию, если вы не обеспечиваете тело функции в вашем исходном коде.
Пользовательский интерфейс (только десктопные решения): В панели 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 Bug Finder Server).
Анализ обрабатывает эти стандартные библиотечные функции, которые читают значения из внешних источников как заблокированные функции.
getchar
getc
fgetc
scanf
Параметр:
-system-inputs-from |
Значение:
auto | uncalled | all | custom |
Значение по умолчанию: auto |
Пример (Средство поиска Ошибки):
Polyspace Bug Finder - источники |
Пример (Сервер Средства поиска Ошибки):
сервер средства поиска ошибки полипробела - источники |
Run stricter checks considering all values of system inputs (-checks-using-system-input-values)