-misra2)Проверка на нарушение правил C:2004 MISRA
Указать, проверять ли нарушение MISRA C®: правила 2004 года. Каждое значение опции соответствует подмножеству правил для проверки.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Coding Standards & Code Metrics. Смотрите Зависимости для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -misra2. См. «Информация о командной строке».
Используйте эту опцию, чтобы задать подмножество правил C:2004 MISRA для проверки.
После анализа на 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. Сохраните файл.
Чтобы использовать или обновить существующий файл строения, в Findings selection окне введите полный путь к файлу в указанном поле или нажмите Browse.
Если вы задаете опцию from-file, включить Set checkers by file (-checkers-selection-file).
Эта опция доступна только при установке Source code language (-lang) на C или C-CPP.
Для проектов со смешанными C и Код С++, MISRA C:2004 checker анализирует только .c файлы.
Если вы задаете Source code language (-lang) на C-CPPможно активировать проверку правил кодирования С и проверку правил кодирования С++. Когда у вас активны шашки правил кодирования C и C++, чтобы избежать дублирования результатов, Polyspace не производит правила кодирования C, найденные в фазе связывания (такие как MISRA C:2012 правило 8.3).
Чтобы уменьшить недоказанные результаты в Polyspace Code Prover:
Найдите нарушения правил кодирования в SQO-subset1. Исправьте код для устранения нарушений и повторите верификацию.
Найдите нарушения правил кодирования в SQO-subset2. Исправьте код для устранения нарушений и повторите верификацию.
Если вы выбираете опцию single-unit-rules или system-decidable-rules и решите обнаружить только нарушения правил кодирования, анализ может завершиться быстрее, чем проверка других правил. Для получения дополнительной информации см. Раздел «Подмножества правил кодирования, проверенные на ранних этапах анализа».
Параметр:
-misra2 |
Значение:
required-rulesall-rules | SQO-subset1 | SQO-subset2 | single-unit-rules | system-decidable-rules | 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 |
Не рекомендуемый запуск в R2019a
Начиная с R2019a, файл, в котором вы задаете пользовательский выбор стандартных шашек кодирования, использует формат XML. Можно сохранить пользовательские параметры для всех стандартов кодирования, поддерживаемых Polyspace в том же файле.
В предыдущих релизах вы сохраняли пользовательский выбор для каждого стандарта кодирования в отдельных текстовых файлах. Polyspace прекратит поддержку пользовательских стандартных файлов кодирования в текстовом формате в следующем релизе.
Интерфейс рабочего стола:
Если у вас есть проект, который содержит пользовательские стандартные файлы выбора кодирования в текстовом формате, Polyspace автоматически обновляет и консолидирует эти файлы в один XML-файл. Если ваш проект имеет конфликтующие строения, которые ссылаются на тот же пользовательский файл выбора, программное обеспечение сохраняет выбор стандарта консолидированного кодирования для каждого строения, чтобы разделить XML- файлы.
Чтобы обновить текстовые файлы в формате XML вручную, в Coding Standards & Code Metrics узле панели Configuration щелкните. 
В Findings selection окне выберите файлы и нажмите Save Changes. 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 файла строения средства проверки может измениться в следующих релизах.
