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