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