-misra3-agc-mode)(Не рекомендуемый) Проверка на нарушения правил MISRA C:2012 и директив, которые применяются к сгенерированному коду
Используя Code Prover, чтобы проверять на нарушения MISRA C®:2012 правил и директивы, которые применяются к сгенерированному коду, не рекомендуются. Используйте Use generated code requirements (-misra3-agc-mode) в Bug Finder вместо этого. Для получения дополнительной информации см. Вопросы совместимости.
Задайте, использовать ли категории MISRA C:2012 для автоматически сгенерированного кода. Эти изменения опции, какие правила обязательны, требуются, или консультация.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Coding Standards & Code Metrics. Смотрите Зависимость для других опций, которые необходимо также включить.
Командная строка и файл опций: Используйте опцию -misra3-agc-mode. Смотрите информацию о командной строке.
Используйте эту опцию, чтобы указать, что вы проверяете на правила MISRA C:2012 в сгенерированном коде. Опция изменяет подмножества MISRA C:2012 так, чтобы они были адаптированы для сгенерированного кода.
От (значения по умолчанию)Используйте нормальные категории (обязательный, требуемый, консультация) для MISRA C:2012, кодирующего проверку инструкции.
На (значение по умолчанию для исследований от Simulink®)Используйте категории сгенерированного кода (обязательный, требуемый, консультация, удобочитаемость) для MISRA C:2012, кодирующего проверку инструкции.
Для исследований, запущенных с плагина Simulink, эта опция является значением по умолчанию.
Чтобы использовать эту опцию, активируйте по крайней мере одно правило MISRA C:2012. Чтобы активировать правила MISRA C:2012, используйте любой из них:
Используйте опцию Check MISRA C:2012 (-misra3) активировать предварительно выобранное подмножество правил.
Используйте опцию Set checkers by file (-checkers-selection-file) вместе с Check MISRA C:2012 (-misra3) активировать пользовательский выбор, который задан в XML-файле.
При использовании XML-файла, чтобы задать пользовательский выбор, выберите по крайней мере одно правило MISRA C:2012 в файле.
Параметр:
-misra3-agc-mode |
| Значение по умолчанию: Off |
Пример (Bug Finder):
Polyspace Bug Finder - источники |
Пример (Code Prover):
Polyspace Code Prover - источники |
Пример (Сервер Bug Finder):
сервер средства поиска ошибки полипробела - источники |
Пример (Сервер Code Prover):
сервер программы автоматического доказательства полипробела кода - источники |
