What are the main types of errors static analysis can detect? Choose correct answers.

Đáp án đúng: A, C, D. Phân tích tĩnh đọc mã nguồn mà không chạy chương trình, nên nó bắt được những gì suy ra được từ cấu trúc mã: biến khai báo mà không dùng, đoạn mã trùng lặp, và các mẫu cấp phát - giải phóng bộ nhớ dẫn tới rò rỉ. B sai: tính khả thi của yêu cầu (requirements feasibility) là chuyện nghiệp vụ và ràng buộc dự án, nằm ngoài mã nguồn — không công cụ phân tích tĩnh nào đọc mã mà kết luận được yêu cầu có làm nổi hay không. Đây là ranh giới cần nhớ: phân tích tĩnh soi mã, không soi yêu cầu.