-misra-cpp)Проверка на предмет нарушения правил MISRA C++
Укажите, следует ли проверять нарушение правил MISRA ® C++. Каждое значение опции соответствует подмножеству правил для проверки .
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Coding Standards & Code Metrics. Другие параметры, которые также необходимо включить, см. в разделе Зависимость.
файл командной строки и параметров: Использовать параметр -misra-cpp. См. раздел Сведения о командной строке.
Используйте эту опцию, чтобы указать подмножество правил MISRA C++ для проверки.
После анализа на панели Список результатов (Results List) отображается список нарушений стандартов кодирования. На панели Источник (Source) для каждого нарушения правила кодирования Polyspace ® назначает
символ ключевому слову или идентификатору, соответствующему нарушению.
По умолчанию:
required-rules
required-rules
Проверьте необходимые правила кодирования.
all-rules
Проверьте требуемые и рекомендательные правила кодирования.
SQO-subset1
Проверьте только подмножество правил MISRA C++. В Polyspace Code Prover™ соблюдение этих правил может уменьшить количество недоказанных результатов. Дополнительные сведения см. в разделе Подмножества целей качества программного обеспечения (C++).
SQO-subset2
Проверьте подмножество правил, включая SQO-subset1 и некоторые дополнительные правила. В программе Polyspace Code Prover соблюдение этих правил может еще больше уменьшить количество недоказанных результатов. Дополнительные сведения см. в разделе Подмножества целей качества программного обеспечения (C++)
from-file
Укажите XML-файл, в котором настраивается пользовательский выбор шашек для данного стандарта кодирования. Чтобы создать файл конфигурации, щелкните значок, 
а затем выберите правила и рекомендации, которые необходимо проверить для этого стандарта кодирования, в правой области окна выбора результатов. Сохраните файл.
Чтобы использовать или обновлять существующий файл конфигурации, в окне Выбор результатов (Findings selection) введите полный путь к файлу в предоставленном поле или нажмите кнопку Обзор (Browse).
Если для параметра установлено значение from-file, включить Set checkers by file (-checkers-selection-file).
Эта опция доступна только при установке Source code language (-lang) кому CPP или C-CPP.
Для проектов со смешанным кодом C и C++ средство проверки MISRA C++ анализирует только .cpp файлы.
Параметр:
-misra-cpp |
Значение:
required-rules | all-rules | SQO-subset1 | SQO-subset2 | from-file |
Пример (поиск ошибок):
polyspace-bug-finder -sources |
Пример (проверка кода):
polyspace-code-prover -sources |
Пример (сервер поиска ошибок):
polyspace-bug-finder-server -sources |
Пример (сервер проверки кода):
polyspace-code-prover-server -sources |
Не рекомендуется начинать с R2019a
Начиная с R2019a, файл, в котором определяется пользовательская выборка стандартных шашек кодирования, использует формат XML. Можно сохранить пользовательские варианты выбора для всех стандартов кодирования, поддерживаемых Polyspace в одном файле.
В предыдущих версиях пользовательский выбор для каждого стандарта кодирования сохранялся в отдельных текстовых файлах. В следующем выпуске Polyspace прекратит поддержку пользовательских стандартных файлов кодирования в текстовом формате.
Интерфейс рабочего стола:
При наличии проекта, содержащего пользовательские стандартные файлы кодирования для выбора в текстовом формате, Polyspace автоматически обновляет и консолидирует эти файлы в один XML-файл. Если в проекте имеются конфликтующие конфигурации, которые ссылаются на один и тот же пользовательский файл выбора, программа сохраняет сводный стандартный выбор кода для каждой конфигурации, чтобы разделить XML-файлы.
Чтобы вручную обновить текстовые файлы в формате XML, в узле «Стандарты кодирования и метрики кода» на панели «Конфигурация» нажмите кнопку. 
В окне Выбор результатов выберите файлы и нажмите Сохранить изменения. Polyspace консолидирует файлы в один XML-файл и сохраняет его как filename.xmlfilename - имя первого выбранного файла в алфавитном порядке. Например, при выборе foo.conf и bar.conf, они сохраняются как bar.conf.xml.
Командная строка:
Если у вас нет доступа к интерфейсу рабочего стола Polyspace, используйте файл misra_cpp_2008_rules.xml в качестве шаблона для создания XML-файла, в котором определяется пользовательский выбор стандартных чекеров кодирования. Этот файл шаблона находится в polyspaceroot\help\toolbox\polyspace_bug_finder_server\examples\coding_standards_XMLpolyspacerootC:\Program Files\Polyspace\R2019a. Чтобы обновить сценарий, см. эту таблицу
| Выбор | Использовать вместо |
|---|---|
-misra-cpp "custom_standard.conf" | -checkers-selection-file misra_cpp_2008_rules.xml -misra-cpp from-file |
.
Примечание
Формат XML файла конфигурации средства проверки может изменяться в будущих версиях.
