Средство проверки правил кодирования Polyspace ® не проверяет следующие директивы MISRA C ®: 2012. Эти директивы не проверяются ни в Bug Finder, ни в Code Prover. Эти директивы не могут быть применены, так как они находятся вне области действия программного обеспечения Polyspace. Эти рекомендации касаются документации, динамических аспектов или функциональных аспектов правил MISRA ®.
Список поддерживаемых правил и директив см. в разделе Директивы и правила MISRA C:2012.
| Число | Категория | Категория СМЖЛ | Определение |
|---|---|---|---|
| Директива 3.1 | Необходимый | Необходимый | Весь код должен быть отслежен в соответствии с задокументированными требованиями |
| Директива 4.2 | Консультативный | Консультативный | Все использование языка сборки должно быть задокументировано |