23.LDRA_Testbed_C++编码规则列表1.0.doc

LDRA Testbed C＋＋ 编 码 规 则 列 表 联系电话： 021上海），010北京） 028成都），0755-3581788（深圳） LDRA Testbed 1 1 过程名被重用 1 2 标号名被重用 1 3 文件中可执行格式化代码行超过***行 1 4 程序格式化代码行超过***行 1 5 then语句为空 1 6 声明函数指针 1 7 跳出程序体 1 8 else语句为空 1 9 在非赋值表达式中出现了赋值操作符 1 10 未使用 1 11 循环体没有用大括号括起来 1 12 then／else中的语句没有用大括号括起来 1 13 使用goto语句 1 14 将过程定义为参数 1 15 结构体定义中含有空域 1 16 声明多重标号 1 17 内嵌使用汇编代码 2 18 函数参数超过***个 2 19 未被调用的函数使用函数作为参数 2 20 参数未使用类型声明 2 21 未使用 2 22 使用一些模糊的语句（如=+,=-） 2 23 函数未被调用 2 24 使用让工具不进行分析的注释/*LDRA_NOANALYSIS*/ 2 25 casw语句为空 2 26 使用无限循环 2 27 返回类型为VOID的函数有return语句 2 28 继承类中复用基类 2 29 使用-=或+=操作符 2 30 使用++或者—操作符 2 31 在循环中使用break语句 2 32 使用continue语句 2 33 使用三重表达式 3 34 对过程的声明中未对参数进行说明 3 35 圈复杂度大于*** 3 36 过程不是单纯的顺序嵌套循环 3 37 函数包含基本结点 3 38 函数非结构化 3 39 函数包含无限循环 3 40 未使用的函数参数 3 41 函数不是所有的路径上都有返回值 3 42 函数的实参是全局变量 3 43 代码中有多余变量 3 44 存在UR（变量未赋初值就引用）数据流异常 3 45 使用函数递归调用 3 46 存在DU（定义后未引用就退出作用域）数据流异常 3 47 存在DD（定义后未被引用就被再定义）数据流异常 3 48 被定义的参数可能存在Clear Path 3 49 在函数内部使用全局变量 3 50 参数与期望的作用不匹配 4 51 被引用的变量可能存在Clear Path 4 52 函数中全局变量使用与局部变量作用类似 4 53 改变变量已被传递的值 4 54 存在未被使用的过程参数 4 55 函数调用中存在相同的实参 4 56 局部变量对结果没有意义 4 57 函数有多入口 4 58 函数有多出口 4 59 静态过程没有被调用 4 60 函数没有返回语句 4 61 过程参数只有类型没有标识符 4 62 使用静态类成员 4 63 使用不恰当的循环变量类型 4 64 循环变量必须是局部的 4 65 在函数参数表中使用省略号 4 66 在结构体定义中使用位域 4 67 使用setjmp/longjmp 5 68 使用禁用的过程，函数，文件或名称 5 69 未使用 5 71 数组越界 5 72 在switch语句中没有default 语句 5 74 对有符号类型进行移位操作 5 75 移位运算溢出 5 76 禁止给无符号变量赋负值 5 77 使用逗号操作符 5 78 长度操作符sizeof的副作用 5 80 禁止对实数类型的变量做相等比较操作 5 81 使用不起作用的语句 5 82 存在空语句 5 83 if语句中没有else分支 5 84 禁止switch语句为空 5 85 switch语句中只包含default 5 86 switch语句中的case语句没有由break语句来终止 6 87 过程/函数的参数表为空 6 88 返回类型为void的的过程出现在表达式中 6 89 void类型的变量作为参数进行传递 6 90 函数中只有return语句没有返回值 6 93 使用#pragma 6 95 指针指向比分配更大的范围 6 96 有符号的位域少于２个比特位的空间 6 97 位域既不是有符号的整型也不是无符号的整型 6 98 声明联合 6 99 在头文件前有可执行代码 6 100 宏中使用了多个#和## 6 103 禁止定义不像函数的宏 6 104 指针的指针超过两级 6 105 使用三字母词 6 106 使用wchar_t类型 7 107 使用八进制数 7 108 使用寄存器变量 7 109 枚举元素的初始化不完整 7 110 重新定义保留字 7 111 用指针进行代数运算 7 112 嵌入汇编程序时，嵌入的过程不是纯汇编程序 7 113 字符类型没有标明是有符号还是无符号 7 11