Проверки C++

Проверки, относящиеся к Коду С++

Результаты Polyspace

Incorrect object oriented programmingДинамический тип this указатель неправильный
Invalid C++ specific operationsВыполняются определенные недопустимые операции C++
Function not returning valueФункция C++ не возвращает значение, когда ожидалось
Null this-pointer calling methodthis во время вызова представителя функции указатель имеет значение NULL
Uncaught exceptionИсключение распространяет uncault на main или другая функция точки входа

Темы

Просмотр и исправление недопустимых проверок конкретных операций C++

Определите первопричину непозитивного размера массива или неправильного использования typeid или dynamic_cast оператор.

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

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

Проверьте и исправьте функцию, не возвращающую проверки значений

Идентифицируйте пути через тело функции, которые не заканчиваются return оператор.

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

Исследуйте, почему можно NULL указатель на текущий объект-значен.

Просмотрите и исправьте неправильные объекты программирования

Исследуйте, почему определенный virtual вызов или this представителя использование указателя представляет неправильный шаблон объекта ориентированного программирования.