Why Does the Polyspace Analysis Terminate Early?
Show older comments
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?
Accepted Answer
MathWorks Support Team
on 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.
More Answers (0)
Categories
Find more on Polyspace Code Prover in Help Center and File Exchange
on 29 Jan 2019
on 6 Mar 2019
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
