-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 |
Пример (Code Prover):
Polyspace Code Prover -sources file_name |
Пример (Bug Finder Server):
polyspace-bug-finder-server -sources file_name |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources file_name |