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