JSF правила кодирования C++

Поддерживаемые правила кодирования C++ JSF

Размер кода и сложность

N. Определение JSF^® ++ Polyspace^® Implementation

N.	Определение JSF^® ++	Polyspace^® Implementation
1	Любая функция (или метод) будет содержать не больше, чем 200 логических исходных строк кода (L-SLOCs).	Сообщение в файле отчета: `<function name>` имеет `<num>` логические исходные строки кода.
3	Все функции должны иметь цикломатическое количество сложности 20 или меньше.	Сообщение в файле отчета: `<function name>` имеет цикломатический номер сложности, равный `<num>`.

Любая функция (или метод) будет содержать не больше, чем 200 логических исходных строк кода (L-SLOCs).

Сообщение в файле отчета:

<function name> имеет <num> логические исходные строки кода.

Все функции должны иметь цикломатическое количество сложности 20 или меньше.

Сообщение в файле отчета:

<function name> имеет цикломатический номер сложности, равный <num>.

Среда

N.	JSF ++ определение	Реализация Polyspace
8	Весь код должен соответствовать ISO/IEC 14882:2002 (E) стандартный C++.	Сообщает сообщение ошибки компиляции
9	Только те символы, заданные в базовом наборе символов исходного кода C++, будут использоваться.
11	Trigraphs не будет использоваться.
12	Следующие диграфы не будут использоваться: `<%`, `%>`, `<:`, `:>`, `%:`, `%:%:`.	Сообщение в файле отчета: Следующий диграф не будет использоваться: `<digraph>`. Сообщает диграф. Если уровень правила будет установлен в предупреждение, диграф будет позволен, даже если это не будет поддержано в `-compiler iso`.
13	Многобайтовые символы и широкие строковые литералы не будут использоваться.	Сообщите `о L'c'`, `L"string"`, и использование `wchar_t`.
14	Литеральные суффиксы должны использовать прописные а не строчные буквы.
15	Условие должно быть сделано для времени выполнения, проверяющего (безопасное программирование).	Сделанный с регистрациями программного обеспечения.

Библиотеки

N.	JSF ++ определение	Реализация Polyspace
17	Ошибочный индикатор `errno` не буду использоваться.	`errno` не должен использоваться в качестве макроса или глобальной переменной с внешним "C" рычажным устройством.
18	Макро-`offsetof`, в библиотеке `<stddef.h>`, не буду использоваться.	`offsetof` не должен использоваться в качестве макроса или глобальной переменной с внешним "C" рычажным устройством.
19	`<locale.h>` и `setlocale` функция не должна использоваться.	`setlocale` и `localeconv` не должен использоваться в качестве макроса или глобальной переменной с внешним "C" рычажным устройством.
20	`setjmp` макрос и `longjmp` функция не должна использоваться.	`setjmp` и `longjmp` не должен использоваться в качестве макроса или глобальной переменной с внешним "C" рычажным устройством.
21	Погрузочно-разгрузочное оборудование сигнала `<signal.h>` не буду использоваться.	`signal` и `raise` не должен использоваться в качестве макроса или глобальной переменной с внешним "C" рычажным устройством.
22	Библиотека `<stdio.h>` ввода/вывода не буду использоваться.	все стандартные функции `<stdio.h>` не должен использоваться в качестве макроса или глобальной переменной с внешним "C" рычажным устройством.
23	Библиотечные функции `atof`, `atoi` и `atol` от библиотеки `<stdlib.h>` не буду использоваться.	`atof`, `atoi` и `atol` не должен использоваться в качестве макроса или глобальной переменной с внешним "C" рычажным устройством.
24	Библиотечные функции `abortвыходgetenv` и `system` от библиотеки `<stdlib.h>` не буду использоваться.	`abortвыходgetenv` и `system` не должен использоваться в качестве макроса или глобальной переменной с внешним "C" рычажным устройством.
25	Функции обработки времени библиотеки `<time.h>` не буду использоваться.	`clock`, `difftime`, `mktime`, `asctime`, `ctime`, `gmtime`, `localtime` и `strftime` не должен использоваться в качестве макроса или глобальной переменной с внешним "C" рычажным устройством.

Предварительная обработка директив

