审查项目 存在不可达代码 存在循环条件不可达 函数包含无限循环(无终止条件) 存在无限循环结构 控制流分析 在循环语句中有多个控制变量 存在浮点相等比较 使用goto语句 函数存在多个入口 函数存在多个出口 存在标识名重用 存在没使用的函数参数 函数不是所有的路径上都有返回值(C++无) 函数的实参是全局变量 代码中有多余变量 变量未赋初值就引用 参数与期望的作用不匹配 数据流分析 给值传递参数赋值 标识符超过31个字符 函数定义无相应原型 存在潜在的无限循环 指针在使用之前没有进行非空检查 往没有打开过的文件中写 文件指针在退出时没有关闭 表达式中使用{} 存在数组下标越界 表达式分析 存在被零除 SWITCH语句是否为空 严重错误 一般错误 建议改进 建议改进 一般错误 建议改进 一般错误 一般错误 一般错误 建议改进 一般错误 测试内容 问题等级 一般错误 一般错误 建议改进 建议改进 建议改进 一般错误 建议改进 建议改进 建议改进 建议改进 建议改进 一般错误 一般错误 建议改进 一般错误 / 备注 SWITCH语句只含DEFAULT情况 SWITCH语句缺少DEFAULT CASE语句缺少BREAK 返回类型为VOID 的函数出现在表达式中 函数中是否存在Return语句为空 存在混合运算 对指针进行逻辑比较 在逻辑表达式中使用赋值操作符 表达式中使用空函数 实参和形参个数不匹配(C++无) 接口分析 实参和形参类型不匹配 函数参数定义的结构和调用的结构不一致 循环体缺少括弧 函数参数列表为空 基本模块中使用#define定义 其它 SWITCH结构含多个(大于1)DEFAULT 函数返回类型不一致 函数和函数的原型的返回不一致 函数和函数的原型的形参不一致 一般错误 一般错误 一般错误 一般错误 一般错误 建议改进 一般错误 一般错误 一般错误 严重错误 一般错误 一般错误 建议改进 一般错误 一般错误 一般错误 一般错误 一般错误 一般错误 K8:
Critical及severe---严重错误; Error及Unexpected---一般错误; Unexpected以下---建议改进。
因篇幅问题不能全部显示,请点此查看更多更全内容