Объектно-ориентированные дефекты

Дефекты, связанные с объектно-ориентированным программированием C++, такие как проблемы проекта класса или проблемы в иерархии наследования

Результаты Polyspace

*this not returned in copy assignment operatorоператор = метод не возвращает указатель на текущий объект
Base class assignment operator not calledОператор присваивания копии не вызывает операторы присваивания копии основных подобъектов
Base class destructor not virtualКласс не может вести себя полиморфно для удаления объектов производного класса
Bytewise operations on nontrivial class objectПредставления значения могут быть неправильно инициализированы или сравнены
Conversion or deletion of incomplete class pointerВы удаляете или бросаете к указателю на неполный класс
Copy constructor or assignment operator modifying source operandОперация копии изменяет элемент данных исходного объекта
Copy constructor not called in initialization listКонструктор копии не вызывает конструкторов копии некоторых участников или базовых классов
Incompatible types prevent overridingМетод производного класса скрывает виртуальный метод базового класса вместо того, чтобы заменить его
Lambda used as decltype or typeid operanddecltype или идентификатор типа используются на лямбда-выражении
Member not initialized in constructorКонструктор не инициализирует некоторых членов класса
Missing explicit keywordКонструктор, пропускающий явный спецификатор
Missing virtual inheritanceБазовый класс наследован фактически и нефактически в той же иерархии
Object slicingОбъект производного класса, переданный значением, чтобы функционировать параметром базового класса
Operator new not overloaded for possibly overaligned classВыделенное устройство хранения данных может быть меньшего размера, чем объектное требование выравнивания
Partial override of overloaded virtual functionsКласс заменяет часть наследованных виртуальных функций с именем
Return of non const handle to encapsulated data memberМетод возвращает указатель или ссылку на внутреннего члена объекта
Self assignment not tested in operatorОператор присваивания копии не тестирует на самоприсвоение

Темы

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

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