-misra3-agc-mode)Проверяйте на нарушения правил и директивы C:2012 MISRA, которые применяются к сгенерированному коду
Укажите, использовать ли MISRA C®: 2012 категории для автоматически сгенерированного кода. Эта опция изменяет правила, которые являются обязательными, обязательными или рекомендательными.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Coding Standards & Code Metrics. Смотрите Зависимость для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -misra3-agc-mode. См. «Информация о командной строке».
Используйте эту опцию, чтобы указать, что вы проверяете на наличие правил C:2012 MISRA в сгенерированном коде. Опция изменяет подмножества C:2012 MISRA так, чтобы они были адаптированы для сгенерированного кода.
Off (по умолчанию)Используйте нормальные категории (обязательный, требуемый, консультативный) для MISRA C:2012, кодирующего проверку директивы.
On (по умолчанию для анализов из Simulink®)Используйте категории сгенерированного кода (обязательный, требуемый, консультативный, удобочитаемость) для MISRA C:2012, кодирующего проверку директивы.
Для анализов, начатых с плагина Simulink, эта опция является значением по умолчанию.
Чтобы использовать эту опцию, сначала выберите Check MISRA C:2012 (-misra3) опция.
Параметр: -misra3-agc-mode |
| По умолчанию: Off |
Пример (Bug Finder):
Polyspace Bug Finder -sources file_name |
Пример (Code Prover): Polyspace Code Prover -sources |
Пример (Bug Finder Server):
polyspace-bug-finder-server -sources file_name |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources file_name |
