MATLAB的答案

我在哪里可以找到一个详细清单错误发现者和代码之间的差异验证?

16个视图(30天)
Andreas Memmel
Andreas Memmel 2018年4月18日
回答: Anirban 2018年6月29日
使用Polyspace R2017b代码验证分析生成的警告:
警告:MISRA - C: 2012检查:规则22.6已经禁用,因为它只在错误发现者。
因此我认为代码验证无法检查规则22.1 - 22.4,22.6,和D4.13。但是我不能在网上找到这些差异上市。谁能告诉我正确的方向吗?

在回答这个问题。

答案(1)

Anirban
Anirban 2018年6月29日
你好安德烈亚斯,
你可以看到这里列出的差异:
//www.tianjin-qmedu.com/help/codeprover/ug/polyspace checker.html——misra - c - 2012
你可以看到MISRA - C: 2012指示,不支持在产品列在这里:s manbetx 845万博1manbetx
//www.tianjin-qmedu.com/help/codeprover/ug/misra-c2012-guidelines-not-checked.html