-class-analyzer)Задайте классы, которые вы хотите проверить
Эта опция влияет на анализ Программы автоматического доказательства Кода только.
Задайте классы что использование Polyspace®, чтобы сгенерировать main.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Code Prover Verification. Смотрите Зависимости для других опций, которые необходимо также включить.
Командная строка: Используйте опцию -class-analyzer. Смотрите информацию о командной строке.
Если вы проверяете модуль или библиотеку, Программа автоматического доказательства Кода генерирует main функционируйте, если вы не существуете. Если main существует, анализ использует существующий main.
Используйте эту опцию и опцию Functions to call within the specified classes (-class-analyzer-calls) задавать методы класса что сгенерированный main должен вызвать. Если метод класса не называется прямо или косвенно от main, программное обеспечение не анализирует метод.
Значение по умолчанию: all
allPolyspace может использовать все классы, чтобы сгенерировать main. Сгенерированный main методы вызовов, что вы задаете использование Functions to call within the specified classes.
noneСгенерированный main не может вызвать метод класса.
customPolyspace может использовать классы, которые вы задаете, чтобы сгенерировать main. Сгенерированный main методы вызовов от классов, что вы задаете использование Functions to call within the specified classes.
Можно использовать эту опцию, только если все следующее верно:
Ваш код не содержит main функция.
Source code language (-lang) установлен в CPP или C-CPP.
Если вы выбираете none для этой опции Polyspace не проверит методы класса, которые вы не вызываете явным образом в вашем коде.
Параметр: -class-analyzer |
Значение: all | none | custom= |
Значение по умолчанию: all |
Пример (Программа автоматического доказательства Кода): Polyspace Code Prover - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |
Analyze class contents only (-class-only) | Functions to call within the specified classes (-class-analyzer-calls) | Skip member initialization check (-no-constructors-init-check) | Verify module or library (-main-generator)