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

Спецификатор строкового формата вызывает переполнение буферного аргумента стандартных библиотечных функций

Указатель функции, приведенный к указателю другой функции с другим аргументом или возвращаемым типом

Указатель неявно приведен к другому типу данных

Исходные и целевые аргументы функции копирования имеют перекрывающуюся память

catch оператор принимает объект по значению

catch оператор не достигнут из-за более ранней инструкции catch для того же исключения

Спецификаторы строк не соответствуют соответствующим аргументам

Неправильная инициализация массива при использовании инициализаторов

Операция равенства в операторе назначения

Назначение в условном операторе

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

Строка не заканчивается нулевым символом

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

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

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

sizeof аргумент не соответствует указываемому типу

Сегмент кода деактивирован #if 0 директива или if(0) состояние

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

Функция со статической областью не вызвана в файле

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

operator = метод не возвращает указатель на текущий объект

Оператор копирования назначения не вызывает операторы копирования назначения базовых подобъектов

Класс не может вести себя полиморфно при удалении производных объектов класса

Конструктор копирования не вызывает конструкторы копирования некоторых элементов или базовых классов

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

Конструктор не инициализирует некоторые члены класса

В конструкторе отсутствует явный спецификатор

Базовый класс наследуется виртуально и невиртуально в одной иерархии

Производный объект класса передан значением функции с параметром базового класса

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

Метод возвращает указатель или ссылку на внутренний элемент объекта

Оператор копирования назначения не проверяет самоназначение

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

Оператор со смешанными побитовыми и арифметическими операциями

delete оперирует с void* указатель, указывающий на объект

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

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

Большой аргумент передается по значению между функциями

Несколько операторов в строке

Нет комментариев в конце варианта переключения без оператора break

Свободный указатель не сопровождается инструкцией reset для очистки оставшихся данных

Прототип функции имеет параметры, не считанные или записанные в теле функции

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

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

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

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

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Суффикс «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> не следует использовать.