PolySpace Client for Ada 5.2

Product Description

• Introduction and Key Features
• Working with PolySpace Client for Ada
• Verifying Program Dynamics
• Typical Run-Time Errors Detected

Typical Run-Time Errors Detected

• Overflows and underflows
• Division by zero and other arithmetic errors
• Out-of-bounds array access
• Read-only access to noninitialized data
• Dangerous type conversions
• Dead code