-autosar-cpp14)Проверка на нарушения правил AUTOSAR C++ 14
Этот параметр влияет только на поиск ошибок.
Укажите, следует ли проверять наличие нарушений AUTOSAR C++ 14. Каждое значение опции соответствует подмножеству рекомендаций для проверки.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Coding Standards & Code Metrics. Другие параметры, которые также необходимо включить, см. в разделе Зависимости.
файл командной строки и параметров: Использовать параметр -autosar-cpp14. См. раздел Сведения о командной строке.
Используйте этот параметр, чтобы указать подмножество правил AUTOSAR C++ 14 для проверки [1].
После анализа на панели Список результатов (Results List) отображается список нарушений стандартов кодирования. На панели «Источник» для каждого нарушения стандарта кодирования Polyspace ® назначает
символ ключевому слову или идентификатору, соответствующему нарушению.
По умолчанию:
all
all
Проверьте наличие нарушений всех правил AUTOSAR C++ 14, поддерживаемых Polyspace.
См. раздел Правила AUTOSAR C++ 14.
required
Проверка на предмет нарушения требуемых правил.
Эти правила являются обязательными требованиями для вашего кода. Эта категоризация правил происходит из инструкций AUTOSAR C++ 14.
automatedПроверка на предмет нарушения автоматизированных правил.
Эти правила можно автоматически применять с помощью статического анализа. Эта категоризация правил происходит из инструкций AUTOSAR C++ 14.
Обратите внимание, что все правила в required категория может отсутствовать в automated категория. Для правил, которые AUTOSAR C++ 14 считает неавтоматическими, средство поиска ошибок показывает только подмножество фактических нарушений правил.
from-file
Укажите XML-файл, в котором настраивается пользовательский выбор шашек для данного стандарта кодирования. Чтобы создать файл конфигурации, щелкните значок, 
а затем выберите правила, которые необходимо проверить для этого стандарта кодирования, на правой панели окна выбора результатов. Сохраните файл.
Чтобы использовать или обновлять существующий файл конфигурации, в окне Выбор результатов (Findings selection) введите полный путь к файлу в предоставленном поле или нажмите кнопку Обзор (Browse).
Если для параметра установлено значение from-file, включить Set checkers by file (-checkers-selection-file).
Эта опция доступна только при установке Source code language (-lang) кому CPP или C-CPP.
Параметр:
-autosar-cpp14 |
Значение:
all | required | automated | from-file |
Пример (поиск ошибок):
polyspace-bug-finder -lang cpp -sources |
Пример (сервер поиска ошибок):
polyspace-bug-finder-server -lang cpp -sources |
[1] Шашки Polyspace для правил AUTOSAR C++ 14 поддерживают AUTOSAR C++ 14 версии 18-10 (октябрь 2018 г.). Из 397 правил стандарта поддерживается 308 правил.