1.所有变量是否都正确初始化
2.指针在使用前检查是否为null
3.指针的加法是否正确
4.确保数组不越界访问
5.确保循环不变式成立
6.对同一个临时变量的多次使用确保每次都正确初始化
7.函数传参,如果是指针,需要注意值的改变
8.所有指针都要正确赋值,null或者正确的值
9.注意对所有分支进行检查,同时注意goto和return不混用
10.动态内存泄漏检查
11.加锁、解锁的检查,尤其是所有分支都正确
另外确保无嵌套、无死锁
1.所有变量是否都正确初始化
2.指针在使用前检查是否为null
3.指针的加法是否正确
4.确保数组不越界访问
5.确保循环不变式成立
6.对同一个临时变量的多次使用确保每次都正确初始化
7.函数传参,如果是指针,需要注意值的改变
8.所有指针都要正确赋值,null或者正确的值
9.注意对所有分支进行检查,同时注意goto和return不混用
10.动态内存泄漏检查
11.加锁、解锁的检查,尤其是所有分支都正确
另外确保无嵌套、无死锁