PolySpace™ UML Link™ RH (for Telelogic® Rhapsody®) 5.1

Product Description

• Introduction and Key Features
• Working with PolySpace UML Link RH
• Typical Run-Time Errors Detected

Typical Run-Time Errors Detected

In Models

• Overflows and underflows
• Division by zero and other arithmetic errors
• Out-of-bounds array access
• Dead code

In Code

• Illegally dereferenced pointers
• Read-only access to noninitialized data
• Dangerous type conversions
• Access to null this pointer (C++)
• Dynamic errors related to object programming and inheritance (C++)
• Errors related to exception handling (C++)
• Noninitialized class members (C++)