0 개 추천

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?

이 질문에 답변하려면 로그인하십시오.

 채택된 답변

MathWorks Support Team
MathWorks Support Team 2019년 1월 29일

1 개 추천

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.

추가 답변 (0개)

카테고리

도움말 센터 및 File Exchange에서 Polyspace Code Prover에 대해 자세히 알아보기

제품

릴리스

아직 릴리스를 입력하지 않았습니다.

태그

Community Treasure Hunt

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

Start Hunting!

Translated by