帕斯卡卡雷
内容提要
问题
MISRA规则5.1/5.2 Polyspace错误发现者2017 a
亲爱的Polyspace支持,万博1manbetx我们遇到一些问题在检查MISRA规则5.1和5.2。因为Polyspace与我们的反对……
2年前| 1 | 0回答
1
回答问题
为什么Polyspace代码验证不允许检查一些MISRA规则吗?
亲爱的支持万博1manbetx团队,为什么代码验证不允许检查一些MISRA 2012规则(例如21.13;21.14…),表明…
3年前| 0 |答案2
