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