exponenta event banner

Проверки C++

Проверки, относящиеся к коду 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Исключение распространяется незаметно на main или другая функция точки входа

Темы

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

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

Проверка и исправление неподтвержденных проверок особых ситуаций

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

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

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

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

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

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

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