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

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

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

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

N.	Определение JSF^® ++	Polyspace^® Specification
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`, `exit`, `getenv` и `system` от библиотеки `<stdlib.h>` не должны использоваться.	`abort`, `exit`, `getenv` и `system` не должны использоваться в качестве макроса или глобальной переменной с внешней "C" связью.
25	Функции обработки времени библиотеки `<time.h>` не должны использоваться.	`clock`, `difftime`, `mktime`, `asctime`, `ctime`, `gmtime`, `localtime` и `strftime` не должны использоваться в качестве макроса или глобальной переменной с внешней "C" связью.

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

N.	JSF ++ определение	Спецификация Polyspace
26	Только следующие директивы препроцессору должны быть used: `#ifndef`, `#define`, `#endif`, `#include`.
27	`#ifndef`, `#define` и `#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 ^=` `prefix operator++` `prefix 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	Функции не должны вызывать себя, ни один прямо или косвенно (т.е. рекурсия не должна быть позволена).	О прямой рекурсии сообщают статически. О косвенной рекурсии сообщают через программное обеспечение. Сообщение в файле отчета: Функциональный `<F>` не должен вызывать непосредственно себя.
121	Только функции с 1 или 2 операторами должны быть рассмотрены кандидатами на подставляемые функции.	Подставляемые функции отчетов больше чем с 2 операторами.

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

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

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

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

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

N.	JSF ++ определение	Спецификация Polyspace
135	Идентификаторы во внутреннем осциллографе не должны использовать то же имя в качестве идентификатора во внешнем осциллографе, и поэтому скрыть тот идентификатор.	Средство поиска ошибки и Программа автоматического доказательства Кода проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.
136	Объявления должны быть в самом маленьком выполнимом осциллографе.	Отчеты, когда: Глобальная переменная используется только в одной функции. Локальная переменная не используется в операторе (`expr`, `return`, `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	Строковый литерал не должен быть изменен.	Сообщите, когда `char*`, `char[]` или тип `string` будут использоваться не в качестве `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 ++ правила

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