MISRA规则之间是否存在Map，例如：
- 函数不应被隐式声明（MISRA C R.17.3），例如use“int f（int x）; f（x）;“.
- 非void返回类型函数的所有退出路径都应具有一个带有表达式的显式返回语句（MISRA C R.17.4）。
变成了一个十字架检查器吗
例如，我能够找到：需求：sizeof运算符的操作数不得包含任何具有潜在副作用的表达式（MISRA C R.13.6）。
klocwork：MISRA. SIZERO.SIDE_EFFECT操作数的sizeof有副作用5-3-4 2020.1之前
你是如何为MISRA C处理这些？
1条答案
按热度按时间gupuwyp21#
通常，工具供应商在他们自己的内部Map和第三方规则集（如MISRA C或CERT C）之间具有多对多Map。
Klocwork自己在其产品文档中提供了Map：
https://help.klocwork.com/current/en-us/concepts/misrac2012_amd1nolinks.htm