-class-analyzer
)Задайте классы, которые вы хотите проверить
Эта опция влияет только на анализ Code Prover.
Задайте классы, которые Polyspace® использует, чтобы сгенерировать main
.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Code Prover Verification. Смотрите Зависимости для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -class-analyzer
. См. «Информация о командной строке».
Если вы проверяете модуль или библиотеку, Code Prover генерирует main
функция, если она не существует. Если a main
существует, в анализе используются существующие main
.
Используйте эту опцию и опцию Functions to call within the specified classes (-class-analyzer-calls)
чтобы задать методы классов, которые сгенерированы main
должен вызвать. Если метод класса не вызывается прямо или косвенно из main
программное обеспечение не анализирует метод.
По умолчанию: all
all
Polyspace может использовать все классы для генерации main
. Сгенерированный main
вызывает методы, которые вы задаете, используя Functions to call within the specified classes.
none
Сгенерированный main
невозможно вызвать какой-либо метод класса.
custom
Polyspace может использовать классы, которые вы задаете, чтобы сгенерировать main
. Сгенерированный main
вызывает методы из классов, которые вы задаете используя Functions to call within the specified classes.
Использовать эту опцию можно только в том случае, если все из следующих значений true:
Ваш код не содержит main
функция.
Source code language (-lang)
установлено в CPP
или C-CPP
.
Если вы выбираете none
для этой опции Polyspace не будет проверять методы класса, которые вы явным образом не вызываете в коде.
Параметр: -class-analyzer |
Значение: all | none | custom |
По умолчанию: all |
Пример (Code Prover): Polyspace Code Prover -sources |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources file_name |
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)