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