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

조회 수: 3 (최근 30일)
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!

답변 (1개)

Alexandre De Barros
Alexandre De Barros 2015년 7월 16일
편집: Alexandre De Barros 2015년 7월 16일
Hi Andreas !
The documentation of the current version (R2015a) explains the difference between the twos:
  • NIVL stands for "Non-Initialized Local Variable":
  • NIV is for variables other than local ones:
Best regards,
Alexandre
  댓글 수: 2
Andreas Schweiger
Andreas Schweiger 2015년 7월 17일
Hi Alexandre,
Thank you very much for this quick and very helpful answer. :-)
Cheers Andreas
Alexandre De Barros
Alexandre De Barros 2015년 7월 17일
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

댓글을 달려면 로그인하십시오.

카테고리

Help CenterFile Exchange에서 Troubleshooting in Polyspace Products for Ada에 대해 자세히 알아보기

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by