-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 вызывает методы, которые задаются с помощью функций для вызова в указанных классах.
noneПроизведенный main невозможно вызвать какой-либо метод класса.
customPolyspace может использовать классы, указанные для создания main. Произведенный main вызывает методы из классов, которые задаются с помощью функций для вызова внутри указанных классов.
Этот параметр можно использовать только в том случае, если все следующие значения являются истинными:
Ваш код не содержит main функция.
Source code language (-lang) имеет значение CPP или C-CPP.
При выборе none для этого параметра Polyspace не будет проверять методы классов, которые не вызываются явно в коде.
Параметр: -class-analyzer |
Значение: all | none | custom= |
По умолчанию: all |
Пример (проверка кода): polyspace-code-prover -sources |
Пример (сервер проверки кода):
polyspace-code-prover-server -sources |