-class-only)Не анализировать код, отличный от методов класса
Этот параметр влияет только на анализ программы проверки кода.
Эта опция недоступна для кода, сгенерированного в моделях MATLAB ® или Simulink ®.
Укажите, что Polyspace ® должен проверять только методы классов, заданные с помощью параметраClass (-class-analyzer).
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Проверка проверочного кода (Code Prover Verification). Другие параметры, которые также необходимо включить, см. в разделе Зависимости.
файл командной строки и параметров: Использовать параметр -class-only. См. раздел Сведения о командной строке.
Эта опция используется для ограничения анализа только определенными методами классов.
Эти методы задаются с помощью опций:
При анализе модуля или библиотеки средство проверки кода генерирует main функция, если она не существует. main функция вызывает методы классов, используя эти две опции, и функции, которые не являются методами классов, используя другие опции. Программа Code Prover анализирует эти методы и функции на устойчивость ко всем входам. Если этот параметр используется, средство проверки кода анализирует только методы.
НаPolyspace проверяет только методы класса. Функция блокирует функции, выходящие за рамки класса, даже если функции определены в коде.
Выкл. (по умолчанию)Помимо методов класса, Polyspace проверяет функции вне области действия класса.
Этот параметр можно использовать только в том случае, если все следующие значения являются истинными:
Ваш код не содержит main функция.
Source code language (-lang) имеет значение CPP или C-CPP.
При выборе этого параметра необходимо указать классы с помощью Class (-class-analyzer) вариант.
Используйте эту опцию:
Для проверки надежности методов классов. Если этот параметр не используется, Polyspace проверяет методы, которые вызываются в коде только для комбинаций ввода.
В случае масштабирования.
Параметр: -class-only |
| По умолчанию: Откл. |
Пример (проверка кода):
polyspace-code-prover -sources |
Пример (сервер проверки кода):
polyspace-code-prover-server -sources |