-autosar-cpp14)Проверяйте на нарушения C++ AUTOSAR 14 правил
Эта опция влияет на Bug Finder только.
Задайте, проверять ли на нарушения C++ AUTOSAR 14. Каждое значение опции соответствует подмножеству инструкций, чтобы проверять.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Coding Standards & Code Metrics. Смотрите Зависимости для других опций, которые необходимо также включить.
Командная строка и файл опций: Используйте опцию -autosar-cpp14. Смотрите информацию о командной строке.
Используйте эту опцию, чтобы задать подмножество C++ AUTOSAR 14 правил проверять на [1].
После анализа панель Results List перечисляет кодирующие стандартные нарушения. На панели Source, для каждого кодирующего стандартного нарушения, Polyspace® присваивает
символ ключевому слову или идентификатору, относящемуся к нарушению.
Значение по умолчанию:
all
all
Проверяйте на нарушения всего C++ AUTOSAR 14 правил, поддержанных Polyspace.
required
Проверяйте на нарушения необходимых правил.
Эти правила являются обязательными требованиями, помещенными в ваш код. Эта классификация правил прибывает из C++ AUTOSAR 14 инструкций.
automatedПроверяйте на нарушения автоматизированных правил.
Можно автоматически осуществить эти правила посредством статического анализа. Эта классификация правил прибывает из C++ AUTOSAR 14 инструкций.
Обратите внимание на то, что все правила в required категория не может присутствовать в automated категория. Для правил, что C++ AUTOSAR 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 |
Значение:
all | required | automated | from-file |
Пример (Bug Finder):
Polyspace Bug Finder - Ленг cpp - источники |
Пример (Сервер Bug Finder):
сервер средства поиска ошибки полипробела - Ленг cpp - источники |
[1] Средства проверки Polyspace для C++ AUTOSAR 14 правил поддерживают C++ AUTOSAR 14 релизов 18-10 (октябрь 2018). Из 397 правил из стандарта поддерживаются 308 правил.