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