-misra3-agc-mode
)Проверяйте на нарушения правил MISRA C:2012 и директив, которые применяются к сгенерированному коду
Задайте, использовать ли категории MISRA C®:2012 для автоматически сгенерированного кода. Эти изменения опции, какие правила обязательны, требуются, или консультация.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Coding Standards & Code Metrics. Смотрите Зависимость для других опций, которые необходимо также включить.
Командная строка: Используйте опцию -misra3-agc-mode
. Смотрите информацию о Командной строке.
Используйте эту опцию, чтобы указать, что вы проверяете на правила MISRA C:2012 в сгенерированном коде. Опция изменяет подмножества MISRA C:2012 так, чтобы они были адаптированы для сгенерированного кода.
Используйте нормальные категории (обязательный, требуемый, консультация) для MISRA C:2012, кодирующего проверку инструкции.
Используйте категории сгенерированного кода (обязательный, требуемый, консультация, удобочитаемость) для MISRA C:2012, кодирующего проверку инструкции.
Для исследований, запущенных с плагина Simulink, эта опция является значением по умолчанию.
Чтобы использовать эту опцию, сначала выберите опцию Check MISRA C:2012 (-misra3)
.
Параметр: -misra3-agc-mode |
Значение по умолчанию: 'off' |
Пример (средство поиска ошибки):
|
Пример (программа автоматического доказательства кода):
|
Пример (сервер средства поиска ошибки):
|
Пример (сервер программы автоматического доказательства кода):
|