Polyspace code prover results are half analysed
3 Ansichten (letzte 30 Tage)
Ältere Kommentare anzeigen
Abhilash Hegde
am 21 Sep. 2018
Kommentiert: Abhilash Hegde
am 5 Okt. 2018
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 .
0 Kommentare
Akzeptierte Antwort
Anirban
am 4 Okt. 2018
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.
Weitere Antworten (0)
Siehe auch
Kategorien
Mehr zu Multitasking finden Sie in Help Center und File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!