嵌入式系统C代码走查检查单编号：项目编号项目名称检查人检查日期检查内容是否涵盖一、变量声明1.变量命名是否直观，前缀是否表示了变量类型是否2.宏定义和常量是否全用大写的字母是否3.静态变量是否加前缀s_是否4.全局变量是否尽可能的少用，全局变量是否加前缀g_是否5.是否尽量避免了使用强制类型转换；如果不得不作类型转换，是否用了显 式方式是否6.是否在定义变量的同时初始化该变量是否是否没有定义了但不使用的变量是否二、基本语句7.是否没有将浮点变量用“=”或“！=”与数字比较是否8.是否没有在for循环体内修改循环变量是否9.在循环中是否谨慎的使用了 break和continue，没有将需要在break或 continue之前处理的语句写到了其后是否10.每个case语句的结尾是否都有break，除了有意设计的重叠是否11. switch后是否都有最后的default分支是否12.是否没有使用goto语句是否三、结构体和指针13.结构体初始化和善后是否都清空了是否14.是否成对使用了 malloc, free，没有未释放的内存或者释放未申请的无效地 址是否15. Malloc后是否检查了分配成功是否16.释放前是否检查了不为NULL，释放后是否及时置NULL是否四、函数设计17.函数体的规模是否控制在200行代码之内，单个函数的分支路径是否控制 在10条以内；除了函数入口处的参数合法性检查外，函数出口是否尽可能 唯一是否18. 是否显式定义了返回类型，并有返回值；19. 对重要的被调函数，调用后是否判断了返回值是否20.如果参数是指针，且仅作输入用，是否在类型前加const，是否21.函数的参数个数是否控制在5个以内，如果有个别函数超过5个参数，那是否么这类函数占整个软件的百分比是否5%22.是否使用了类型和数目不确定参数的函数（除了调试打印的printf）是否六、程序版式23.函数之前和之后是否都加空行是否24.函数体内的空行是否合适是否25. 一行代码是否只做一件事情是否26. if、for、while、do等语句是否自占一行是否27.分界符和是否独占一行并且位于同一列，同时与引用它们的语 句左对齐是否28.缩进是否合格是否29.每行代码的长度是否在80个字符以内是否30. 注释是否及时更新，与代码一致；31. 注释和代码的比例是否达到1:5是否32.复杂段落的结束处是否加了注释是否33.源程序头的注释是否合格是否34.函数头的注释是否合格是否35.头文件是否使用ifndef/define/endif结构产生预处理块是否36. 是否用#include vfilename.h格式来引用标准库的头文件，37. 用#include “filename格式来引用非标准库的头文件是否38.是否对项目专用的功能用编译选项隔离是否39. 6.走查时其他注意的地方40. If、else等分支的逻辑，特别是嵌套时，是否和设计意图一致是否41.是否有无用的代码和注释是否42.对数组的边界操作是否合适，没有越界是否43.循环时的最大、最小边界是否正确是否44.重要的算法是否易于理解、维护是否