Polyspace может проверить ваш код на соответствие C:2004 MISRA и MISRA® Правила AGC переменного тока. Для получения информации о поддерживаемых правилах смотрите C:2004 MISRA и MISRA AC AGC Coding Rules. Используйте Check MISRA C:2004 (-misra2) или Check MISRA AC AGC (-misra-ac-agc) опция анализа для активации подмножеств правил.
Polyspace MISRA C:2004 и MISRA AC AGC Checkers
См. обзор поддержки Polyspace для стандарта C:2004 MISRA.
Проверяйте на нарушения стандарта кодирования
Проверка на нарушения AUTOSAR C++ 14, CERT® C, CERT C++ MISRA C, MISRA C++, JSF AV C++ или ISO-17961 стандарт с Bug Finder или Code Prover.
MISRA C:2004 и MISRA AC AGC Правила кодирования
Проверьте правила C:2004 MISRA, которые Polyspace может проверить.
Целевые подмножества качества программного обеспечения (C:2004)
Смотрите, какие правила C:2004 MISRA снижают сложность кода и уменьшают количество недоказанных проверок в Code Prover.
Целевые подмножества качества программного обеспечения (AC AGC)
Смотрите, какие правила C:2004 MISRA уменьшают сложность кода в сгенерированном коде и уменьшают количество недоказанных проверок в Code Prover.
Подмножества правил кодирования, проверенные в начале анализа
Узнайте, как настроить проверку правил кодирования для более быстрого анализа.
