Check MISRA C++:2008 (-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™ соблюдение этих правил может уменьшить количество недоказанных результатов. Для получения дополнительной информации смотрите Software Quality Objective Subsets (C++).

SQO-subset2

Проверяйте подмножество правил, включая SQO-subset1 и некоторые дополнительные правила. В Polyspace Code Prover соблюдение этих правил может еще больше уменьшить количество недоказанных результатов. Для получения дополнительной информации смотрите Подмножества целей качества программного обеспечения (C++)

from-file

Укажите XML- файл, в котором вы конфигурируете пользовательский выбор шашек для этого стандарта кодирования. Чтобы создать файл строения, щелкните, затем выберите правила и рекомендации, которые необходимо проверить для этого стандарта кодирования, в правой панели окна Findings selection. Сохраните файл.

Чтобы использовать или обновить существующий файл строения, в Findings selection окне введите полный путь к файлу в указанном поле или нажмите Browse.

Если вы задаете опцию from-file, включить Set checkers by file (-checkers-selection-file).

Зависимость

Эта опция доступна только при установке Source code language (-lang) на CPP или C-CPP.

Для проектов со смешанными C и Кодом С++, MISRA C++ checker анализирует только .cpp файлы.

Информация о командной строке

Параметр: -misra-cpp
Значение: required-rules | all-rules | SQO-subset1 | SQO-subset2 | from-file
Пример (Bug Finder): Polyspace Bug Finder -sources file_name -misra-cpp all-rules
Пример (Code Prover): Polyspace Code Prover -sources file_name -misra-cpp all-rules
Пример (Bug Finder Server): polyspace-bug-finder-server -sources file_name -misra-cpp all-rules
Пример (Код Prover Server): Полипространство -code-prover-server -sources file_name -misra-cpp all-rules

Вопросы совместимости

расширить все

Не рекомендуемый запуск в R2019a