Polyspace与MISRAC的一般性问题

下面就具体的实例分析代码

MISRA C的合规性检查

MISRA C 8.7 作用域

 其含义就是要加static修饰的意思，降低可见性。

如果代码只在一个unit中使用，不应当定义为外部可见。

根据实际的使用进行判断。和polyspace的检测机制有关系。

MISRA D4.5 识别符

识别符需要独一无二 

MISRA 13.5持久的单边影响

持久的单边影响。
逻辑运算符 &&    || 右边的有可能运行不到，左边的一定可以运行到。
所以，不要将返回值为逻辑值的函数放在右边。   要放在左边，或者将函数的运算结果赋值给别的变量后，用改变量去运算，保证函数一定运行到。