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