Средство проверки Polyspace ® MISRA C ®: 2012 помогает соответствовать стандарту кодирования MISRA C 2012. [1]
Когда рекомендации MISRA C:2012 нарушены, Полипространство, контролер MISRA C:2012 предоставляет сообщениям информацию о нарушенном правиле или директиве. Большинство нарушений обнаруживается на этапе компиляции анализа.
Polyspace Bug Finder может проверить все правила MISRA C:2012 и большинство директив MISRA C:2012. Средство проверки кода Polyspace не поддерживает проверку следующего:
MISRA C:2012 Dir 4.4, Dir 4.7, 4.13 и 4.14
MISRA C:2012 Правила 21.13, 21.14 и 21.17 - 21.20
MISRA C:2012 Правило 22.1 - 22.4 и 22.6 - 22.10
Каждое руководство подразделяется на одну из этих трех категорий: обязательное, обязательное или консультативное. При настройке проверки правил можно выбрать подмножества этих категорий для проверки. Для автоматически генерируемого кода некоторые правила меняют категории, в том числе на одну дополнительную категорию: читаемость. Use generated code requirements (-misra3-agc-mode) активирует классификацию для автоматически генерируемого кода.
Существуют дополнительные подмножества рекомендаций MISRA ® по C:2012, определенные компанией Polyspace под названием Software Quality Targets (SQO), которые могут оказывать прямое или косвенное влияние на точность результатов. При настройке проверки можно выбрать эти подмножества. Эти подмножества определены в поднаборах целей качества программного обеспечения (C: 2012).
Check MISRA C:2012 (-misra3) | Use generated code requirements (-misra3-agc-mode)
[1] MISRA и MISRA C являются зарегистрированными товарными знаками MIRA Ltd., принадлежащими Консорциуму MISRA.