Хорошие дефекты практики

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

Результаты Polyspace

Ambiguous declaration syntaxСинтаксис объявления может быть интерпретирован как объектное объявление или часть объявления функции
Bitwise and arithmetic operation on the same dataОператор со смешанными битовыми и арифметическими операциями
C++ reference to const-qualified type with subsequent modificationСсылка на квалифицированный к const тип впоследствии изменяется
C++ reference type qualified with const or volatileСсылочный тип объявляется с избыточным const или энергозависимым спецификатором
Delete of void pointerудалите работает с пустотой* указатель, указывающий на объект
Hard-coded buffer sizeРазмер буфера памяти является численным значением вместо символьной константы
Hard-coded loop boundaryКонтур цикла является численным значением вместо символьной константы
Hard-coded object size used to manipulate memoryМанипуляция с памятью с трудно закодированным размером вместо sizeof
Incorrect syntax of flexible array member sizeУчастник массива с переменными границами задал с нулевым размером или один
Large pass-by-value argumentБольшой аргумент передается значением между функциями
Line with more than one statementНесколько операторов на строке
Missing break of switch caseНикакие комментарии в конце случая переключателя без оператора завершения
Missing overload of allocation or deallocation functionТолько одна функция в паре функции освобождения выделения перегружается
Missing reset of a freed pointerУказатель, свободный не сопровождаемый оператором сброса, чтобы очистить оставшиеся данные
Unused parameterПрототип функции имеет параметры не чтение или написанный в теле функции
Use of setjmp/longjmpsetjmp и longjmp вызывают отклонение от нормального потока управления

Темы

Группы дефекта средства поиска ошибки

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