Danh sách các hạng mục chung cho việc khảo sát mã nguồn
Mục này nêu những vài vấn đề cần tập trung tìm tòi khi khảo sát mã nguồn ngoài việc đối chiếu với các chuẩn và hướng dẫn.
Lỗi tham chiếu dữ liệu: Đó là các lỗi gây ra do việc dùng các biến, hằng, xâu hoặc bản ghi mà chưa được mô tả hoặc khởi tạo.
• Liệu có trong chương trình việc tham chiếu đến biến chưa khởi tạo giá trị?
• Giá trị của chỉ số mảng hoặc xâu có là nguyên và có nằm trong cận và số chiều cho phép?
• Các phép tính trên chỉ số mảng có vượt ra ngoài cận cho phép?
• Lựa chọn giữa biến và hằng có hợp lý?
• Có vi phạm về kiểu trong khi gán giá trị cho biến?
• Giá trị tham chiếu của con trỏ có nằm trong vùng nhớ được phân phối?
• Tương ứng giữa tham số hình thức và thực sự trong các lời gọi hàm và chương trình con.
Lỗi mô tả dữ liệu: Các lỗi này gây bởi việc mô tả không đầy đủ hoặc do việc dùng bất cẩn các biến và hằng số.
• Liệu các biến có được gán độ dài, kiểu, lớp đúng đắn? Chẳng hạn dùng kiểu xâu thay cho kiểu mảng.
• Liệu các biến có được khởi tạo và khởi tạo hợp kiểu khi mô tả?
• Các biến với tên tương tự nên tránh vì dễ dùng nhầm.
• Có biến không được tham chiếu hoặc tham chiếu chỉ một lần?
• Phạm vi của mô tả biến có bị vi phạm?
Lỗi tính toán: Đó là các lỗi về toán, gây ra kết quả tính toán không như
mong đợi.
• Có hay không việc tính toán số học với các kiểu khác nhau?
• Tính toán với các biến cùng kiểu nhưng khác độ dài.
• Các quy tắc biến đổi kiểu của chương trình dịch có được hiểu và dùng đúng?
• Giá trị của biểu thức vế phải của phép gán vượt ra ngoài miền giá trị của biến vế trái.
• Lỗi tràn ô nhớ trong khi ước luợng giá trị của biểu thức, lỗi chia cho không.
• Lỗi về sai số làm tròn.
• Có nhầm lẫn về thứ tự ước lượng các phép toán trong biểu thức.