How can I reduce the number of orange warnings in my Ada verification when using Polyspace Client for Ada?

When I ran the PolySpace verification for my code with precision 2, PolySpace found 800 orange warnings in my application. I then ran the verification for the same code with precision 3, hoping to reduce the number of orange warnings, but I found exactly the same number of orange warnings.

Answer 1

[MathWorks Support Team]

The number of orange warnings depends strongly on the code. Here are a few coding suggestions to reduce the number of orange warnings:

- Initialize variables at declaration time

- Use constrained types (subtypes and not standard types)

- Minimize use of "use at" clauses

- Minimize use of address

- Minimize use of unchecked_conversion

- Minimize use of big and complex types (such as record of record and array of record)

- Minimize use of volatile variables

- Use operator "<" or ">" in conditions instead of "/="