Проверки C++

Проверяет характерный для Кода С++

Результаты Polyspace

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

Темы

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

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

Рассмотрите и зафиксируйте проверки неперехваченного исключения

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

Рассмотрите и зафиксируйте функцию не возвращение чеков значения

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

Рассмотрите и зафиксируйте пустые проверки вызывающего метода этого-указателя

Займитесь расследованиями, почему указателем на текущий объект может быть NULL- ценный.

Рассмотрите и зафиксируйте неправильные проверки объектно-ориентированного программирования

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