Документация

Текст All code shall conform to ISO 9899:1990 Programming languages C, amended and corrected by ISO/IEC 9899/COR1:1995, ISO/IEC 9899/AMD1:1995, and ISO/IEC 9899/COR2:1996 предшествует каждому из следующих сообщений:

Никакие предупреждения, если код инкапсулируется в следующем:

Комментарии C++ обработаны как комментарии, но вывод к нарушению этого правила MISRA

Примечание: Это правило не может быть аннотировано в исходном коде.

Это нарушение правила также повышено, когда последовательность символов/* в C++ комментирует.

Примечание: Это правило не может быть аннотировано в исходном коде.

Все использование #pragma директивы должно быть зарегистрировано и объяснено.

Все идентификаторы (глобальная переменная, статическая и локальная), проверяются.

Для более легкого анализа средство проверки правила показывает все идентификаторы, которые имеют тот же первый 31 символ как одно нарушение правила. Вы видите все экземпляры конфликтных имен идентификатора в конечном счете история того нарушения правила.

5.2

Идентификаторы во внутреннем осциллографе не должны использовать то же имя в качестве идентификатора во внешнем осциллографе, и поэтому скрыть тот идентификатор.

Принимает, что правило 8.1 не нарушено.

5.3

Имя определения типа должно быть уникальным идентификатором

{имя определения типа} '%s' не должно быть снова использовано. (уже используемый в качестве {имя определения типа} в %s: D

Предупреждение, когда имя определения типа снова используется как другое имя идентификатора.

5.4

Имя тега должно быть уникальным идентификатором

{имя тега} '%s' не должно быть снова использовано. (уже используемый в качестве {имени тега} в %s: D

Предупреждение, когда имя тега снова используется как другое имя идентификатора

5.5

Никакой объектный или функциональный идентификатор со статической продолжительностью хранения не должен быть снова использован.

{статический идентификатор/название параметра} ’%s’ не должен быть снова использован. (уже используемый в качестве {статический идентификатор/название параметра} со статической продолжительностью хранения в %s: D

Предупреждение, когда статическое имя снова используется как другое имя идентификатора

Средство поиска ошибки и Программа автоматического доказательства Кода проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.

5.6

Никакой идентификатор в одном пространстве имен не должен иметь то же написание как идентификатор в другом пространстве имен, за исключением имен члена профсоюза и структуры.

{имя элемента} '%s' не должно быть снова использовано. (уже используемый в качестве {имени элемента} в %s: D

Предупреждение, когда idf в пространстве имен снова используется в другом пространстве имен

5.7

Никакое имя идентификатора не должно быть снова использовано.

{идентификатор} '%s' не должен быть снова использован. (уже используемый в качестве {идентификатора} в %s: D

Никакое нарушение, о котором сообщают, когда:

6.1

Простой символьный тип должен использоваться только в устройстве хранения данных и использовании символьных значений

Только допустимые операторы на простом char '= ', '==' или'! =' операторы, явные броски к целочисленным типам и'?' (для 2-х и 3-х операндов)

Предупреждение, когда простой char используется с оператором кроме =, ==! =, явные броски к целочисленным типам, или как вторые или третьи операнды? оператор.

6.2

6.3

определения типов, которые указывают на размер и со знаком, должны использоваться вместо основных типов

определения типов, которые указывают на размер и со знаком, должны использоваться вместо основных типов.

Никакое предупреждение не дано в определении определения типа.

6.4

Битовые поля должны только быть заданы, чтобы иметь тип int без знака или подписанный int.

Битовые поля должны только быть заданы, чтобы иметь тип int без знака или подписанный int.

6.5

Битовые поля типа подписались, int должен быть по крайней мере 2 бита длиной.

Битовые поля типа подписались, int должен быть по крайней мере 2 бита длиной.

Никакое предупреждение на анонимных международных битовых полях со знаком ширины 0 - Расширенный ко всем битовым полям со знаком размера <= 1 (если Правило 6.4 нарушено).

Функции должны иметь объявления прототипа, и прототип должен отобразиться в обоих функциональным определением и вызовом.

Прототип, видимый в вызове, должен быть завершен.

Каждый раз, когда объект или функция объявлены или заданы, ее тип должен быть явным образом утвержден

Каждый раз, когда объект или функция объявлены или заданы, ее тип должен быть явным образом утвержден.

Если объекты или функции будут объявлены несколько раз, то их типы должны быть совместимыми.

Нарушения этого правила могут быть сгенерированы во время фазы ссылки.

Средство поиска ошибки и Программа автоматического доказательства Кода проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.

Не должно быть никаких определений объектов или функций в заголовочном файле

Предварительные определения рассматриваются как определения. Для объектов с осциллографом файла предварительными определениями являются объявления что:

Функции должны всегда объявляться в осциллографе файла.

Функция 'XX' должна быть объявлена в осциллографе файла.

Это правило сопоставляет с ID ISO/IEC TS 17961 addrescape.

Ограниченный явными объявлениями экстерна (предварительные определения проигнорированы).

Polyspace полагает, что переменные или функции объявили extern в незаголовочном файле нарушают это правило.

Средство поиска ошибки и Программа автоматического доказательства Кода проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.

Идентификатор с внешним рычажным устройством должен иметь точно одно внешнее определение.

Средство проверки отмечает повторные определения, только если определения происходят в различных файлах.

Никакие предупреждения не появляются на предопределенных символах.

Средство поиска ошибки и Программа автоматического доказательства Кода проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.

Все объявления и определения объектов или функций в осциллографе файла должны иметь внутреннее рычажное устройство, если внешнее рычажное устройство не будет требоваться

Функция/Переменная XX должна иметь внутреннее рычажное устройство.

Принимает, что 8.1 не нарушен. Никакое предупреждение, если 0 использования.

Средство поиска ошибки и Программа автоматического доказательства Кода проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.

Статический спецификатор класса памяти должен использоваться в определениях и объявлениях объектов и функций, которые имеют внутреннее рычажное устройство

статический спецификатор класса памяти должен использоваться на внутреннем символе рычажного устройства XX.

Когда массив будет объявлен с внешним рычажным устройством, его размер должен быть утвержден явным образом или задан неявно инициализацией

Размер массива 'XX' должен быть явным образом утвержден.

Все автоматические переменные должны быть присвоены значение прежде чем быть используемым.

Проверяемый во время анализа кода.

Заканчиваются нарушения, отображенные как Неинициализированная переменная.

Средство поиска ошибки и Программа автоматического доказательства Кода проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам. В Программе автоматического доказательства Кода можно также видеть различие в результатах на основе выбора для опции Verification level (-to). Смотрите проверку на кодирование стандартных нарушений.

Фигурные скобки должны использоваться, чтобы указать и совпадать со структурой в ненулевой инициализации массивов и структурами.

Фигурные скобки должны использоваться, чтобы указать и совпадать со структурой в ненулевой инициализации массивов и структурами.

В списке перечислителей = построение не должно использоваться, чтобы явным образом инициализировать участников кроме первого, если все элементы не будут явным образом инициализированы.

В списке перечислителей = построение не должно использоваться, чтобы явным образом инициализировать участников кроме первого, если все элементы не будут явным образом инициализированы.

Значение выражения целочисленного типа не должно быть неявно преобразовано в различный базовый тип если:

ANSI C порядок базовых типов (символ со знаком, короткий, международный, долго), задает это, T2 более широк, чем T1, если T2 имеет справа T1 или T2 = T1. Та же интерпретация применяется на версию без знака базовых типов.

Выражение bool или перечислимых типов имеет int как лежащий в основе типа.

Простой char, возможно, подписался или базовый тип без знака (в зависимости от целевой настройки Polyspace или установки опции).

Базовый тип простого выражения struct.bitfield является базовым типом, используемым в определении битового поля, ширина битового поля не является лексемой во внимание, и это принимает, что только со знаком | int без знака используется в битовом поле (Правило 6.4).

Никакое нарушение, о котором сообщают, когда:

Никакое нарушение не сообщило, когда следующее является всей истиной:

Никакое нарушение, о котором сообщают относительно операций включающие указатели.

Преобразования констант, как сообщают, для этих случаев не стараются не отмечать слишком много нарушений. Если константа может быть представлена в обоих исходный и конвертированный тип, преобразование является меньшим количеством проблемы.

Значение выражения типа с плавающей точкой не должно быть неявно преобразовано в другой тип если

ANSI C порядок базовых типов (плавание, дважды) задает это, T2 более широк, чем T1, если T2 имеет справа T1 или T2 = T1.

Никакое нарушение, о котором сообщают, когда:

Значение сложного выражения целочисленного типа может только быть брошено к типу, который является более узким и того же самого, со знаком как базовый тип выражения

Сложное выражение базового типа XX может только быть брошено к более узкому целочисленному типу того же самого со знаком, однако целевой тип XX.

Значение сложного выражения типа плавающего может только быть брошено к более узкому типу с плавающей точкой

Сложное выражение XX типов может только быть брошено к более узкому типу с плавающей точкой, однако целевой тип XX.

ANSI C порядок базовых типов (плавание, дважды) задает это, T1 является более узким, чем T2, если T2 имеет справа T1 или T2 = T1. 

Если побитовый оператор ~ и <<будет применен к операнду базового типа символьное или короткое целое без знака без знака, то результат должен быть сразу брошен к базовому типу операнда

Поразрядно [<<| ~] применяется к операнду базового типа [без знака char|unsigned короткий], результат должен быть сразу брошен к базовому типу.

Суффикс “U” должен быть применен ко всем константам типов без знака

Нет явный 'U снабжают суффиксом на константах типа без знака.

 Предупреждая, когда тип, определенный из значения и основы (восьмеричный, десятичный или шестнадцатеричный), без знака и нет никакого суффиксного u или U.

Например, когда размер int и long int типы данных составляют 32 бита, средство проверки правила кодирования сообщит о нарушении правила 10.6 для следующей линии:

int a = 2147483648;

Существует различие между десятичными и шестнадцатеричными константами когда int и long int не тот же размер.

Преобразование не должно выполняться между указателем на функцию и любым типом кроме целочисленного типа

Преобразование не должно выполняться между указателем на функцию и любым типом кроме целочисленного типа.

Броски и неявные преобразования, включающие указатель функции.

Броски или неявные преобразования из NULL или (void*)0 не давайте предупреждение.

Преобразование не должно выполняться между указателем на объект и любым типом кроме целочисленного типа, другим указателем на тип объекта или указателем на пустоту

Преобразование не должно выполняться между указателем на объект и любым типом кроме целочисленного типа, другим указателем на тип объекта или указателем на пустоту.

На потере спецификатора существует также предупреждение

Это правило сопоставляет с ID ISO/IEC TS 17961 alignconv.

Бросок не должен быть выполнен между типом указателя и целочисленным типом

Бросок не должен быть выполнен между типом указателя и целочисленным типом.

Исключение на нулевой константе. Расширенный ко всем преобразованиям

Это правило сопоставляет с ID ISO/IEC TS 17961 alignconv.

Бросок не должен быть выполнен между указателем на тип объекта и различным указателем на тип объекта.

Бросок не должен быть выполнен между указателем на тип объекта и различным указателем на тип объекта.

Бросок не должен выполняться, который удаляет любой const или энергозависимую проверку от типа, обращенного указателем

Бросок не должен выполняться, который удаляет любой const или энергозависимую проверку от типа, обращенного указателем

Расширенный ко всем преобразованиям

Ограниченная зависимость должна быть помещена в правила приоритета оператора К в выражениях

Ограниченная зависимость должна быть помещена в правила приоритета оператора К в выражениях

Проверка правила 12.2 принимает, что никакое присвоение в выражениях, которые дают к булевым значениям (правило 13.1).

Выражение является простым выражением символов. i = i++; нарушение, но tab[2] = tab[2]++; не нарушение.

sizeof оператор не должен использоваться по выражениям, которые содержат побочные эффекты.

sizeof оператор не должен использоваться по выражениям, которые содержат побочные эффекты.

Никакое предупреждение на энергозависимых доступах

Правый операнд логического && или || оператор не должен содержать побочные эффекты.

Правый операнд логического && или || оператор не должен содержать побочные эффекты.

Никакое предупреждение на энергозависимых доступах

Операнды логического && или || должны быть первичными выражениями.

Во время предварительной обработки нарушения этого правила обнаруживаются по выражениям в #if директивах.

Позволенное исключение на ассоциативно (&& b && c), (|| b || c).

Операнды логических операторов (&&, || и!) должно быть эффективно булевым. Выражение, которые являются эффективно булевыми, не должно использоваться в качестве операндов к операторам кроме (&&, || или!).

Операнд логического оператора должен быть булевым типом данных. Несмотря на то, что стандарт C явным образом не задает булев тип данных, стандарт неявно принимает использование булева типа данных.

Некоторые операторы могут возвратить подобные булевской переменной выражения, например, (var == 0).

Рассмотрите следующий код:

unsigned char flag;
if (!flag)

Средство проверки правила сообщает о нарушении правила 12.6:

Operand of '!' logical
operator should be 
effectively Boolean.

Чтобы быть совместимым с правилом 12.6, код должен быть переписан любой как

if (!( flag != 0))

if (flag == 0)

Использование опции -boolean-types может увеличить или сократить число сгенерированных предупреждений.

Побитовые операторы не должны быть применены к операндам, базовый тип которых подписывается

Базовый тип для целого числа подписывается когда:

Правый операнд оператора сдвига должен находиться между нулем и меньше, чем ширина в битах базового типа левого операнда.

Числа, которыми управляют в предварительной обработке директив, 64 бита шириной так, чтобы допустимая область значений сдвига была между 0 и 63

Проверка также расширена на битовые поля с шириной поля или шириной базового типа, когда это в сложном выражении

Оператор унарный минус не должен быть применен к выражению, базовый тип которого без знака.

Базовый тип для целого числа подписывается когда:

Оператор запятой не должен использоваться.

Оператор запятой не должен использоваться.

Оценка постоянных выражений беззнаковых целых чисел не должна вести, чтобы повториться.

Предупреждение, когда:

Шаг (++) и декремент (-) операторы не должен быть смешан с другими операторами в выражении

Шаг (++) и декремент (-) операторы не должен быть смешан с другими операторами в выражении

Предупреждение, когда ++ или - операторы не используются одни.

Операторы присваивания не должны использоваться в выражениях тот урожай булевы значения.

Операторы присваивания не должны использоваться в выражениях тот урожай булевы значения.

Тесты значения против нуля должны быть сделаны явными, если операнд не является эффективно булевым

Тесты значения против нуля должны быть сделаны явными, если операнд не является эффективно булевым

Никакое предупреждение не дано на целочисленных константах. Пример: если (2)

Использование опции -boolean-types может увеличить или сократить число сгенерированных предупреждений.

Логические операции, результаты которых являются инвариантными, не должны быть разрешены

Во время компиляции проверяйте сравнения по крайней мере с одним постоянным операндом.

Средство поиска ошибки и Программа автоматического доказательства Кода проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.

В Программе автоматического доказательства Кода можно также видеть различие в результатах на основе выбора для опции Verification level (-to). Смотрите проверку на кодирование стандартных нарушений..

Нарушение правила появляется, когда вы проверяете ли enum значение переменных находится между своей нижней и верхней границей. Нарушение появляется, даже если вы постепенно увеличиваете или постепенно уменьшаете переменную вне ее границ, например, в этом for условие цикла:

enum ec {RED, BLUE, GREEN} col;
for(col=RED; col<=GREEN; col++)
{}

enum ec {RED, BLUE, GREEN} col;
for(col=RED; (int)col<=GREEN; col++ )
{}

Не должно быть никакого недостижимого кода.

Средство поиска ошибки и Программа автоматического доказательства Кода проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.

Все непустые операторы должны или иметь по крайней мере один побочный эффект однако выполняемым или заставить поток управления изменяться

Все непустые операторы должны быть также:

Перед предварительной обработкой пустой оператор должен произойти на линии отдельно; это может сопровождаться комментарием при условии, что первый символ после пустого оператора является пробельным символом.

Мы принимаем это a''; пустой оператор, когда это - первый символ на линии (исключая комментарии). Правило нарушено когда:

Оператор перехода не должен использоваться.

Оператор перехода не должен использоваться.

Оператор continue не должен использоваться.

Оператор continue не должен использоваться.

Для любого оператора цикла должно быть самое большее используемое завершение цикла for одного оператора завершения

Для любого оператора цикла должно быть самое большее используемое завершение цикла for одного оператора завершения

Функция должна иметь одну точку выхода в конце функции

Функция должна иметь одну точку выхода в конце функции

Оператор, формирующий тело переключателя, в то время как, делает , в то время как или для оператора будет составной оператор

Если (выражение) создают, буду сопровождаться составным оператором. Еще ключевое слово должно сопровождаться или составным оператором или другим оператором if

Все, если еще, если построения должны содержать итоговое выражение else.

Все, если еще, если построения должны содержать итоговое выражение else.

Синтаксис переключателя MISRA C должен использоваться.

синтаксис операторов switch нормативные ограничения.

Предупреждение на объявлениях или любых операторах перед первым случаем переключателя.

Предупреждение на этикетке или операторах скачка в теле случаев переключателя.

На следующем примере правило отображено в файле журнала в линии 3:

1 ...
2 switch(index) {
3  var = var + 1; 
// RULE 15.0 
// violated
4case 1: ...

Код между оператором switch и первым случаем проверяется как мертвый код Polyspace. Это следует за поведением стандарта ANSI.

Это правило не рассматривается как необходимое правило в правилах MISRA C:2004 для сгенерированного кода. В сгенерированном коде, если вы находите нарушение правила 15.0, которое одновременно не нарушает более позднее правило в этой группе, выровняйте по ширине нарушение с соответствующими комментариями.

Метка переключателя должна только использоваться, когда наиболее тесно заключающий составной оператор будет телом оператора switch

Метка переключателя должна только использоваться, когда наиболее тесно заключающий составной оператор будет телом оператора switch

Безусловный оператор завершения должен отключить каждый непустой пункт переключателя

Безусловный оператор завершения должен отключить каждый непустой пункт переключателя

Предупреждение для каждого несовместимого пункта случая.

Итоговый пункт оператора switch должен быть пунктом по умолчанию

Итоговый пункт оператора switch должен быть пунктом по умолчанию

Выражение переключателя не должно представлять значение, которое является эффективно булевым

Выражение переключателя не должно представлять значение, которое является эффективно булевым

Использование опции -boolean-types может увеличить число сгенерированных предупреждений.

Каждый оператор switch должен иметь по крайней мере один пункт случая

Каждый оператор switch должен иметь по крайней мере один пункт случая

Функции не должны быть заданы с переменными количествами аргументов.

Функция XX не должна быть задана как varargs.

Функции не должны вызывать себя, ни один прямо или косвенно.

Функция %s не должна вызывать себя.

Сделанный программным обеспечением Polyspace (Используют граф вызовов в Polyspace Code Prover™). Polyspace также частично проверяет это правило во время фазы компиляции.

Идентификаторы должны быть даны для всех параметров в объявлении прототипа функции.

Идентификаторы должны быть даны для всех параметров в объявлении прототипа функции.

Принимает, что Правило 8.6 не нарушено.

Принимает, что правила 8.8, 8.1 и 16.3 не нарушены.

Все случаи обнаруживаются.

Функции без параметров должны быть объявлены с типом параметра пусто.

Функции без параметров должны быть объявлены с типом параметра пусто.

Определения также проверяются.

Принимает, что правило 8.1 не нарушено.

Это правило сопоставляет с ID ISO/IEC TS 17961 argcomp.

Параметр указателя в прототипе функции должен быть объявлен как указатель на const если указатель не используется, чтобы изменить обращенный объект.

Параметр указателя в прототипе функции должен быть объявлен как указатель на const если указатель не используется, чтобы изменить обращенный объект.

Предупреждение, если non-const параметр указателя или не используется, чтобы изменить обращенный объект или передается вызову функции, которая объявляется с const параметр указателя.

Все выходные пути от функции с непустым типом возврата должны иметь явный оператор возврата с выражением.

Пропавшие без вести возвращаемого значения для непустой функции XX.

Предупреждение, когда непустая функция не отключена с безусловным возвратом с выражением.

Функциональный идентификатор должен только использоваться или с предыдущим &, или с заключенным в скобки списком параметров, который может быть пустым.

Функциональному идентификатору XX должен предшествовать a & или сопровождать список параметров.

Если функция возвратит информацию об ошибке, то та информация об ошибке должна быть протестирована.

Если функция возвратит информацию об ошибке, то та информация об ошибке должна быть протестирована.

Средство проверки отмечает функции с помощью non-void возвратите типы, если возвращаемое значение не используется или не явным образом бросок к void ввод.

Средство проверки не отмечает функции memcpy, memset, memmove, strcpy, strncpystrcat, strncat потому что эти функции просто возвращают указатель на свои первые аргументы.

Адресная арифметика с указателями должна только быть применена к указателям, которые обращаются к элементу массива или элементу массива.

Адресная арифметика с указателями должна только быть применена к указателям, которые обращаются к элементу массива или элементу массива.

>,> =, <<= не буду применен к типам указателей кроме того, где они указывают на тот же массив.

>,> =, <<= не буду применен к типам указателей кроме того, где они указывают на тот же массив.

Предупреждение на:

Предупреждение при присвоении адреса глобальной переменной, возврате адреса локальной переменной или возврате адреса параметра.

Это правило сопоставляет с ID ISO/IEC TS 17961 accfree.

Вся структура или типы объединения должны быть завершены в конце модуля перевода.

Вся структура или типы объединения должны быть завершены в конце модуля перевода.

Предупреждение для всех неполных объявлений структур или объединений.

Объект не должен быть присвоен перекрывающемуся объекту.

Объединения не должны использоваться

Объединения не должны использоваться.

Операторам #include в файле должны только предшествовать другие директивы препроцессоров или комментарии

Сообщение отображено, когда #include директиве предшествуют другие вещи, чем директивы препроцессору, комментарии, пробелы или “новые строки”.

Нестандартные символы не должны происходить на имена заголовочного файла в #include директивах

#include директива должна сопровождаться или <имя файла> или последовательность "имени файла".

Макрос' <имя>' не расширяется до совместимого построения.

Мы принимаем, что макроопределение не нарушает это правило, когда это расширяется до:

Макросы не должны быть #defined и #undefd в блоке.

#undef не должен использоваться.

#undef не буду использоваться.

Функция должна использоваться в предпочтении к функциональному подобному макросу.

Подобный функции макрос не должен быть вызван безо всех его аргументов

Аргументы к подобному функции макросу не должны содержать лексемы, которые похожи на предварительную обработку директив.

Макро-аргумент не должен быть похожим на директиву предварительной обработки.

Это правило обнаруживается, как нарушено, когда '#' символ появляется в макро-аргументе (вне строковой или символьной константы)

В определении подобного функции макроса каждый экземпляр параметра должен быть заключен в круглые скобки, если это не будет использоваться в качестве операнда # или ##.

Экземпляр параметра должен быть заключен в круглые скобки.

Если x макро-параметр, следующие экземпляры x как операнд #, и ## операторы не генерируют предупреждение: #xX, и x##. В противном случае круглые скобки требуются вокруг x.

Программное обеспечение не генерирует предупреждение, если параметр снова используется в качестве аргумента функционального или подобного функции макроса. Например, рассмотрите параметр x. Программное обеспечение не генерирует предупреждение если x появляется как (x) или (x, или ,x) или ,x,.

Все макро-идентификаторы в директивах препроцессору должны быть заданы перед использованием, кроме #ifdef и #ifndef директив препроцессору и заданного () оператор.

'<имя>' не задано.

Должно быть самое большее одно вхождение # или ## операторов препроцессора в одном макроопределении.

Больше чем одно вхождение # или ## операторов препроцессора.

# и ## операторы препроцессора не должны использоваться

Обменивайтесь сообщениями на определениях макросов с помощью # или ## операторы

Заданный оператор препроцессора должен только использоваться в одной из двух стандартных форм.

'заданный' без идентификатора.

Когда заголовочный файл отформатирован как,

#ifndef <control macro>
#define <control macro> 
<contents> #endif

или,

#ifndef <control macro>
#error ...
#else 
#define <control macro> 
<contents> #endif

это принято, что меры предосторожности были приняты, чтобы предотвратить несколько включений. В противном случае нарушение этого правила MISRA обнаруживается.

Предварительная обработка директив должна быть синтаксически значимой, даже когда исключено препроцессором.

директива не синтаксически значима.

Весь #else, #elif и #endif директивы препроцессору должен находиться в том же файле как #if или #ifdef директива, с которой они связаны.

Зарезервированные идентификаторы, макросы и функции в стандартной библиотеке, не должны быть заданы, переопределены или не определены.

Имена стандартных макросов библиотеки, объектов и функций не должны быть снова использованы.

Идентификатор XX не должен использоваться.

В случае, если макрос, имя которого соответствует стандартному макросу библиотеки, объекту или функции, задан, правило, которое обнаруживается, как нарушено, 20.1.

Предварительные определения рассматриваются как определения. Для объектов с осциллографом файла предварительными определениями являются объявления что:

Валидность значений, переданных библиотечным функциям, должна проверяться.

Валидность значений, переданных библиотечным функциям, должна проверяться

Предупреждение для аргумента в библиотечной функции вызывает, если следующее является всей истиной:

Библиотечная функция может быть одним из следующего: sqrttan, powжурналlog10, fmodacosasinacoshatanh, или atan2.

Средство поиска ошибки и Программа автоматического доказательства Кода проверяют это правило по-другому. Анализ может привести к различным результатам.

Динамическое выделение памяти кучи не должно использоваться.

В случае, если динамические функции выделения памяти кучи являются на самом деле макросами, и макрос расширен в коде, это правило обнаруживается, как нарушено. Принимает, что правило 20.2 не нарушено.

Ошибочный индикатор errno не должен использоваться

Ошибочный индикатор errno не должен использоваться

Принимает, что правило 20.2 не нарушено

Макрос offsetof, в библиотеке <stddef.h>, не должен использоваться.

Принимает, что правило 20.2 не нарушено

setjmp макрос и функция longjmp не должны использоваться.

В случае, если функция longjmp является на самом деле макросом, и макрос расширен в коде, это правило обнаруживается, как нарушено. Принимает, что правило 20.2 не нарушено

Погрузочно-разгрузочное оборудование сигнала <signal.h> не должно использоваться.

В случае, если некоторые функции сигнала являются на самом деле макросами и расширены в коде, это правило обнаруживается, как нарушено. Принимает, что правило 20.2 не нарушено

Библиотекой ввода/вывода <stdio.h> нельзя пользоваться в производственном коде.

В случае, если библиотечные функции ввода/вывода являются на самом деле макросами и расширены в коде, это правило обнаруживается, как нарушено. Принимает, что правило 20.2 не нарушено

Библиотечные функции atof, atoi и атолл от библиотеки <stdlib.h> не должны использоваться.

В случае, если atof, atoi и функции атолла являются на самом деле макросами и расширены, это правило обнаруживается, как нарушено. Принимает, что правило 20.2 не нарушено

Аварийное прекращение работы библиотечных функций, выход, getenv и система от библиотеки <stdlib.h> не должны использоваться.

В случае, если аварийное прекращение работы, выход, getenv и системные функции являются на самом деле макросами и расширены, это правило обнаруживается, как нарушено. Принимает, что правило 20.2 не нарушено

Функции обработки времени библиотеки <time.h> не должны использоваться.

В случае, если функции обработки времени являются на самом деле макросами и расширены, это правило обнаруживается, как нарушено. Принимает, что правило 20.2 не нарушено

Минимизация отказов во время выполнения должна быть обеспечена при помощи по крайней мере одного из:

Сделанный Polyspace. Средство поиска ошибки и Программа автоматического доказательства Кода проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.

В Программе автоматического доказательства Кода можно также видеть различие в результатах на основе выбора для опции Verification level (-to). Смотрите проверку на кодирование стандартных нарушений..

Никакая уверенность не должна быть помещена в неопределенное или незаданное поведение

Не статически поддающийся проверке, если динамические свойства данных не учтен

Несколько компиляторов и/или языков должны только использоваться, если будет общий заданный интерфейсный стандарт для объектного кода, которому язык/компиляторы/ассемблеры соответствуют.

Это - метод правила процесса.

Компилятор/компоновщик/Идентификаторы (внутренний и внешний) не должен использовать значение больше чем 31 символа. Кроме того, компилятор/компоновщик должен проверяться, чтобы гарантировать, что 31 символьное значение и чувствительность к регистру поддерживаются для внешних идентификаторов.

Чтобы наблюдать это правило, проверяйте свою документацию компилятора.

Реализации с плавающей точкой должны выполнить заданный стандарт с плавающей точкой.

Чтобы наблюдать это правило, проверяйте свою документацию компилятора.

Разделы кода не должны быть то, “прокомментировал”

Одним путем инструмент может проверять, что это правило состоит в том, чтобы определить, компилирует ли код, когда прокомментировал разделы, не прокомментированы. Однако такая проверка может быть дорогой и неточной.

Все использование заданного реализацией поведения должно быть зарегистрировано.

Чтобы наблюдать это правило, проверяйте свою документацию компилятора. Выявление ошибок основано на неопределенном поведении, согласно выбору, сделанному для реализации - заданные конструкции.

Набор символов и соответствующее кодирование должны быть зарегистрированы.

Чтобы наблюдать это правило, проверяйте свою документацию компилятора.

Реализация целочисленного деления в выбранном компиляторе должна быть определена, зарегистрирована и учтена.

Чтобы наблюдать это правило, проверяйте свою документацию компилятора.

Заданное реализацией поведение и упаковка битовых полей должны быть зарегистрированы, будучи положенным.

Чтобы наблюдать это правило, проверяйте свою документацию компилятора.

Все библиотеки, пользовавшиеся в производственном коде, должны быть записаны, чтобы выполнить условия этого документа и должны подвергнуться соответствующей валидации.

Чтобы наблюдать это правило, проверяйте свою документацию компилятора.

Область памяти не должна быть снова использована в несвязанных целях.

"целью" является проблема функционального проекта.