-data-range-specifications)Ограничение глобальных переменных, входов функций и возвращаемых значений упорных функций
Этот параметр применяется в первую очередь к анализу проверки кода. В Bug Finder можно указать только внешние ограничения для глобальных переменных.
Укажите ограничения (также известные как спецификации диапазона данных или DRS) для глобальных переменных, входов функций и возвращаемых значений упорных функций с помощью файла шаблона спецификации ограничений. Файл шаблона является XML файл, который можно создать в пользовательском интерфейсе Polyspace ®.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта параметр находится в узле Inputs & Stubbing.
файл командной строки и параметров: Использовать параметр -data-range-specifications. См. раздел Сведения о командной строке.
Этот параметр используется для указания ограничений вне кода.
Polyspace использует предоставленный код, чтобы сделать допущения относительно таких элементов, как диапазоны переменных и допустимый размер буфера для указателей. Иногда предположения шире, чем вы ожидаете, потому что:
Вы не предоставили полный код. Например, некоторые определения функций не были предоставлены.
Некоторая информация о переменных доступна только во время выполнения. Например, некоторые переменные в коде получают значения от пользователя во время выполнения.
Из-за этих широких предположений:
Программа проверки кода может учитывать больше путей выполнения, чем те, которые происходят во время выполнения. Если операция завершается неуспешно по одному из путей выполнения, Polyspace выполняет проверку операции оранжевым цветом. Если этот путь выполнения не возникает во время выполнения, оранжевая проверка указывает на ложное положительное значение.
Иногда Bug Finder может создавать ложные положительные результаты.
Чтобы уменьшить число таких ложных срабатываний, можно задать дополнительные ограничения для глобальных переменных, входов функций и возвращаемых значений упорных функций.
После указания ограничений их можно сохранить в виде XML-файла для последующего анализа. При изменении исходного кода можно обновить предыдущие ограничения. Создавать новый шаблон ограничения не требуется.
По умолчанию нет
Введите полный путь к файлу шаблона. Либо щелкните значок,
чтобы открыть мастер спецификации ограничений. Этот мастер позволяет создать файл шаблона или перейти к существующему файлу шаблона.
Дополнительные сведения см. в разделе Указание внешних ограничений.
Параметр: -data-range-specifications |
Значение: file |
| По умолчанию нет |
Пример (поиск ошибок):
polyspace-bug-finder -sources |
Пример (проверка кода):
polyspace-code-prover -sources |
Пример (сервер поиска ошибок): polyspace-bug-finder-server -sources |
Пример (сервер проверки кода):
polyspace-code-prover-server -sources |