PolySpace Client for C/C++ 7.1

Errors Detected

• Overflows, underflows, division by zero, and other arithmetic errors
• Out-of-bounds array access and illegally dereferenced pointers
• Read access to noninitialized data
• Dead code
• Access to null this pointer (C++)
• Dynamic errors related to object programming, inheritance, and exception handling (C++)
• Noninitialized class members (C++)
• Other errors, including dangerous type conversions