Средство проверки Polyspace® MISRA C®:2004 помогает вам выполнить стандарт кодирования MISRA C 2004. [1]
Когда MISRA C правила нарушены, MISRA C средство проверки позволяет программному обеспечению Polyspace предоставить сообщениям информацию о нарушениях правила. О большинстве сообщений сообщают во время фазы компиляции анализа.
MISRA C средство проверки может проверять почти все 142 правила MISRA C:2004.
Правила проверок средства проверки MISRA® AC AGC от (обязательного) OBL и REC (рекомендовали) категории, заданные Инструкциями по AGC AC MISRA для Приложения MISRA-C:2004 в Контексте Автоматической Генерации кода.
Существуют подмножества MISRA кодирующие правила, которые могут оказать прямое или косвенное влияние на селективность (процент надежности) ваших результатов. Когда вы настраиваете проверку правила, можно выбрать эти подмножества непосредственно. Эти подмножества заданы в:
Средство проверки MISRA Polyspace основано на MISRA C:2004, который также включает MISRA C Техническое Исправление.
[1] MISRA и MISRA C являются зарегистрированными торговыми марками MIRA Ltd., сохраненной от имени Консорциума MISRA.
