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