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

Весь код должен приспособить ISO^® 9899:1990 "Языкам программирования - C", исправил и исправленный ISO/IEC 9899/COR1:1995, ISO/IEC 9899/AMD1:1995 и ISO/IEC 9899/COR2:1996.

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

Исходный код должен только использовать комментарии стиля /* */.

Последовательность символов /* не должна использоваться в рамках комментария.

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

Только те escape-последовательности, которые заданы в стандарте ISO C, должны использоваться.

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

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

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

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

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

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

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

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

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

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

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

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

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

Восьмеричные константы (кроме нуля) и восьмеричные escape-последовательности не должны использоваться.

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

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

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

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

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

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

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

Внешний объект или функция должны быть объявлены в одном файле и только одном файле.

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

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

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

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

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

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

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

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

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

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

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

Суффикс "U" должен быть применен ко всем константам типов unsigned.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Выражения с плавающей точкой не должны быть протестированы на равенство или неравенство.

Выражение управления оператора for не должно содержать объекты типа с плавающей точкой.

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

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

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

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

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

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

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

Оператор, формирующий тело switch, while, оператор do while или for должен быть составным оператором.

if (выражение) построение должен сопровождаться составным оператором. Ключевое слово else должно сопровождаться или составным оператором или другим оператором if.

Все построения if else if должны содержать итоговый пункт else.

Недостижимый код обнаруживается между оператором switch и первым case.

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

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

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

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

Каждый оператор switch должен иметь по крайней мере один пункт case.

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

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

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

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

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

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

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

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

Тип не должен содержать больше чем 2 уровня косвенности указателя.

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

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

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

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

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

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

Макросами не должен быть #define d и #undef d в блоке.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Расширения языка не должны использоваться.

Проект не должен содержать неиспользованные описания типа.

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

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

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

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

Последовательности символов /* и // не должны использоваться в рамках комментария.

Соединение строки не должно использоваться в комментариях //.

Должны быть отключены восьмеричные и шестнадцатеричные escape-последовательности.

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

Внешние идентификаторы должны быть отличными.

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

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

Макро-идентификаторы должны быть отличными.

Идентификаторы должны быть отличны от макро-имен.

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

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

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

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

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

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

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

Суффикс "u" или "U" должен быть применен ко всем целочисленным константам, которые представлены в типе без знака.

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

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

Типы должны быть явным образом заданы.

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

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

Совместимое объявление должно быть видимо, когда объект или функция с внешней связью будут заданы.

Внешний объект или функция должны быть объявлены однажды в одном и только одном файле.

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

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

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

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

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

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

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

Спецификатор типа restrict не должен использоваться.

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

Массивы не должны быть частично инициализированы.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Полное выражение, содержащее шаг (++) или декремент (--) оператор, не должно иметь никаких других потенциальных побочных эффектов кроме вызванного инкрементным или оператором понижения.

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

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

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

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

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

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

Должен быть не больше, чем один оператор break или goto, используемый, чтобы отключить любой оператор цикла.

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

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

Все построения if … else if должны быть отключены с оператором else.

Все операторы switch должны быть правильно построены.

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

Безусловный оператор break должен отключить каждый switch - пункт.

Каждый оператор switch должен иметь метку default.

Метка default должна появиться или как первое или как последняя метка switch оператора switch.

Каждый оператор switch должен иметь по крайней мере два switch - пункты.

switch - выражение не должно иметь по существу булева типа.

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

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

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

Объявление параметра массива не должно содержать ключевое слово static между [ ].

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

+, -, += и операторы -= не должны быть применены к выражению типа указателя.

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

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

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

Ключевое слово union не должно использоваться.

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

', ", или символы \ и /* или последовательности символов // не должны происходить на имя заголовочного файла.

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

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

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

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

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

Выражение управления #if или директивы предварительной обработки #elif должно оценить к 0 или 1.

Всеми идентификаторами, используемыми в выражении управления #if или директив предварительной обработки #elif, должен быть #define 'd перед оценкой.

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

Макро-параметр сразу после оператора # не должен сразу сопровождаться оператором ##.

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

Строка, первой лексемой которой является #, должна быть допустимой директивой предварительной обработки.

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

#define и #undef не должны использоваться на зарезервированном идентификаторе или зарезервировали макро-имя.

Зарезервированный идентификатор или макро-имя не должны быть объявлены.

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

Стандартный заголовочный файл <setjmp.h> не должен использоваться.

Стандартный заголовочный файл <signal.h> не должен использоваться.

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

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

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

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

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

Стандартный заголовочный файл <tgmath.h> не должен использоваться.

Функции обработки исключений <fenv.h> не должны быть использованы.