MISRA-C-2012

1 次查看（过去 30 天）
Luis Blanco Abruña
回答： Kausthub 2024-3-16
I generate code with Embedded Coder with the objective of MISRA-C-2012 (It is the only 'generation objective' I set in this generation).
It is a complex model that generates more than 30KLOC.
But, when I analyze such code with Polyspace Code Prover I obtain more than 1K rule violations.
Should not be it zero discrepancies?
Is there any other addition configuration in both tools to manage this objective?
Kind regards

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

回答（1 个）

Kausthub
Kausthub 2024-3-16
Hi Luis,
Yes, the aim is for zero discrepancies but the code generated by Embedded Coder is not completelty MISRA C:2012 compliant and has a few violations.
But, you could reduce the number of violations by selecting the right properties from the configuration panel of Embedded Coder. For example you can reduce a lot of MISRA C:2012 violations by setting the casting mode from 'Nomial' to 'Standard Compliance', restricting signed left and right shifts, enabling justifications etc.
Here is an article on how you could reduce MISRA C:2012 violations:
https://www.mathworks.com/help/ecoder/ug/generate-cc-code-with-improved-misra-compliance.html
Hope it helps!

类别

在 Help Center 和 File Exchange 中查找有关 MISRA C:2012 Compliance Considerations 的更多信息

标签

产品


版本

R2018b

Community Treasure Hunt

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

Start Hunting!

Translated by