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