What is the difference between the findings category NIV and NIVL in PolySpace for Ada?

The PolySpace for Ada Reference manual states that there are the finding categories NIV and NIVL. From the explanation in this document one assumes that there is no difference between NIV and NIVL. This is because the manual does not mention anything about any differences.

However, in the analysis results file, PolySpace differentiates between findings of category NIV and of category NIVL.

Can someone please explain what the differences between NIV and NIVL are?

Cheers!

Answer 1

[Alexandre De Barros]

Hi Andreas !

The documentation of the current version (R2015a) explains the difference between the twos:

• NIVL stands for "Non-Initialized Local Variable":

http://www.mathworks.com/help/polyspace_ada/ada_ref/non-initialized-variable-nivnivl.html

• NIV is for variables other than local ones:

http://www.mathworks.com/help/polyspace_ada/ada_ref/non-initialized-variable.html

Best regards,

Alexandre

[Andreas Schweiger]

Hi Alexandre,

Thank you very much for this quick and very helpful answer. :-)

Cheers Andreas

[Alexandre De Barros]

Hi Andreas !

Great !

Don't forget to set the answer as "accepted" so other people can see that the question has been solved and is considered as closed.

Vielen Dank ! :)

Best regards,

Alexandre