● 函数的参数接口关系清晰 ；
● 函数出口都有返回值 ；
● 函数异常处理清楚 。
★ 数据类型与变量检查
● 数据有效性检测不合理 ；
● 数据来源正确性；
● 数据处理过程正确性；
● 数据处理结果不正确性；
● 数据类型解释；
● 变量分配了正确的长度、类型和存储空间；
● 静态变量明确区分；
● 变量初始化；
● 变量的命名不与标准库中的命名相冲突；
● 全局变量描述；
● 类型转换。
★ 条件判断检查
● If/else 使用正确 ；
● 无嵌套的if链
● 数字，字符，指针和0/NULL/FLSE 判断明确 ；
● 不要有臃肿的判断逻辑；
● 所有的判断条件边界是否正确；
● 判断体足够短。
★ 循环检查
● 循环体不为空；
● 循环之前做好初始化代码 ；
● 有明确的多次循环操作，使用For循环 ；
● 不明确的多次循环操作，使用while循环；
● 循环终止的条件清晰 ；
● 所有的循环边界是否正确；
● 循环体内的循环变量起到指示作用。