N.	JSF ++ определение	Реализация Polyspace
26	Только следующие директивы препроцессору должны быть used: `#ifndefDefine` , `#endifВключение`.
27	`#ifndefDefine` и `#endif` будет использоваться, чтобы предотвратить несколько включений того же заголовочного файла. Другие методы, чтобы предотвратить несколько включений заголовочных файлов не будут использоваться.	Обнаруживает шаблоны `#if !defined`, `#pragma once`, `#ifdef`, и missing `#define`.
28	`#ifndef` и `#endif` директивы препроцессору будут только использоваться, как задано в Правиле 27 AV предотвратить несколько включений того же заголовочного файла.	Обнаруживает любое использование, которое не выполняет Правило 27 AV. Принятие 35/27 не нарушено, сообщает только `о #ifndef`.
29	`#define` директива препроцессору не должна использоваться, чтобы создать встроенные макросы. Подставляемые функции должны использоваться вместо этого.	Правило разделено в две части: определение макро-функции (29.def) и вызов макрофункции (29.use). Сообщения в файле отчета: 29.1: `#define` директива препроцессору не должна использоваться, чтобы создать встроенные макросы. 29.2: Подставляемые функции должны использоваться вместо встроенных макросов.
30	`#define` директива препроцессору не должна использоваться, чтобы задать постоянные значения. Вместо этого `const` спецификатор должен быть применен к объявлениям переменной, чтобы задать постоянные значения.	Отчеты `#define` из простых констант.
31	`#define` директива препроцессору будет только использоваться в качестве части метода, чтобы предотвратить несколько включений того же заголовочного файла.	Обнаруживает использование `#define` это не используется, чтобы охранять для нескольких включение, принимая, что правила 35 и 27 не нарушены.
32	`#include` директива препроцессору будет только использоваться, чтобы включать заголовок (*.h) файлы.

Заголовочные файлы

N.	JSF ++ определение	Реализация Polyspace
33	`#include` директива должна использовать `<filename.h>` обозначение, чтобы включать заголовочные файлы.
35	Заголовочный файл будет содержать механизм, который предотвращает несколько включений себя.
39	Заголовочные файлы (`.h`) не будет* содержать определения переменной неconst или функциональные определения.	Определения отчетов глобальных переменных / функционируют в заголовке.

Стиль

