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

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

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

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

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

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

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

Триграфы не используются.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Суффикс «U» применяется ко всем константам unsigned типы.

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

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

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

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

Не должен выполняться кастинг, который удаляет const или volatile квалификация из типа, адресуемого указателем

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

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

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

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

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

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

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

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

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

Приращение (++) и уменьшение (--) операторы не должны смешиваться с другими операторами в выражении

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

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

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

Управляющее выражение for оператор не должен содержать никаких объектов плавающего типа.

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

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

Все операторы, отличные от NULL, должны либо

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

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

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

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

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

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

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

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

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

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

Заключительное положение switch заявление должно быть default пункт.

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

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

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

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

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

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

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

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

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

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

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

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

Профсоюзы не используются.

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

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

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

Макросы C должны расширяться только до инициализатора с скобками, константы, выражения в скобках, квалификатора типа, спецификатора класса хранения или конструкции do-while-zero.

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

#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> не должны использоваться.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Восьмеричные константы не используются.

Суффикс «u» или «U» применяется ко всем целочисленным константам, которые представлены в неподписанном типе.

Строчный символ «l» не должен использоваться в буквенном суффиксе.

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

Типы должны быть четко указаны.

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

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

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

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

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

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

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

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

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

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

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

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

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

Не допускается частичная инициализация массивов.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Управляющее выражение if оператор и управляющее выражение оператора итерации должны иметь по существу логический тип.

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

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

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

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

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

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

Все if … else if конструкции должны заканчиваться else заявление.

Все switch заявления должны быть хорошо оформлены.

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

Безоговорочное break заявление прекращает действие каждого switch-cause.

Каждый switch заявление должно иметь default этикетка.

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

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

A switch-экспрессия не должна иметь логический тип.

Особенности <starg.h> не должны использоваться.

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

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

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

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

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

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

Элементы гибкого массива не объявляются.

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

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

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

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

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

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

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

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

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

Управляющее выражение #if или #elif директива предварительной обработки должна иметь значение 0 или 1.

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

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

Параметр макроса, непосредственно следующий за # оператор не должен немедленно сопровождаться ## оператор.

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

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

Все #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> не следует использовать.