MISRA-C 2004 规则解读(1S-20S)

---

1 S：Procedure name reused.函数名与变量名称重复。

2 S：Label name reused.局部变量重命名。虽然作用域不同能编译通过，但是容易造成混淆。

3 S：More than N executable reformatted lines in file.规定单个文件代码行数不能超过N，N值可配置。

4 S：Procedure exceeds N reformatted lines.规定单个函数的代码行数不能超过N，N值可配置。

5 S：Empty then clause.空语句有可能是开发人员忘记实现某个功能而留下的坑。所以在确实是空的地方这样写比较合适：

    UINT_32 value_x = 1u;    if (value_x == 0u){        value_x = value_x + 1u;    }     else｛        /*do nothing*/    ｝

6 S：Procedure pointer declared.避免使用函数指针：

#include "c_standards.h"void foo(UINT_32 p_1, UINT_16 p_2){ /* ... */ }/******************************************************** * Standard 6 S : Procedure pointer declared. ********************************************************/ void static_6(void){  void (*proc_pointer) (UINT_32 p_1, UINT_16 p_2) = foo; /* 不建议使用函数指针 */  proc_pointer(1u, 1);}

7 S：Jump out of procedure. 避免使用非局部跳转语句，如setjmp和longjmp函数。

8 S：Empty else clause. 见【5S】。

9 S：Assignment operation in expression. 避免在表达式中使用赋值语句，举个栗子：

BOOL static_9(BOOL test){   BOOL result,flag;   result = ( flag = test ); /* not compliant */   return result;}

10 S：空

11 S：No brackets to loop body (added by Testbed). 避免省去大括号，举个栗子：

for (i = 0; i < 10; i = i + 1) j--; /* not compliant */if (i > 0){  i = i - 1;}else  i = i + 1;          /* not compliant */

12 S：No brackets to then/else (added by Testbed). 见【11S】。

13 S：goto detected.避免使用goto语句。

14 S：Procedural parameter declared. 避免使用函数作为函数的参数。

/******************************************************** * Standard 14 S : Procedural parameter declared. ********************************************************/ void static_14(void (*p_proc_pointer)(INT_32 p1) ){   p_proc_pointer = test_14s;}

15 S：Anonymous field to structure. 避免使用无名称的结构体，这通常出现在结构体嵌套使用的场景。

/******************************************************** * Standard 15 S : Anonymous field to structure. ********************************************************/ struct s_15 { UINT_32 xs;              struct {UCHAR ac, ab;};  /* not compliant */            };

16 S：Multiple labels declared. 避免在文件的同一处使用多个标签。

17 S：Code insert found. 避免在代码中嵌套出现汇编语句，大多数编译器是编译不通过的。

18 S：More than N parameters in procedure. 规定单个函数入参个数不能超过N，N值可配置。

19 S：Procedural para used in an uncalled procedure. 避免函数作为参数的情况，即使该函数未被调用，同【14S】。

20 S：Parameter not declared explicitly. 避免入参无变量类型，大多数编译器是编译不通过的。