Стандарт MISRA C:2012 классифицирует правила, которые могут быть статически осуществлены во всех возможных случаях как Разрешимые. Polyspace® поддержки 122 из 122 таких правил.
| Правило MISRA C:2012 | Описание | Средство проверки Polyspace |
|---|---|---|
| Правило 10.1 MISRA C:2012 | Операнды не должны иметь несоответствующего существенного типа | MISRA C:2012 Rule 10.1 |
| Правило 10.2 MISRA C:2012 | Выражения чрезвычайно типа символов не должны использоваться неуместно, кроме того, и операции вычитания | MISRA C:2012 Rule 10.2 |
| Правило 10.3 MISRA C:2012 | Значение выражения не должно быть присвоено объекту с более узким существенным типом или различной существенной категории типа | MISRA C:2012 Rule 10.3 |
| Правило 10.4 MISRA C:2012 | Оба операнда оператора, в котором выполняются обычные арифметические преобразования, должны иметь ту же существенную категорию типа | MISRA C:2012 Rule 10.4 |
| Правило 10.5 MISRA C:2012 | Значение выражения не должно быть брошено к несоответствующему существенному типу | MISRA C:2012 Rule 10.5 |
| Правило 10.6 MISRA C:2012 | Значение составного выражения не должно быть присвоено объекту с более широким существенным типом | MISRA C:2012 Rule 10.6 |
| Правило 10.7 MISRA C:2012 | Если составное выражение будет использоваться в качестве одного операнда оператора, в котором обычные арифметические преобразования выполняются затем, то другой операнд не должен иметь более широкого существенного типа | MISRA C:2012 Rule 10.7 |
| Правило 10.8 MISRA C:2012 | Значение составного выражения не должно быть брошено к различной существенной категории типа или более широкому существенному типу | MISRA C:2012 Rule 10.8 |
| Правило 11.1 MISRA C:2012 | Преобразования не должны выполняться между указателем на функцию и любым другим типом | MISRA C:2012 Rule 11.1 |
| Правило 11.2 MISRA C:2012 | Преобразования не должны выполняться между указателем на неполный тип и любым другим типом | MISRA C:2012 Rule 11.2 |
| Правило 11.3 MISRA C:2012 | Бросок не должен выполняться между указателем на тип объекта и указателем на различный тип объекта | MISRA C:2012 Rule 11.3 |
| Правило 11.4 MISRA C:2012 | Преобразование не должно быть выполнено между указателем на объект и целочисленным типом | MISRA C:2012 Rule 11.4 |
| Правило 11.5 MISRA C:2012 | Преобразование не должно быть выполнено от указателя, чтобы освободить в указатель на объект | MISRA C:2012 Rule 11.5 |
| Правило 11.6 MISRA C:2012 | Бросок не должен выполняться между указателем на пустоту и арифметическим типом | MISRA C:2012 Rule 11.6 |
| Правило 11.7 MISRA C:2012 | Бросок не должен выполняться между указателем на объект и типом арифметики нецелого числа | MISRA C:2012 Rule 11.7 |
| Правило 11.8 MISRA C:2012 | Бросок не должен удалять const или энергозависимую проверку от типа, на который указывает указатель | MISRA C:2012 Rule 11.8 |
| Правило 11.9 MISRA C:2012 | Макро-NULL должен быть единственной разрешенной формой целочисленного постоянного нулевого указателя | MISRA C:2012 Rule 11.9 |
| Правило 12.1 MISRA C:2012 | Приоритет операторов в рамках выражений должен быть сделан явным | MISRA C:2012 Rule 12.1 |
| Правило 12.3 MISRA C:2012 | Оператор запятой не должен использоваться | MISRA C:2012 Rule 12.3 |
| Правило 12.4 MISRA C:2012 | Оценка константных выражений не должна приводить к переносу беззнаковых целых чисел | MISRA C:2012 Rule 12.4 |
| Правило 12.5 MISRA C:2012 | sizeof оператор не должен иметь операнда, который является параметром функции, объявленным как “массив типа” | MISRA C:2012 Rule 12.5 |
| Правило 13.3 MISRA C:2012 | Полное выражение, содержащее шаг (++) или декремент (-) оператор, не должно иметь никаких других потенциальных побочных эффектов кроме вызванного инкрементным или оператором понижения | MISRA C:2012 Rule 13.3 |
| Правило 13.4 MISRA C:2012 | Результат оператора присваивания не должен использоваться | MISRA C:2012 Rule 13.4 |
| Правило 13.6 MISRA C:2012 | Операнд sizeof оператора не должен содержать выражение, которое имеет потенциальные побочные эффекты | MISRA C:2012 Rule 13.6 |
| Правило 14.4 MISRA C:2012 | Выражение управления оператора if и выражение управления оператора цикла должны иметь по существу булев тип | MISRA C:2012 Rule 14.4 |
| Правило 15.1 MISRA C:2012 | Оператор перехода не должен использоваться | MISRA C:2012 Rule 15.1 |
| Правило 15.2 MISRA C:2012 | Оператор перехода должен перейти к метке, объявленной позже в той же функции | MISRA C:2012 Rule 15.2 |
| Правило 15.3 MISRA C:2012 | Любая метка, на которую ссылается оператор перехода, должна быть объявлена в том же блоке, или в любом блоке, заключающем оператор перехода | MISRA C:2012 Rule 15.3 |
| Правило 15.4 MISRA C:2012 | Должен быть не больше, чем один оператор завершения, или оператор перехода раньше отключал любой оператор цикла | MISRA C:2012 Rule 15.4 |
| Правило 15.5 MISRA C:2012 | Функция должна иметь одну точку выхода в конце | MISRA C:2012 Rule 15.5 |
| Правило 15.6 MISRA C:2012 | Тело оператора цикла или оператора выбора должно быть составным оператором | MISRA C:2012 Rule 15.6 |
| Правило 15.7 MISRA C:2012 | Все, если … еще, если построения еще должны быть отключены с оператор | MISRA C:2012 Rule 15.7 |
| Правило 16.1 MISRA C:2012 | Все операторы switch должны быть правильно построены | MISRA C:2012 Rule 16.1 |
| Правило 16.2 MISRA C:2012 | Метка переключателя должна только использоваться, когда наиболее тесно заключающий составной оператор будет телом оператора switch | MISRA C:2012 Rule 16.2 |
| Правило 16.3 MISRA C:2012 | Безусловный оператор завершения должен отключить каждый пункт переключателя | MISRA C:2012 Rule 16.3 |
| Правило 16.4 MISRA C:2012 | Каждый оператор switch должен иметь метку по умолчанию | MISRA C:2012 Rule 16.4 |
| Правило 16.5 MISRA C:2012 | Метка по умолчанию должна появиться или как первое или как последняя метка переключателя оператора switch | MISRA C:2012 Rule 16.5 |
| Правило 16.6 MISRA C:2012 | Каждый оператор switch должен иметь по крайней мере два пункта переключателя | MISRA C:2012 Rule 16.6 |
| Правило 16.7 MISRA C:2012 | Выражение переключателя не должно иметь по существу булева типа | MISRA C:2012 Rule 16.7 |
| Правило 17.1 MISRA C:2012 | Функции <stdarg.h> не должны быть использованы | MISRA C:2012 Rule 17.1 |
| Правило 17.3 MISRA C:2012 | Функция не должна быть объявлена неявно | MISRA C:2012 Rule 17.3 |
| Правило 17.4 MISRA C:2012 | Все выходные пути от функции с непустым типом возврата должны иметь явный оператор возврата с выражением | MISRA C:2012 Rule 17.4 |
| Правило 17.6 MISRA C:2012 | Объявление параметра массива не должно содержать статическое ключевое слово между [] | MISRA C:2012 Rule 17.6 |
| Правило 17.7 MISRA C:2012 | Значение, возвращенное функцией, имеющей непустой тип возврата, должно использоваться | MISRA C:2012 Rule 17.7 |
| Правило 18.4 MISRA C:2012 | +, - + = и - = операторы не должны быть применены к выражению типа указателя | MISRA C:2012 Rule 18.4 |
| Правило 18.5 MISRA C:2012 | Объявления должны содержать не больше, чем два уровня вложения указателя | MISRA C:2012 Rule 18.5 |
| Правило 18.7 MISRA C:2012 | Члены массива с переменными границами не должны быть объявлены | MISRA C:2012 Rule 18.7 |
| Правило 18.8 MISRA C:2012 | Типы массива переменной длины не должны использоваться | MISRA C:2012 Rule 18.8 |
| Правило 19.2 MISRA C:2012 | Ключевое слово объединения не должно использоваться | MISRA C:2012 Rule 19.2 |
| Правило 1.1 MISRA C:2012 | Программа не должна содержать нарушения стандартного Синтаксиса C и ограничения, и не должна превышать пределы перевода реализации | MISRA C:2012 Rule 1.1 |
| Правило 1.2 MISRA C:2012 | Расширения языка не должны использоваться | MISRA C:2012 Rule 1.2 |
| Правило 1.4 MISRA C:2012 | Функции языка на стадии становления не должны быть использованы | MISRA C:2012 Rule 1.4 |
| Правило 20.1 MISRA C:2012 | Директивам #include должны только предшествовать директивы препроцессору или комментарии | MISRA C:2012 Rule 20.1 |
| Правило 20.10 MISRA C:2012 | # и ## операторы препроцессора не должны использоваться | MISRA C:2012 Rule 20.10 |
| Правило 20.11 MISRA C:2012 | Макро-параметр сразу после # оператора не должен сразу сопровождаться ## оператором | MISRA C:2012 Rule 20.11 |
| Правило 20.12 MISRA C:2012 | Макро-параметр, используемый в качестве операнда к # или ## операторам, который самостоятельно удовлетворяет дальнейшей макро-замене, должен только использоваться в качестве операнда к этим операторам | MISRA C:2012 Rule 20.12 |
| Правило 20.13 MISRA C:2012 | Линия, первая лексема которой является #, должна быть допустимой директивой предварительной обработки | MISRA C:2012 Rule 20.13 |
| Правило 20.14 MISRA C:2012 | Весь #else, #elif и #endif директивы препроцессору должен находиться в том же файле как #if, #ifdef или #ifndef директива, с которой они связаны | MISRA C:2012 Rule 20.14 |
| Правило 20.2 MISRA C:2012 | ', "или \символы и/* или//последовательности символов не должны происходить на имя заголовочного файла | MISRA C:2012 Rule 20.2 |
| Правило 20.3 MISRA C:2012 | #include директива должна сопровождаться или <имя файла> или последовательность "имени файла" | MISRA C:2012 Rule 20.3 |
| Правило 20.4 MISRA C:2012 | Макрос не должен быть задан с тем же именем как ключевое слово | MISRA C:2012 Rule 20.4 |
| Правило 20.5 MISRA C:2012 | #undef не должен использоваться | MISRA C:2012 Rule 20.5 |
| Правило 20.6 MISRA C:2012 | Лексемы, которые похожи на директиву предварительной обработки, не должны происходить в макро-аргументе | MISRA C:2012 Rule 20.6 |
| Правило 20.7 MISRA C:2012 | Выражения, следующие из расширения макро-параметров, должны быть заключены в круглые скобки | MISRA C:2012 Rule 20.7 |
| Правило 20.8 MISRA C:2012 | Выражение управления #if или директивы предварительной обработки #elif должно оценить к 0 или 1 | MISRA C:2012 Rule 20.8 |
| Правило 20.9 MISRA C:2012 | Все идентификаторы, используемые в выражении управления #if или директив предварительной обработки #elif, должны быть #define’d перед оценкой | MISRA C:2012 Rule 20.9 |
| Правило 21.1 MISRA C:2012 | #define и #undef не должны использоваться на зарезервированном идентификаторе или зарезервировали макро-имя | MISRA C:2012 Rule 21.1 |
| Правило 21.10 MISRA C:2012 | Стандартные функции времени и даты Библиотеки не должны использоваться | MISRA C:2012 Rule 21.10 |
| Правило 21.11 MISRA C:2012 | Стандартный заголовочный файл <tgmath.h> не должен использоваться | MISRA C:2012 Rule 21.11 |
| Правило 21.12 MISRA C:2012 | Функции обработки исключений <fenv.h> не должен использоваться | MISRA C:2012 Rule 21.12 |
| Правило 21.15 MISRA C:2012 | Аргументы указателя к Стандартным Библиотечным функциям memcpy, memmove и memcmp будут указатели на квалифицированные или неполные версии совместимых типов | MISRA C:2012 Rule 21.15 |
| Правило 21.16 MISRA C:2012 | Аргументы указателя к Стандартной Библиотечной функции memcmp укажу или на тип указателя, чрезвычайно тип со знаком, тип чрезвычайно без знака, по существу булев тип или на по существу перечислимый тип | MISRA C:2012 Rule 21.16 |
| Правило 21.2 MISRA C:2012 | Зарезервированный идентификатор или зарезервированное макро-имя не должны быть объявлены | MISRA C:2012 Rule 21.2 |
| Правило 21.21 MISRA C:2012 | Стандартная Библиотечная функция system из <stdlib.h> не буду использоваться | MISRA C:2012 Rule 21.21 |
| Правило 21.3 MISRA C:2012 | Функции выделения памяти и освобождения <stdlib.h> не буду использоваться | MISRA C:2012 Rule 21.3 |
| Правило 21.4 MISRA C:2012 | Стандартный заголовочный файл <setjmp.h> не должен использоваться | MISRA C:2012 Rule 21.4 |
| Правило 21.5 MISRA C:2012 | Стандартный заголовочный файл <signal.h> не должен использоваться | MISRA C:2012 Rule 21.5 |
| Правило 21.6 MISRA C:2012 | Стандартные функции ввода/вывода Библиотеки не должны использоваться | MISRA C:2012 Rule 21.6 |
| Правило 21.7 MISRA C:2012 | Стандартные Библиотечные функции atof, atoi, atol, и atoll функции <stdlib.h> не буду использоваться | MISRA C:2012 Rule 21.7 |
| Правило 21.8 MISRA C:2012 | Стандартные Библиотечные функции abortвыход, getnenv и system из <stdlib.h> не буду использоваться | MISRA C:2012 Rule 21.8 |
| Правило 21.9 MISRA C:2012 | Стандартные библиотечные функции Библиотеки bsearch и qsort из <stdlib.h> не буду использоваться | MISRA C:2012 Rule 21.9 |
| Правило 2.3 MISRA C:2012 | Проект не должен содержать неиспользованные описания типа | MISRA C:2012 Rule 2.3 |
| Правило 2.4 MISRA C:2012 | Проект не должен содержать неиспользованные объявления тега | MISRA C:2012 Rule 2.4 |
| Правило 2.5 MISRA C:2012 | Проект не должен содержать неиспользованные макро-объявления | MISRA C:2012 Rule 2.5 |
| Правило 2.6 MISRA C:2012 | Функция не должна содержать неиспользованные описания меток | MISRA C:2012 Rule 2.6 |
| Правило 2.7 MISRA C:2012 | В функциях не должно быть никаких неиспользованных параметров | MISRA C:2012 Rule 2.7 |
| Правило 3.1 MISRA C:2012 | Последовательности символов /* и // не буду использоваться в рамках комментария | MISRA C:2012 Rule 3.1 |
| Правило 3.2 MISRA C:2012 | Соединение линии не должно использоваться в // комментарии | MISRA C:2012 Rule 3.2 |
| Правило 4.1 MISRA C:2012 | Должны быть отключены восьмеричные и шестнадцатеричные escape-последовательности | MISRA C:2012 Rule 4.1 |
| Правило 4.2 MISRA C:2012 | Trigraphs не должен использоваться | MISRA C:2012 Rule 4.2 |
| Правило 5.1 MISRA C:2012 | Внешние идентификаторы должны быть отличными | MISRA C:2012 Rule 5.1 |
| Правило 5.2 MISRA C:2012 | Идентификаторы, объявленные в том же осциллографе и пространстве имен, должны быть отличными | MISRA C:2012 Rule 5.2 |
| Правило 5.3 MISRA C:2012 | Идентификатор, объявленный во внутреннем осциллографе, не должен скрывать идентификатор, объявленный во внешнем осциллографе | MISRA C:2012 Rule 5.3 |
| Правило 5.4 MISRA C:2012 | Макро-идентификаторы должны быть отличными | MISRA C:2012 Rule 5.4 |
| Правило 5.5 MISRA C:2012 | Идентификаторы должны быть отличны от макро-имен | MISRA C:2012 Rule 5.5 |
| Правило 5.6 MISRA C:2012 | Имя определения типа должно быть уникальным идентификатором | MISRA C:2012 Rule 5.6 |
| Правило 5.7 MISRA C:2012 | Имя тега должно быть уникальным идентификатором | MISRA C:2012 Rule 5.7 |
| Правило 5.8 MISRA C:2012 | Идентификаторы, которые задают объекты или функции с внешним рычажным устройством, должны быть уникальными | MISRA C:2012 Rule 5.8 |
| Правило 5.9 MISRA C:2012 | Идентификаторы, которые задают объекты или функции с внутренним рычажным устройством, должны быть уникальными | MISRA C:2012 Rule 5.9 |
| Правило 6.1 MISRA C:2012 | Битовые поля должны только быть объявлены с соответствующим типом | MISRA C:2012 Rule 6.1 |
| Правило 6.2 MISRA C:2012 | Одноразрядные именованные битовые поля не должны иметь типа со знаком | MISRA C:2012 Rule 6.2 |
| Правило 7.1 MISRA C:2012 | Восьмеричные константы не должны использоваться | MISRA C:2012 Rule 7.1 |
| Правило 7.2 MISRA C:2012 | Суффикс “u” или “U” должен быть применен ко всем целочисленным константам, которые представлены в типе без знака | MISRA C:2012 Rule 7.2 |
| Правило 7.3 MISRA C:2012 | Символ нижнего регистра "l" не должен использоваться в литеральном суффиксе | MISRA C:2012 Rule 7.3 |
| Правило 7.4 MISRA C:2012 | Строковый литерал не должен быть присвоен объекту, если тип объекта не будет “указателем на квалифицированный к const char” | MISRA C:2012 Rule 7.4 |
| Правило 8.1 MISRA C:2012 | Типы должны быть явным образом заданы | MISRA C:2012 Rule 8.1 |
| Правило 8.10 MISRA C:2012 | Подставляемая функция должна быть объявлена со статическим классом памяти | MISRA C:2012 Rule 8.10 |
| Правило 8.11 MISRA C:2012 | Когда массив с внешним рычажным устройством объявляется, его размер должен быть явным образом задан | MISRA C:2012 Rule 8.11 |
| Правило 8.12 MISRA C:2012 | В рамках списка перечислителей значение неявно заданного постоянного перечисления должно быть уникальным | MISRA C:2012 Rule 8.12 |
| Правило 8.14 MISRA C:2012 | Ограничить спецификатор типа не должен использоваться | MISRA C:2012 Rule 8.14 |
| Правило 8.2 MISRA C:2012 | Функциональные типы должны быть в прототипной форме именованными параметрами | MISRA C:2012 Rule 8.2 |
| Правило 8.3 MISRA C:2012 | Все объявления объекта или функции должны использовать те же имена и ввести спецификаторы | MISRA C:2012 Rule 8.3 |
| Правило 8.4 MISRA C:2012 | Совместимое объявление должно отобразиться, когда объект или функция с внешним рычажным устройством будут заданы | MISRA C:2012 Rule 8.4 |
| Правило 8.5 MISRA C:2012 | Внешний объект или функция должны быть объявлены однажды в одном и только одном файле | MISRA C:2012 Rule 8.5 |
| Правило 8.6 MISRA C:2012 | Идентификатор с внешним рычажным устройством должен иметь точно одно внешнее определение | MISRA C:2012 Rule 8.6 |
| Правило 8.7 MISRA C:2012 | Функции и объекты не должны быть заданы с внешним рычажным устройством, если на них ссылаются только в одном модуле перевода | MISRA C:2012 Rule 8.7 |
| Правило 8.8 MISRA C:2012 | Статический спецификатор класса памяти должен использоваться во всех объявлениях объектов и функций, которые имеют внутреннее рычажное устройство | MISRA C:2012 Rule 8.8 |
| Правило 8.9 MISRA C:2012 | Объект должен быть задан в области действия блока, если ее идентификатор только появляется в одной функции | MISRA C:2012 Rule 8.9 |
| Правило 9.2 MISRA C:2012 | Инициализатор для агрегата или объединения должен быть заключен в фигурные скобки | MISRA C:2012 Rule 9.2 |
| Правило 9.3 MISRA C:2012 | Массивы не должны быть частично инициализированы | MISRA C:2012 Rule 9.3 |
| Правило 9.4 MISRA C:2012 | Элемент объекта не должен быть инициализирован несколько раз | MISRA C:2012 Rule 9.4 |
| Правило 9.5 MISRA C:2012 | Где обозначенные инициализаторы используются, чтобы инициализировать объект массивов, что размер массива должен быть задан явным образом | MISRA C:2012 Rule 9.5 |
