咨询MISRA C规则与Klocwork检查器的映射关系及处理方式

一、是否存在现成映射？ #

Klocwork作为支持MISRA合规的静态代码分析工具，官方会维护MISRA规则到自身检查器的对应关系，不需要完全手动梳理。

二、你提到的两条规则对应的Klocwork检查器 #

• MISRA C R.17.3（函数不得隐式声明）：对应Klocwork检查器MISRA.FUNC.IMPLICIT_DECL，该检查器会扫描代码中未声明就直接调用的函数，强制要求提前声明函数原型（比如int f(int x);），禁止像f(x);这种无声明调用的写法。
• MISRA C R.17.4（非void返回类型函数所有退出路径需显式return带表达式）：对应Klocwork检查器MISRA.RETURN.MISSING或MISRA.RETURN.NO_EXPR（不同版本可能略有差异），它会遍历函数的所有分支路径，确保每个退出点都包含带返回值表达式的return语句。

三、查找规则映射的通用方法 #

1. 查Klocwork内置规则文档：在工具自带的文档或内部规则说明中，搜索"MISRA"相关板块，每个检查器条目都会明确标注对应的MISRA规则编号（就像你找到的MISRA.SIZEOF.SIDE_EFFECT对应MISRA C R.13.6）。
2. 控制台直接搜索：在Klocwork的规则管理界面，输入MISRA规则编号（比如R.17.3），就能快速匹配到对应的检查器ID、描述和版本适配信息。
3. 注意版本差异：不同Klocwork版本（比如你提到的Pre-2020.1、新版本2023.x）的检查器命名或对应关系可能有微调，要对应自己使用的工具版本。

四、特殊情况的处理 #

如果遇到部分MISRA规则没有直接对应的Klocwork检查器，可以：

• 利用Klocwork的自定义规则功能，编写匹配该规则逻辑的检查脚本；
• 组合多个已有检查器的扫描结果，覆盖目标规则的要求场景。

内容的提问来源于stack exchange，提问作者Gilad