规则 2.3:项目不得包含未使用的 typedef 声明

Rule 2.3: A project shall not contains unused typedef declarations

"规则 2.3:项目不得包含未使用的 typedef 声明:如果声明了类型但未使用,则审阅者不清楚该类型是多余的还是未使用误会了。” 通过 AUTOSAR 在 matlab simulink 中生成代码后,我使用 Misra 规则检查和 Polyspace 代码证明程序检查生成的代码。 Misra 是否有办法从其列表中删除 RTE .h 文件并检查其余的库和代码? (我不想让 MISRA 检查 RTE.h 文件。但是怎么办??)

这通常是 tool-specific activity...

根据工具的不同,您可以指定不检查该文件,或在文件中包含适当的注释以关闭特定的准则检查。

此外,由于规则 2.3 是建议,根据 MISRA 合规性,您可以拒绝 它(有理由)单个文件或更一般。同样,这将在您的工具中实现。

我可以就一种特定工具提供指导(参见简介),但如果手册没有帮助,您最好与您的供应商交谈。


顺便说一句:

  1. MISRA 将针对自动生成的代码发布指南重新分类计划 - 建议用户拒绝 [=46] 规则 2.3 =].
  2. 如果您想声明 MISRA 合规性,分析 需要 包括所有文件(包括您的 RTE.H),尽管 允许一些放宽采用代码(包括auto-generated代码)。

查看个人资料了解从属关系。