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

2018 3 14
2 个回答
回答已采纳
更新时间：2018 3 15
1 次查看（30 天）

0 个投票

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

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

 采纳的回答

0 个投票

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

类别

在 帮助中心 和 File Exchange 中查找有关 Run Settings 的更多信息

产品

标签

Community Treasure Hunt

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

Start Hunting!

Translated by