代码检查错误列表总结1

1.数据引用错误

• 是否有引用的变量未赋值或未初始化？
• 对于所有的数组引用，是否每一个下标的值都在相应维规定的界限之内？
• 对于所有的数组引用，是否每一个下标的值都是整数？
• 对于所有的通过指针或引用变量的引用，当前引用的内存单元是否分配？
• 如果一个内存区域具有不同属性的别名，当通过别名进行引用时，内存区域中的数据值是否具有正确的属性？
• 变量值的类型和属性是否与编译器所预期的一致？
• 在使用的计算机上，当内存分配的单元小于内存可寻址的单元大小时，是否存在直接或间接的寻址错误？
• 当使用指针或引用变量时，被引用的内存的属性是否与编译器所预期的一致？
• 假如一个数据结构在多个过程或子程序中被引用，那么每个过程或子程序对该结构的定义是否都相同？
• 如果字符串有索引，当对数组进行索引操作或下标引用，字符串的边界取值是否有“仅差一个”的错误？
• 对于面向对象的语言，是否所有的继承需求都在实现类中得到了满足？

2.数据声明错误

• 是否所有的变量都进行了明确的声明？
• 如果变量所有的属性在声明中没有明确说明，那么默认的属性能否被正确理解？
• 如果变量在声明语句中被初始化，那么它的初始化是否正确？
• 是否每个变量都被赋予了正确的长度和数据类型？
• 变量的初始化是否与其存储空间的类型一致？
• 是否存在着相似名称的变量？