Polyspace Client for Ada

Detect Specific Run-Time Errors in Ada Code

Polyspace Client for Ada uses color-coding to indicate the status of each element in the code, as follows:

Green: proven free of run-time errors
Red: proven faulty each time the operation is executed
Gray: proven unreachable (may indicate a functional issue)
Orange: unproven

Errors detected include:

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