Polyspace®, кодирующий средство проверки правил, не проверяет следующие директивы MISRA C®:2012. Эти директивы не проверяются или в Программе автоматического доказательства Средства поиска или Кода Ошибки. Эти директивы не могут быть осуществлены, потому что они выходят за рамки программного обеспечения Polyspace. Эти инструкции касаются документации, динамических аспектов или функциональных аспектов правил MISRA®.
Для списка поддерживаемых правил и директив, см. Директивы MISRA C:2012 и Правила.
| Номер | Категория | Категория AGC | Определение |
|---|---|---|---|
| Директива 3.1 | Необходимый | Необходимый | Весь код должен быть прослеживаемым к зарегистрированным требованиям |
| Директива 4.2 | Консультация | Консультация | Все использование ассемблера должно быть зарегистрировано |
| Директива 4.4 | Консультация | Консультация | Разделы кода не должны быть то, “прокомментировал” |
| Директива 4.12 | Необходимый | Необходимый | Динамическое выделение памяти не должно использоваться |
