Проверки C++

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

Результаты Polyspace

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

Темы

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

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

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

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

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

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

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

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

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

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