Polyspace Model Link TL

for dSPACE TargetLink

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