C-Code Polyspace MISRA-C check without Polyspace value range and overflow checks

1 次查看（过去 30 天）
aluppold
aluppold 2018-3-14
回答： aluppold 2018-3-15
Hallo Support Team,
is it possible to run a Polyspace Code Prover job (C-Code) only for MISRA-C checks without carrying out Polyspace value range and overflow checks (Etc.)?
The reason of this question is that a complete Polyspace Code Prover job requires several days untli completion. And we are only interested in misrca-c at this point.
Thank you and best regards! Andreas

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

采纳的回答

Alexandre De Barros
Hi,
Since most of the coding rule violations are found during the "compilation" phase, I suggest you to stop the verification at the end of this phase.
To do that, in your configuration, go to Precision, and for the Verification level, choose "Source Compliance checking".
Best regards,
Alexandre

更多回答（1 个）

aluppold
aluppold 2018-3-15
Thank you very much!

类别

在 Help Center 和 File Exchange 中查找有关 Bug Finder Analysis 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by