N.	JSF ++ определение	Реализация Polyspace
40	Каждый файл реализации должен включать заголовочные файлы, которые исключительно задают подставляемые функции, типы и используемые шаблоны.	Отчеты, когда тип, шаблон или подставляемая функция заданы в исходном файле. Средство поиска ошибки и Программа автоматического доказательства Кода проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.
41	Исходные линии будут сведены к продолжительности 120 символов или меньше.
42	Каждый оператор выражения будет на отдельной линии.	Отчеты, когда два последовательных оператора выражения находятся на той же линии (если операторы не являются частью макроопределения).
43	Вкладок нужно избежать.
44	Все добавления отступа будут по крайней мере двумя пробелами и будут сопоставимы в том же исходном файле.	Отчеты, когда добавление отступа оператора не является по крайней мере двумя пробелами больше, чем оператор, содержащий его. Не сообщает плохое добавление отступа между открытием фигурных скобок после того, если/еще,/в то время как, поскольку, и в то время как операторы. NB: в итоговом релизе это примет любое добавление отступа
46	Заданные пользователями идентификаторы (внутренний и внешний) не используют значение больше чем 64 символов.
47	Идентификаторы не начнутся с символа подчеркивания '`_`'.
48	Идентификаторы не будут отличаться: Только смесь случая Присутствие/отсутствие символа подчеркивания Обмен буквой 'O'; с номером '0' или буквой 'D' Обмен буквой 'я'; с номером '1' или буквой 'l' Обмен буквой 'S' с номером '5' Обмен буквой 'Z' с номером 2 Обмен буквой 'n' с буквой 'h'	Проверяемый независимо от осциллографа. Не проверяемый между макросами и другими идентификаторами. Сообщения в файле отчета: Идентификатор `Idf1` (`file1.cpp line l1 column c1`) и `Idf2` (`file2.cpp line l2 column c2`) только отличайтесь присутствием/отсутствием символа подчеркивания. Идентификатор `Idf1` (`file1.cpp line l1 column c1`) и `Idf2` (`file2.cpp line l2 column c2`) только отличайтесь смесью случая. Идентификатор `Idf1` (`file1.cpp line l1 column c1`) и `Idf2` (`file2.cpp line l2 column c2`) только отличайтесь по буквам `O`, с номером `0`.
50	Первое слово имени класса, структуры, пространства имен, перечисления или типа создается с `typedef` начнется с прописной буквы. Все буквы других будут нижним регистром.	Сообщения в файле отчета: Первое слово имени класса начнется с прописной буквы. Первое слово пространства имен класса начнется с прописной буквы. Средство поиска ошибки и Программа автоматического доказательства Кода проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.
51	Все буквы, содержавшиеся в функции и именах переменных, будут составлены полностью строчных букв.	Сообщения в файле отчета: Все буквы, содержавшиеся в именах переменных, будут составлены полностью строчных букв. Все буквы, содержавшиеся в именах функций, будут составлены полностью строчных букв.
52	Идентификаторы для постоянного и значений перечислителя должны быть нижним регистром.	Сообщения в файле отчета: Идентификатор для значения перечислителя должен быть нижним регистром. Идентификатор для шаблона постоянный параметр должен быть нижним регистром.
53	Заголовочные файлы будут всегда иметь расширение файла "`.h`".	`.H` позволен, если вы устанавливаете опцию `-dos`.
53.1	Следующие последовательности символов не должны появляться на имена заголовочного файла: `'`, `\`, `/*`, `//`, или `"`.
54	Файлы реализации будут всегда иметь расширение файла ".cpp".	Не чувствительный к регистру, если вы устанавливаете опцию `-dos`.
57	Общественность, защищенные, и частные разделы класса будут объявлены в том порядке.
58	При объявлении и определении функций больше чем двумя параметрами, ведущая круглая скобка и первый аргумент будут записаны на той же линии как имя функции. Каждый дополнительный аргумент будет записан на отдельной линии (с закрывающей скобкой непосредственно после последнего аргумента).	Обнаруживает, что два параметра не находятся на той же линии, первый параметр должен быть на той же линии как имя функции. Не проверяет на закрывающую скобку.
59	Операторы, формирующие тело, если, еще если, еще, в то время как, делают..., в то время как или для оператора буду всегда заключаться в фигурные скобки, даже если фигурные скобки формируют пустой блок.	Сообщения в файле отчета: Операторы, формирующие тело оператора if, должны всегда заключаться в фигурные скобки. Операторы еще, формирующие тело оператора, должны всегда заключаться в фигурные скобки. Операторы, формирующие тело некоторое время оператора, должны всегда заключаться в фигурные скобки. Операторы, формирующие орган по..., в то время как оператор должен всегда заключаться в фигурные скобки. Операторы, формирующие тело для оператора, должны всегда заключаться в фигурные скобки.
60	Фигурные скобки ("`{}`"), которые заключают блок, будет помещен в тот же столбец, на отдельных линиях непосредственно до и после блока.	Обнаруживает тот блок операторов, которым фигурные скобки должны быть в тех же столбцах.
61	Фигурные скобки ("`{}`"), которые заключают блок, не будет иметь ничего иного на линии кроме комментариев.
62	Разыменовать оператор '*' и операция вычисления адреса ‘&’ будет непосредственно соединен со спецификатором типа.	Отчеты, когда существует пробел между типом и "*" "&" для переменных, параметров и полевого объявления.
63	Пробелы не будут использоваться вокруг'.' или ‘->’, ни между унарными операторами и операндами.	Отчеты, когда следующие символы непосредственно не соединяются с пробелом: . -> ! ~ - ++ — Обратите внимание на то, что о нарушении сообщат для“.” используемого в определении плавающем/двойном.

Классы

N.	JSF ++ определение	Реализация Polyspace
67	Общедоступные и защищенные данные должны только использоваться в структурах - не классы.
68	Ненужные неявно сгенерированные функции членства должны быть явным образом запрещены.	Отчеты, когда конструктор по умолчанию, оператор присваивания, конструктор копии или деструктор не объявляются.
71.1	Виртуальные функции класса не должны быть вызваны от его деструктора или любого из его конструкторов.	Отчеты, когда конструктор или деструктор непосредственно вызывают виртуальную функцию.
74	Инициализация нестатических членов класса будет выполняться через список инициализаций члена, а не через присвоение в теле конструктора.	Все данные должны быть инициализированы в списке инициализаций за исключением массива. Не сообщает, что присвоение существует в `ctor` тело. Сообщение в файле отчета: Инициализация нестатических членов класса "`<field>`"будет выполняться через список инициализаций члена.
75	Члены списка инициализаций должны быть перечислены в порядке, в котором они объявляются в классе.
76	Конструктор копии и оператор присваивания должны быть объявлены для классов, которые содержат указатели на элементы данных или нетривиальные деструкторы.	Сообщения в файле отчета: `no copy constructor and no copy assign` `no copy constructor` `no copy assign` Средство поиска ошибки и Программа автоматического доказательства Кода проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.
77.1	Определение функции членства не должно содержать параметры по умолчанию, которые производят подпись, идентичную тому из неявно объявленного конструктора копии для соответствующего класса/структуры.	Не сообщает, когда явный конструктор копии существует.
78	Все базовые классы с виртуальной функцией должны задать виртуальный деструктор.
79	Все средства, полученные классом, должны быть высвобождены деструктором класса.	Отчеты, когда количество “новых”, названных в конструкторе, больше количества, “удаляют” названный в его деструкторе. Примечание Нарушение повышено, даже если “новый” выполнен “если/еще”.
81	Оператор присваивания должен обработать самоприсвоение правильно	Отчеты, когда тело присвоения копии не начинается “`с if (this != arg)`” Нарушение не повышено если пустой `else` оператор следует `за if`, или тело содержит только оператор возврата. Нарушение повышено когда `if` оператор сопровождается оператором кроме оператора возврата.
82	Оператор присваивания должен возвратить ссылку на `*this`.	Следующие операторы должны возвратить `this` на методе и `first_arg` на простой функции: `operator=` `operator+=` `operator-=` `operator=` `operator >>=` `operator <<=` `operator /=` `operator %=` `operator \|=` `operator &=` `operator ^=` Префиксный `operator++` Префиксный `operator--` Не сообщает, когда никакие не возвращаются, существует. Никакое специальное сообщение, если тип не соответствует. Сообщения в файле отчета: Оператор присваивания должен возвратить ссылку на `this`. Оператор присваивания должен возвратить ссылку на свой первый аргумент.
83	Оператор присваивания должен присвоить все элементы данных и основы, которые влияют на инвариант класса (элемент данных, представляющий кэш, например, не должен был бы быть скопирован).	Отчеты, когда присвоение копии не присваивает все элементы данных. В производном классе это также сообщает, когда присвоение копии не вызывает наследованные присвоения копии.
88	Множественное наследование должно только быть позволено в следующей ограниченной форме: `n` интерфейсы плюс `m` частные реализации, плюс самое большее одна защищенная реализация.	Сообщения в файле отчета: Множественное наследование на общедоступной реализации не должно быть позволено: `<public_base_class>` не интерфейс. Множественное наследование на защищенной реализации не должно быть позволено: `<protected_base_class_1>`. `<protected_base_class_2>` не интерфейсы.
88.1	Виртуальная основа с сохранением информации должна быть явным образом объявлена в каждом производном классе, который получает доступ к ней.
89	Базовый класс не должен быть и виртуальным и невиртуальным в той же иерархии.
94	Наследованная невиртуальная функция не должна быть переопределена в производном классе.	Не сообщает для деструктора. Сообщение в файле отчета: Наследованный невиртуальный функциональный `%s` не буду переопределен в производном классе.
95	Наследованный параметр по умолчанию никогда не должен переопределяться.
96	Массивы не должны быть обработаны полиморфно.	Адресная арифметика с указателями отчетов и массив как доступ по выражениям, резкий тип которых используется в качестве базового класса.
97	Массивы не должны использоваться в интерфейсе.	Только предотвратить массив к затуханию указателя. Не проверенные закрытые методы
97.1	Никакой операнд оператора равенства (`==` или `!=`) будет указатель на виртуальную функцию членства.	Отчеты `==` и `!=` на указателе на функцию членства полиморфных классов (не может определить статически, если это является виртуальным или не), кроме тех случаев, когда один аргумент является пустой константой.

Пространства имен

N.	JSF ++ определение	Реализация Polyspace
98	Каждое нелокальное имя, кроме `main()`, должен быть помещен в некоторое пространство имен.	Средство поиска ошибки и Программа автоматического доказательства Кода проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.
99	Пространства имен не будут вложены больше чем два уровня глубоко.

Шаблоны

N.	JSF ++ определение	Реализация Polyspace
104	Специализация шаблона должна быть объявлена перед ее использованием.	Сообщает фактическое сообщение ошибки компиляции.

Функции

N.	JSF ++ определение	Реализация Polyspace
107	Функции должны всегда объявляться в осциллографе файла.
108	Функции с переменными количествами аргументов не должны использоваться.
109	Функциональное определение не должно быть помещено в спецификацию класса, если функция не предназначается, чтобы быть встроенной.	Отчеты, когда "встроенный" не находятся в определении функции членства в определении класса.
110	Функции больше чем с 7 аргументами не будут использоваться.
111	Функция не должна возвращать указатель или ссылку на нестатический локальный объект.	Обнаруживаются простые случаи без эффекта псевдонима.
113	Функции будут иметь одну точку выхода.	Отчеты сначала возвращаются, или однажды на функцию.
114	Все точки выхода возвращающих значение функций должны быть через операторы возврата.
116	Небольшие, конкретные аргументы типа (два или три слова в размере) должны быть переданы значением, если изменения, внесенные в формальные параметры, не должны быть отражены в функции вызова.	Сообщите о постоянных ссылках параметров с `sizeof <= 2 * sizeof(int)`. Не сообщает для конструктора копии.
119	Функции не должны вызывать себя, ни один прямо или косвенно (т.е. рекурсия не должна быть позволена).	Средство проверки сообщает о каждой функции, которая вызывает себя, прямо или косвенно. Даже если несколько функций вовлечены в один цикл рекурсии, о каждой функции индивидуально сообщают. Можно вычислить общее количество циклов рекурсии с помощью метрики сложности кода `Number of Recursions`. Обратите внимание на то, что различающийся средство проверки, метрика также рассматривает неявные вызовы, например, сгенерированным компилятором конструкторам во время создания объекта.
121	Только функции с 1 или 2 операторами должны быть рассмотрены кандидатами на подставляемые функции.	Подставляемые функции отчетов больше чем с 2 операторами.

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

N.	JSF ++ определение	Реализация Polyspace
126	Только допустимый C++ разрабатывает комментарии (`//`) буду использоваться.
133	Каждый исходный файл будет зарегистрирован с вводным комментарием, который предоставляет информацию об имени файла, его содержимом и любой требуемой от программы информации (например, легальные операторы, информация об авторском праве, и т.д.).	Отчеты, когда файл не начинается с двух строк с комментариями. Примечание: Это правило не может быть аннотировано в исходном коде.

Отчеты, когда файл не начинается с двух строк с комментариями.

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

Объявления и определения

N.	JSF ++ определение	Реализация Polyspace
135	Идентификаторы во внутреннем осциллографе не должны использовать то же имя в качестве идентификатора во внешнем осциллографе, и поэтому скрыть тот идентификатор.	Средство поиска ошибки и Программа автоматического доказательства Кода проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.
136	Объявления должны быть в самом маленьком выполнимом осциллографе.	Отчеты, когда: Глобальная переменная используется только в одной функции. Локальная переменная не используется в операторе (`exprвозврат`, `init` …) того же уровня его объявления (в том же блоке) или не используется в двух подоператорах его объявления. Примечание Сообщают о неиспользуемых переменных. Инициализации в определении проигнорированы (не рассмотренный доступом)
137	Все объявления в осциллографе файла должны быть статическими, если это возможно.
138	Идентификаторы не должны одновременно иметь и внутреннего и внешнего рычажного устройства в том же модуле перевода.
139	Внешние объекты не будут объявлены больше чем в одном файле.	Отчеты все двойные объявления в модуле перевода. Отчеты, когда локализация объявления не является тем же самым во всех модулях перевода.
140	Спецификатор класса памяти регистра не должен использоваться.
141	Класс, структура или перечисление не будут объявлены в определении его типа.

Инициализация

N.	JSF ++ определение	Реализация Polyspace
142	Все переменные должны быть инициализированы перед использованием.	Сделанный с Неинициализированной переменной регистрируется в программном обеспечении.
144	Фигурные скобки должны использоваться, чтобы указать и совпадать со структурой в ненулевой инициализации массивов и структурами.	Это покрывает частичную инициализацию.
145	В списке перечислителей, '`=`'построение не должно использоваться, чтобы явным образом инициализировать члены кроме первого, если все элементы не будут явным образом инициализированы.	Генерирует один отчет для списка перечислителей.

Типы

N.	JSF ++ определение	Реализация Polyspace
147	Базовые битные представления чисел с плавающей точкой не должны использоваться ни в каком случае программистом.	Отчеты относительно бросков с указателями плавающими (кроме с `void*`).
148	Перечисляемые типы должны использоваться вместо целочисленных типов (и константы), чтобы выбрать из ограниченного ряда выбора.	Отчеты, когда не перечисляемые типы используются в переключателях.

Константы

N.	JSF ++ определение	Реализация Polyspace
149	Восьмеричные константы (кроме нуля) не должны использоваться.
150	Шестнадцатеричные константы будут представлены с помощью всех прописных букв.
151	Числовые значения в коде не будут использоваться; символьные значения будут использоваться вместо этого.	Отчеты прямые числовые константы (кроме целочисленного/плавающего значения `1, 0`) в выражениях, не `-const` инициализации. и переключите случаи. символьные константы позволены. Не сообщает относительно параметра нетипа шаблонов. Средство поиска ошибки и Программа автоматического доказательства Кода проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.
151.1	Строковый литерал не должен быть изменен.	Средство проверки правила отмечает присвоение строковых литералов к: Указатели кроме указателей на `const` объекты. Массивы, которые не являются `const`- квалифицированный.

Переменные

N.	JSF ++ определение	Реализация Polyspace
152	Несколько объявлений переменной не должны быть позволены на той же линии.	Отчеты, когда два последовательных оператора объявления находятся на той же линии (если операторы не являются частью макроопределения).

Объединения и битовые поля

N.	JSF ++ определение	Реализация Polyspace
153	Объединения не должны использоваться.
154	Битовые поля должны иметь явным образом интеграл без знака или перечисляемые типы только.
156	Все члены структуры (или класс) нужно назвать и нужно только получить доступ через их имена.	Сообщают битовые поля без имени (поля без имени не позволены).

Операторы

N.	JSF ++ определение	Реализация Polyspace
157	Правый операнд `&&` или `\|\|` оператор не должен содержать побочные эффекты.	Принимает, что правило 159 не нарушено. Сообщения в файле отчета: Правый операнд `&&` оператор не должен содержать побочные эффекты. Правый операнд `\|\|` оператор не должен содержать побочные эффекты.
158	Операнды логического `&&` или `\|\|` буду заключен в скобки, если операнды будут содержать бинарных операторов.	Сообщения в файле отчета: Операнды логического `&&` буду заключен в скобки, если операнды будут содержать бинарных операторов. Операнды логического `\|\|` буду заключен в скобки, если операнды будут содержать бинарных операторов. Исключение для: `X \|\| Y \|\| Z` , `Z&&Y &&Z`
159	Операторы `\|\|`, `&&`, и унарный `&` не буду перегружен.	Сообщения в файле отчета: Унарный оператор & не должен быть перегружен. Оператор `\|\|` не буду перегружен. `Оператор` не буду перегружен.
160	Выражение присваивания должно использоваться только в качестве выражения в операторе выражения.	Только простое присвоение, не `+=`, `++`, и т.д.
162	Подписанные и значения без знака не должны быть смешаны в операциях сравнения или арифметике.
163	Арифметика без знака не должна использоваться.
164	Правый операнд оператора сдвига должен находиться между нулем и меньше, чем ширина в битах левого операнда (включительно).
164.1	Левый операнд оператора сдвига вправо не должен иметь отрицательной величины.	Обнаруживает постоянный случай `+`. Найденный программным обеспечением для динамических случаев.
165	Оператор унарный минус не должен быть применен к выражению без знака.
166	`sizeof` оператор не будет использоваться по выражениям, которые содержат побочные эффекты.
168	Оператор запятой не должен использоваться.

Указатели и ссылки

N.	JSF ++ определение	Реализация Polyspace
169	Указателей на указатели нужно избежать, если это возможно.	Сообщают указатели второго уровня, за исключением аргументов основного.
170	Больше чем 2 уровня косвенности указателя не должны использоваться.	Только отчеты относительно переменных/параметров.
171	Операторы отношения не должны быть применены к типам указателей кроме того, где оба операнда имеют тот же тип и указывают на: тот же объект, та же функция, члены того же объекта, или элементы того же массива (включая одно прошлое конец того же массива).	Отчеты, когда оператор отношения используются на типах указателей (проигнорированные броски).
173	Адрес объекта с автоматическим хранением не должен быть присвоен объекту, который сохраняется после того, как объект прекратил существование.
174	Нулевой указатель не должен быть разыменован.	Сделанный с регистрациями программного обеспечения.
175	Указатель не должен сравниваться `с NULL` или быть присвоенным `NULL`; используйте плоскость `0` вместо этого.	Использование отчетов `NULL` макрос в контекстах указателя.
176	`typedef` будет использоваться, чтобы упростить синтаксис программы при объявлении указателей функции.	Отчеты non-`typedef` указатели функции или указатели на функции членства для типов переменных, полей, параметров. Возвращает тип функции, броска и спецификации исключения.

Преобразования типов

N.	JSF ++ определение	Реализация Polyspace
177	Нужно избежать пользовательских функций преобразования.	Сообщают определяемая пользователем функция преобразования, неявный конструктор одним параметром или значением по умолчанию для других (даже неопределенные единицы). Не сообщает конструктор копии. Дополнительное сообщение для случая конструктора: Этот конструктор должен быть отмечен как "явный".
178	Вниз кастинг (бросающий от основы до производного класса) должен только быть позволен через один из следующего механизма: Виртуальные функции, которые действуют как динамические броски (скорее всего, полезный в относительно простых случаях). Использование посетителя (или подобный) шаблон (скорее всего, полезный в сложных случаях).	Отчеты, явные вниз кастинг, dynamic_cast включенный. (Скороговорка посетителя не имеет особого случая.)
179	Указатель на виртуальный базовый класс не должен быть преобразован в указатель на производный класс.	Отчеты это конкретное вниз бросок. Позволяет dynamic_cast.
180	Неявные преобразования, которые могут привести к потере информации, не должны использоваться.	Сообщают следующие неявные составы исполнителей: `integer => smaller integer unsigned => smaller or eq signed signed => smaller or eq un-signed integer => float float => integer` Не сообщает для броска `bool` отчеты для неявного броска на константе, сделанной с опцией `-scalar-overflows-checks signed-and-unsigned` Средство поиска ошибки и Программа автоматического доказательства Кода проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.
181	Избыточные явные броски не будут использоваться.	Отчеты бесполезный бросок: `cast T to T`. Броски к эквивалентному `typedefs` также сообщаются.
182	Преобразование типа от любого типа до или от указателей не должно использоваться.	Не сообщает, когда Правило 181 применяется.
184	Числа с плавающей точкой не должны быть преобразованы в целые числа, если такое преобразование не будет заданным алгоритмическим требованием или необходимо для аппаратного интерфейса.	Отчеты `float->int` преобразования. Не сообщают неявные единицы.
185	Броски стиля C++ (`const_cast`, `reinterpret_cast`, и `static_cast`) буду использоваться вместо традиционных бросков C-стиля.

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

N.	JSF ++ определение	Реализация Polyspace
186	Не должно быть никакого недостижимого кода.	Сделанный с серыми регистрациями программного обеспечения. Средство поиска ошибки и Программа автоматического доказательства Кода проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.
187	Все непустые операторы должны потенциально иметь побочный эффект.
188	Метки не будут использоваться, кроме операторов switch.
189	`goto` оператор не должен использоваться.
190	`continue` оператор не должен использоваться.
191	`break` оператор не должен использоваться (кроме отключить случаи оператора switch).
192	Весь `if`, `else if` построения будут содержать любого итоговый `else` пункт или комментарий, указывающий, почему итоговый `else` пункт не необходим.	`else if` должен содержать `else` пункт.
193	Каждый непустой `case` пункт в операторе switch должен быть отключен с `break` оператор.
194	Весь `switch` операторы, которые не намереваются протестировать на каждую перечислимую величину, должны содержать итоговый `default` пункт.	Отчеты только для пропавших без вести `default`.
195	`switch` выражение не будет представлять булево значение.
196	Каждый `switch` оператор будет иметь по крайней мере два случая и потенциальный `default`.
197	Переменные с плавающей точкой не должны использоваться в качестве счетчиков цикла.	Принимает 1 параметр цикла.
198	Выражение инициализации в `for` цикл не выполнит действий кроме инициализировать значение одного `for` параметр цикла.	Отчеты, если `loop` параметр не может быть определен. Принимает, что Правило 200 не нарушено. `loop variable` параметр принят, чтобы быть переменной.
199	Инкрементное выражение в `for` цикл не выполнит действия кроме изменить один параметр цикла в следующее значение для цикла.	Принимает 1 параметр цикла (Правило 198), с не тип класса. Правило 200 не должно быть нарушено для этого правила, о котором сообщат.
200	Пустой указатель инициализирует или постепенно увеличивает выражения в `for` циклы не будут использоваться; `while` цикл будет использоваться вместо этого.
201	Числовые переменные, используемые в цикле for в подсчете итерации, не должны быть изменены в теле цикла.	Принимает 1 параметр цикла (правило 198 AV), и никакие записи псевдонима.

Выражения

N.	JSF ++ определение	Реализация Polyspace
202	Переменные с плавающей точкой не должны быть протестированы на точное равенство или неравенство.	Отчеты только прямое равенство/неравенство. Проверяйте сделанный на все выражения.
203	Оценка выражений не должна вести, чтобы переполниться/недостаточно заполнить.	Сделанный с переполнением регистрируется в программном обеспечении.
204	Одна операция с побочными эффектами должна только использоваться в следующих контекстах: отдельно правая сторона присвоения условие единственное выражение аргумента с побочным эффектом в вызове функции условие цикла переключите условие одна часть цепочечной операции	Отчеты, когда: Побочный эффект найден в операторе возврата Побочный эффект существует на одном значении, и только один операнд вызова функции имеет побочный эффект.
204.1	Значение выражения должно быть тем же самым согласно любому порядку оценки, которую разрешает стандарт.	Отчеты, когда: Переменная записана несколько раз в выражении Переменная читается и запись в подвыражениях К энергозависимой переменной получают доступ несколько раз Примечание Операции чтения-записи такой как ++, только рассматриваются как запись.
205	Энергозависимое ключевое слово не должно использоваться если непосредственно взаимодействие через интерфейс с оборудованием.	Отчеты, если энергозависимое ключевое слово используется.

Выделение памяти

N.	JSF ++ определение	Реализация Polyspace
206	Выделение/освобождение из/в свободное хранилище (куча) не должно происходить после инициализации.	Отчеты вызывают к библиотечным функциям C: `malloc` / `calloc` / `realloc` / `free` и весь `new/delete` операторы в функциях или методах.

Обработка отказа

N.	JSF ++ определение	Реализация Polyspace
208	Исключения C++ не должны использоваться.	Отчеты `try`, `catch`, `throw spec`, и `throw`.

Портативный код

N. JSF ++ определение Реализация Polyspace

209

N.	JSF ++ определение	Реализация Polyspace
209	Основные типы `int`, `short`, `long`, `float` и `double` не буду использоваться, но эквивалентами определенной длины должен быть `typedef`'d соответственно для каждого компилятора и этих имен типов используется в коде.	Только позволяет использование основных типов через прямой `typedefs`.
213	Никакая зависимость не должна быть помещена в правила приоритета оператора C++, ниже арифметических операторов, в выражениях.	Отчеты, когда бинарная операция имеет один операнд, который не заключается в скобки и является операцией с нижним уровнем приоритета. Отчеты поразрядно и операторы сдвигов, которые используются без аргументов бинарной операции и круглой скобки.
215	Адресная арифметика с указателями не будет использоваться.	Reports:`p + Ip - Ip++p--p+=p-=` Позволяет `p[i]`.

Основные типы int, short, long, float и double не буду использоваться, но эквивалентами определенной длины должен быть typedef'd соответственно для каждого компилятора и этих имен типов используется в коде.

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

213

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

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

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

215

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

Reports:p + Ip - Ip++p--p+=p-=

Позволяет p[i].

Неподдерживаемый JSF ++ правила

Размер кода и сложность
Правила
Среда
Библиотеки
Заголовочные файлы
Стиль
Классы
Пространства имен
Шаблоны
Функции
Комментарии
Инициализация
Типы
Объединения и битовые поля
Операторы
Преобразования типов
Выражения
Выделение памяти
Портативный код
Факторы КПД
Разное
Тестирование