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

3 次查看（过去 30 天）

显示更早的评论

Andreas Schweiger 2015-7-16

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/230050-what-is-the-difference-between-the-findings-category-niv-and-nivl-in-polyspace-for-ada

评论： Alexandre De Barros 2015-7-17

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!

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

请先登录，再回答此问题。

回答（1 个）

Alexandre De Barros 2015-7-16

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/230050-what-is-the-difference-between-the-findings-category-niv-and-nivl-in-polyspace-for-ada#answer_186259

编辑：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":

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

2 个评论
显示无隐藏无

Andreas Schweiger 2015-7-17

Hi Alexandre,

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

Cheers Andreas

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

请先登录，再进行评论。

请先登录，再回答此问题。

类别

Code Verification Polyspace Products for Ada Troubleshooting in Polyspace Products for Ada

在 Help Center 和 File Exchange 中查找有关 Troubleshooting in Polyspace Products for Ada 的更多信息

标签

产品

Community Treasure Hunt

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

Translated by