Компиляция и директивы проекта кода
MISRA C:2012 Dir 1.1 | Любое заданное реализацией поведение, от которого зависит вывод программы, должно быть зарегистрировано и понято |
MISRA C:2012 Dir 2.1 | Все исходные файлы должны скомпилировать без любых ошибок компиляции |
MISRA C:2012 Dir 4.1 | Отказы во время выполнения должны быть минимизированы |
MISRA C:2012 Dir 4.3 | Ассемблер должен инкапсулироваться и изолироваться |
MISRA C:2012 Dir 4.5 | Идентификаторы в том же пространстве имен с перекрывающейся видимостью должны быть типографским способом однозначными |
MISRA C:2012 Dir 4.6 | определения типов, которые указывают на размер и со знаком, должны использоваться вместо основных числовых типов |
MISRA C:2012 Dir 4.8 | Если указатель на структуру или объединение никогда не разыменовывается в модуле перевода, то реализация объекта должна быть скрыта |
MISRA C:2012 Dir 4.9 | Функция должна использоваться в предпочтении к подобному функции макросу, где они являются взаимозаменяемыми |
MISRA C:2012 Dir 4.10 | Меры предосторожности должны быть приняты в порядке предотвратить содержимое заголовочного файла, включаемого несколько раз |
MISRA C:2012 Dir 4.11 | Валидность значений, переданных библиотечным функциям, должна проверяться |
Стандарт C среда: правила 1.1-1.3
MISRA C:2012 Rule 1.1 | Программа не должна содержать нарушения стандартного Синтаксиса C и ограничения, и не должна превышать пределы перевода реализации |
MISRA C:2012 Rule 1.2 | Расширения языка не должны использоваться |
MISRA C:2012 Rule 1.3 | Не должно быть никакого вхождения неопределенного или критического незаданного поведения |
Неиспользованный код: правила 2.1-2.7
Комментарии: правила 3.1-3.2
Наборы символов и лексические соглашения: правила 4.1-4.2
Идентификаторы: правила 5.1-5.9
Литералы и константы: правила 7.1-7.4
MISRA C:2012 Rule 7.1 | Восьмеричные константы не должны использоваться |
MISRA C:2012 Rule 7.2 | Суффикс “u” или “U” должен быть применен ко всем целочисленным константам, которые представлены в типе без знака |
MISRA C:2012 Rule 7.3 | Символ нижнего регистра "l" не должен использоваться в литеральном суффиксе |
MISRA C:2012 Rule 7.4 | Строковый литерал не должен быть присвоен объекту, если тип объекта не будет “указателем на квалифицированный к const char” |
Объявления и определения: правила 8.1-8.14
MISRA C:2012 Rule 8.1 | Типы должны быть явным образом заданы |
MISRA C:2012 Rule 8.2 | Функциональные типы должны быть в прототипной форме с именованными параметрами |
MISRA C:2012 Rule 8.3 | Все объявления объекта или функции должны использовать те же имена и ввести спецификаторы |
MISRA C:2012 Rule 8.4 | Совместимое объявление должно быть видимо, когда объект или функция с внешней связью будут заданы |
MISRA C:2012 Rule 8.5 | Внешний объект или функция должны быть объявлены однажды в одном и только одном файле |
MISRA C:2012 Rule 8.6 | Идентификатор с внешней связью должен иметь точно одно внешнее определение |
MISRA C:2012 Rule 8.7 | Функции и объекты не должны быть заданы с внешней связью, если на них ссылаются только в одном модуле перевода |
MISRA C:2012 Rule 8.8 | Статический спецификатор класса памяти должен использоваться во всех объявлениях объектов и функций, которые имеют внутреннюю связь |
MISRA C:2012 Rule 8.9 | Объект должен быть задан в области действия блока, если ее идентификатор только появляется в одной функции |
MISRA C:2012 Rule 8.10 | Подставляемая функция должна быть объявлена со статическим классом памяти |
MISRA C:2012 Rule 8.11 | Когда массив с внешней связью объявляется, ее размер должен быть явным образом задан |
MISRA C:2012 Rule 8.12 | В рамках списка перечислителей значение неявно заданного постоянного перечисления должно быть уникальным |
MISRA C:2012 Rule 8.13 | Указатель должен указать на квалифицированный к const тип, когда это возможно, |
MISRA C:2012 Rule 8.14 | Ограничить спецификатор типа не должен использоваться |
Инициализация: правила 9.1-9.5
MISRA C:2012 Rule 9.1 | Значение объекта с длительностью автоматического хранения не должно быть считано, прежде чем это было установлено |
MISRA C:2012 Rule 9.2 | Инициализатор для агрегата или объединения должен быть заключен в фигурные скобки |
MISRA C:2012 Rule 9.3 | Массивы не должны быть частично инициализированы |
MISRA C:2012 Rule 9.4 | Элемент объекта не должен быть инициализирован несколько раз |
MISRA C:2012 Rule 9.5 | Где обозначенные инициализаторы используются, чтобы инициализировать объект массивов, что размер массива должен быть задан явным образом |
Существенная модель типа: правила 10.1-10.8
MISRA C:2012 Rule 10.1 | Операнды не должны иметь несоответствующего существенного типа |
MISRA C:2012 Rule 10.2 | Выражения чрезвычайно типа символов не должны использоваться неуместно, кроме того, и операции вычитания |
MISRA C:2012 Rule 10.3 | Значение выражения не должно быть присвоено объекту с более узким существенным типом или различной существенной категории типа |
MISRA C:2012 Rule 10.4 | Оба операнда оператора, в котором выполняются обычные арифметические преобразования, должны иметь ту же существенную категорию типа |
MISRA C:2012 Rule 10.5 | Значение выражения не должно быть брошено к несоответствующему существенному типу |
MISRA C:2012 Rule 10.6 | Значение составного выражения не должно быть присвоено объекту с более широким существенным типом |
MISRA C:2012 Rule 10.7 | Если составное выражение будет использоваться в качестве одного операнда оператора, в котором обычные арифметические преобразования выполняются затем, то другой операнд не должен иметь более широкого существенного типа |
MISRA C:2012 Rule 10.8 | Значение составного выражения не должно быть брошено к различной существенной категории типа или более широкому существенному типу |
Преобразование типа указателя: правила 11.1-11.9
MISRA C:2012 Rule 11.1 | Преобразования не должны выполняться между указателем на функцию и любым другим типом |
MISRA C:2012 Rule 11.2 | Преобразования не должны выполняться между указателем на неполный тип и любым другим типом |
MISRA C:2012 Rule 11.3 | Бросок не должен выполняться между указателем на тип объекта и указателем на различный тип объекта |
MISRA C:2012 Rule 11.4 | Преобразование не должно быть выполнено между указателем на объект и целочисленным типом |
MISRA C:2012 Rule 11.5 | Преобразование не должно быть выполнено от указателя, чтобы освободить в указатель на объект |
MISRA C:2012 Rule 11.6 | Бросок не должен выполняться между указателем на пустоту и арифметическим типом |
MISRA C:2012 Rule 11.7 | Бросок не должен выполняться между указателем на объект и типом арифметики нецелого числа |
MISRA C:2012 Rule 11.8 | Бросок не должен удалять const или энергозависимую проверку от типа, на который указывает указатель |
MISRA C:2012 Rule 11.9 | Макро-NULL должен быть единственной разрешенной формой целочисленного постоянного нулевого указателя |
Выражения: правила 12.1-12.4
Побочные эффекты: правила 13.1-13.6
MISRA C:2012 Rule 13.1 | Списки инициализаторов не должны содержать персистентные побочные эффекты |
MISRA C:2012 Rule 13.2 | Значение выражения и его персистентных побочных эффектов должно быть тем же самым согласно всем разрешенным порядкам оценки |
MISRA C:2012 Rule 13.3 | Полное выражение, содержащее шаг (++) или декремент (-) оператор, не должно иметь никаких других потенциальных побочных эффектов кроме вызванного инкрементным или оператором понижения |
MISRA C:2012 Rule 13.4 | Результат оператора присваивания не должен использоваться |
MISRA C:2012 Rule 13.5 | Правый операнд логического && или || оператор не должен содержать персистентные побочные эффекты |
MISRA C:2012 Rule 13.6 | Операнд sizeof оператора не должен содержать выражение, которое имеет потенциальные побочные эффекты |
Выражения оператора управления: правила 14.1-14.4
Поток управления: правила 15.1-15.7
Операторы switch: правила 16.1-16.7
Функции: правила 17.1-17.8
Указатели и массивы: правила 18.1-18.8
MISRA C:2012 Rule 18.1 | Указатель, следующий из арифметики на операнде указателя, должен обратиться к элементу того же массива как тот операнд указателя |
MISRA C:2012 Rule 18.2 | Вычитание между указателями должно только быть применено к указателям, которые обращаются к элементам того же массива |
MISRA C:2012 Rule 18.3 | Операторы отношения>,> =, <и <= не должны быть применены к объектам типа указателя кроме того, где они указывают в тот же объект |
MISRA C:2012 Rule 18.4 | +, - + = и - = операторы не должны быть применены к выражению типа указателя |
MISRA C:2012 Rule 18.5 | Объявления должны содержать не больше, чем два уровня вложения указателя |
MISRA C:2012 Rule 18.6 | Адрес объекта с автоматическим хранением не должен быть скопирован в другой объект, который сохраняется после того, как первый объект прекратил существование |
MISRA C:2012 Rule 18.7 | Участники массива с переменными границами не должны быть объявлены |
MISRA C:2012 Rule 18.8 | Типы массива переменной длины не должны использоваться |
Наложение устройства хранения данных: правила 19.1-19.2
Предварительная обработка директив: правила 20.1-20.14
MISRA C:2012 Rule 20.1 | Директивам #include должны только предшествовать директивы препроцессору или комментарии |
MISRA C:2012 Rule 20.2 | ', "или \символы и/* или//последовательности символов не должны происходить на имя заголовочного файла |
MISRA C:2012 Rule 20.3 | #include директива должна сопровождаться или <имя файла> или \"имя файла \" последовательность |
MISRA C:2012 Rule 20.4 | Макрос не должен быть задан с тем же именем как ключевое слово |
MISRA C:2012 Rule 20.5 | #undef не должен использоваться |
MISRA C:2012 Rule 20.6 | Лексемы, которые похожи на директиву предварительной обработки, не должны происходить в макро-аргументе |
MISRA C:2012 Rule 20.7 | Выражения, следующие из расширения макро-параметров, должны быть заключены в круглые скобки |
MISRA C:2012 Rule 20.8 | Выражение управления #if или директивы предварительной обработки #elif должно оценить к 0 или 1 |
MISRA C:2012 Rule 20.9 | Все идентификаторы, используемые в выражении управления #if или директив предварительной обработки #elif, должны быть #define’d перед оценкой |
MISRA C:2012 Rule 20.10 | # и ## операторы препроцессора не должны использоваться |
MISRA C:2012 Rule 20.11 | Макро-параметр сразу после # оператора не должен сразу сопровождаться ## оператором |
MISRA C:2012 Rule 20.12 | Макро-параметр, используемый в качестве операнда к # или ## операторам, который самостоятельно подвергается дальнейшей макро-замене, должен только использоваться в качестве операнда к этим операторам |
MISRA C:2012 Rule 20.13 | Строка, первая лексема которой является #, должна быть допустимой директивой предварительной обработки |
MISRA C:2012 Rule 20.14 | Весь #else, #elif и #endif директивы препроцессору должен находиться в том же файле как #if, #ifdef или #ifndef директива, с которой они связаны |
Стандартные библиотеки: правила 21.1-21.12 & 21.15-21.16
MISRA C:2012 Rule 21.1 | #define и #undef не должны использоваться на зарезервированном идентификаторе или зарезервировали макро-имя |
MISRA C:2012 Rule 21.2 | Зарезервированный идентификатор или макро-имя не должны быть объявлены |
MISRA C:2012 Rule 21.3 | Функции выделения памяти и освобождения <stdlib.h> не должны использоваться |
MISRA C:2012 Rule 21.4 | Стандартный заголовочный файл <setjmp.h> не должен использоваться |
MISRA C:2012 Rule 21.5 | Стандартный заголовочный файл <signal.h> не должен использоваться |
MISRA C:2012 Rule 21.6 | Стандартные функции ввода/вывода Библиотеки не должны использоваться |
MISRA C:2012 Rule 21.7 | atof, atoi, атолл и функции атолла <stdlib.h> не должны использоваться |
MISRA C:2012 Rule 21.8 | Аварийное прекращение работы библиотечных функций, выход, getenv и система <stdlib.h> не должны использоваться |
MISRA C:2012 Rule 21.9 | Библиотечные функции bsearch и qsort <stdlib.h> не должны использоваться |
MISRA C:2012 Rule 21.10 | Стандартные функции времени и даты Библиотеки не должны использоваться |
MISRA C:2012 Rule 21.11 | Стандартный заголовочный файл <tgmath.h> не должен использоваться |
MISRA C:2012 Rule 21.12 | Функции обработки исключений <fenv.h> не должны быть использованы |
MISRA C:2012 Rule 21.15 | Аргументы указателя к Стандартным Библиотечным функциям memcpy, memmove и memcmp должны быть указателями на квалифицированные или неполные версии совместимых типов |
MISRA C:2012 Rule 21.16 | Аргументы указателя к Стандартной Библиотечной функции memcmp должны указать или на тип указателя, чрезвычайно тип со знаком, тип чрезвычайно без знака, по существу булев тип или на по существу перечислимый тип |
