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