-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, кодирующего проверку инструкции.
На (значение по умолчанию для исследований от Simulink®)Используйте категории сгенерированного кода (обязательный, требуемый, консультация, удобочитаемость) для MISRA C:2012, кодирующего проверку инструкции.
Для исследований, запущенных с плагина Simulink, эта опция является значением по умолчанию.
Чтобы использовать эту опцию, сначала выберите Check MISRA C:2012 (-misra3) опция.
Параметр: -misra3-agc-mode |
| Значение по умолчанию: Off |
Пример (Bug Finder):
Polyspace Bug Finder - источники |
Пример (Программа автоматического доказательства Кода): Polyspace Code Prover - источники |
Пример (Сервер Bug Finder):
сервер средства поиска ошибки полипробела - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |
