-misra2)Проверка на нарушение правил MISRA C:2004
Укажите, проверять ли нарушение правил MISRA C ®: 2004. Каждое значение опции соответствует подмножеству правил для проверки.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Coding Standards & Code Metrics. Другие параметры, которые также необходимо включить, см. в разделе Зависимости.
файл командной строки и параметров: Использовать параметр -misra2. См. раздел Сведения о командной строке.
Используйте эту опцию, чтобы указать подмножество правил MISRA C:2004 для проверки.
После анализа на панели Список результатов (Results List) отображается список нарушений стандартов кодирования. На панели Источник (Source) для каждого нарушения правила кодирования Polyspace ® назначает
символ ключевому слову или идентификатору, соответствующему нарушению.
По умолчанию:
required-rules
required-rules
Проверьте необходимые правила кодирования.
single-unit-rulesПроверьте подмножество правил, которые применяются только к единицам перевода. Эти правила проверяются на этапе компиляции анализа.
system-decidable-rulesПроверить правила в single-unit-rules подмножество и некоторые правила, которые применяются к коллективному набору программных файлов. Дополнительные правила являются менее сложными правилами, применяемыми на уровне интеграции. Эти правила могут быть проверены только на уровне интеграции, поскольку они включают несколько единиц перевода. Эти правила проверяются на этапах компиляции и связывания анализа.
all-rules
Проверьте требуемые и рекомендательные правила кодирования.
SQO-subset1
Проверьте только подмножество правил MISRA C. В Polyspace Code Prover™ соблюдение этих правил может уменьшить количество недоказанных результатов. Дополнительные сведения см. в разделе Подмножества целей качества программного обеспечения (C: 2004 ).
SQO-subset2
Проверьте подмножество правил, включая SQO-subset1 и некоторые дополнительные правила. В программе Polyspace Code Prover соблюдение этих правил может еще больше уменьшить количество недоказанных результатов. Дополнительные сведения см. в разделе Подмножества целей качества программного обеспечения (C: 2004).
from-file
Укажите XML-файл, в котором настраивается пользовательский выбор шашек для данного стандарта кодирования. Чтобы создать файл конфигурации, щелкните значок, 
а затем выберите правила и рекомендации, которые необходимо проверить для этого стандарта кодирования, в правой области окна выбора результатов. Сохраните файл.
Чтобы использовать или обновлять существующий файл конфигурации, в окне Выбор результатов (Findings selection) введите полный путь к файлу в предоставленном поле или нажмите кнопку Обзор (Browse).
Если для параметра установлено значение from-file, включить Set checkers by file (-checkers-selection-file).
Эта опция доступна только при установке Source code language (-lang) кому C или C-CPP.
Для проектов со смешанным кодом C и C++ средство проверки MISRA C:2004 анализирует только .c файлы.
Если установить Source code language (-lang) кому C-CPP, можно активировать средство проверки правил кодирования C и средство проверки правил кодирования C++. Если активны проверки правил кодирования C и C++, во избежание дублирования результатов Polyspace не создает правила кодирования C, найденные в фазе связывания (например, MISRA C:2012 Rule 8.3).
Для уменьшения числа недоказанных результатов в программе Polyspace Code Prover:
Поиск нарушений правил кодирования в SQO-subset1. Исправьте код, чтобы устранить нарушения, и повторите проверку.
Поиск нарушений правил кодирования в SQO-subset2. Исправьте код, чтобы устранить нарушения, и повторите проверку.
При выборе опции single-unit-rules или system-decidable-rules и выберите только обнаружение нарушений правил кодирования, анализ может завершиться быстрее, чем проверка других правил. Дополнительные сведения см. в разделе Подгруппы правил кодирования, проверенные на ранних этапах анализа.
Параметр:
-misra2 |
Значение:
required-rules | all-rules | SQO-subset1 | SQO-subset2 | single-unit-rules | system-decidable-rules | 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_c_2004_rules.xml в качестве шаблона для создания XML-файла, в котором определяется пользовательский выбор стандартных чекеров кодирования. Этот файл шаблона находится в polyspaceroot\help\toolbox\polyspace_bug_finder_server\examples\coding_standards_XMLpolyspacerootC:\Program Files\Polyspace\R2019a. Чтобы обновить сценарий, см. эту таблицу
| Выбор | Использовать вместо |
|---|---|
-misra2 "custom_standard.conf" | -checkers-selection-file misra_c_2004_rules.xml -misra2 from-file |
.
Примечание
Формат XML файла конфигурации средства проверки может изменяться в будущих версиях.
