序号 检查点描述 补充说明 1 变量初始化检查 结构变量初始化时，是否初始化完全 局部、全局常量应在定义位置初始化 局部变量使用前必须初始化 2 循环边界检查 循环体若存在数组，确认数组下标不越界 循环是否存在死循环的可能 循环计数器是否存在多循环（+/-）1次可能 3 数组下标检查 循环体内、体外时的数组下标计算是否正确 宏定义包含数组操作时下标是否正确 拷贝时数组下标是否越界 4 显式表达运算符优先级 5 条件预处理 预处理开始和结束点是否匹配 多个预处理同时存在时，匹配逻辑是否正确 6 变量强制转换 是否存在高精度数据向低精度数据转换 是否存在指针类型转换，内存长度是否匹配 7 布尔逻