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

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

Бросок указателя функции к другому указателю функции с различным аргументом или возвращает тип

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

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

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

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

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

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

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

Присвоение в условном операторе

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

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

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

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

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

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

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

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

Функция со статическим контекстом, не названным в файле

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

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

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

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

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

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

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

Конструктор, пропускающий явный спецификатор

Базовый класс наследован фактически и нефактически в той же иерархии

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Оператор, формирующий тело switchв то время как, 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выход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выходgetenv и system из <stdlib.h> не буду использоваться.

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

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

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

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