C++ Checks

Checks specific to C++ code

C++-specific checks in Polyspace^® Code Prover™ check for run-time errors that originate from C++-specific paradigms such as object oriented programming and exception handling. Most of these errors cannot occur in C code.

Polyspace Results

`Incorrect object oriented programming`	Dynamic type of `this` pointer is incorrect
`Invalid C++ specific operations`	C++ specific invalid operations occur
`Function not returning value`	C++ function does not return value when expected
`Null this-pointer calling method`	`this` pointer is null during member function call
`Uncaught exception`	Exception propagates uncaught to the `main` or another entry-point function

Topics

Review and Fix Invalid C++ Specific Operations Checks
Determine root cause of nonpositive array size or incorrect usage of typeid or dynamic_cast operator.
Review and Fix Uncaught Exception Checks
Investigate how an exception can escape uncaught from the function where it is thrown.
Review and Fix Function Not Returning Value Checks
Identify paths through your function body that do not end in a return statement.
Review and Fix Null This-pointer Calling Method Checks
Investigate why the pointer to the current object can be NULL-valued.
Review and Fix Incorrect Object Oriented Programming Checks
Investigate why a certain virtual member call or this pointer usage represents an incorrect pattern of object oriented programming.