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