Why Does the Polyspace Analysis Terminate Early?
Afficher commentaires plus anciens
When executing Polyspace Code Prover, I specified the "-to" flag to have a value of "pass4". My understanding is that this means that Polyspace will run through Software Safety Analysis level 4.
I noticed, however, that Polyspace completed its execution after Software Safety Analysis level 1.
Why did the Polyspace analysis terminate early?
Réponse acceptée
MathWorks Support Team
le 29 Jan 2019
1 vote
It turns out, that this behavior is often a result of the fact, that Polyspace is able to conclude, that completing more levels of analysis will not improve the precision of the results.
Because of this, Polyspace decides to end the analysis early.
Plus de réponses (0)
Catégories
En savoir plus sur Polyspace Code Prover dans Centre d'aide et File Exchange
Produits
Version
Aucune version saisie pour le moment.
le 29 Jan 2019
le 6 Mar 2019
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
Translated by 
