Polyspace code prover results are half analysed

2018 9 21
1 个回答
回答已采纳
更新时间：2018 10 5
8 次查看（30 天）

0 个投票

Hi ,
My polyspace code prover result is not analysed well enough, since most of the functions go to grey code, and further more i found no Red/Green passes either.
My other projects seem to well analysed, but this one even with the same configuration isn't.
Can i get some pointers regarding this .

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

 采纳的回答

Anirban
Anirban 2018-10-4

0 个投票

Do you mean code that is colored grey indicating unreachable code or code that is simply not analyzed (no colors)?
In either case, if most of your code is not analyzed, it typically means you have an issue quite high up in the function call hierarchy in your program. For instance, you can have an infinite loop in the main function and most function calls occur after the infinite loop. In this case, all those function bodies will not analyzed. There can be many other reasons why code is not analyzed by Code Prover. See the documentation about reasons for unchecked code .
For more help with your specific case, you might want to contact MathWorks Technical Support.

1 个评论
显示 -1更早的评论 隐藏 -1更早的评论

Abhilash Hegde
Abhilash Hegde 2018-10-5
Hey,
Thanks for your reply,
Upon tracing the function call hierarchy in the main function, i found out that the main function has calls whose body is empty(code yet to be written). Hence, i went with the approach of Polyspace Main generation method, which can cover all the function calls provided by the module.

请先登录，再进行评论。

更多回答（0 个）

类别

在 帮助中心 和 File Exchange 中查找有关 Polyspace Bug Finder 的更多信息

产品

版本

R2018a

标签

Community Treasure Hunt

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

Start Hunting!

Translated by