Which TWO of the following statements about static analysis are correct?

Đáp án đúng: B và C. Phân tích tĩnh là việc phân tích mã nguồn hoặc tài liệu mà KHÔNG thực thi chương trình. Phát biểu C đúng: nhờ soi trực tiếp cấu trúc mã, nó phát hiện được những khiếm khuyết mà kiểm thử động rất khó lộ ra, như biến chưa khởi tạo, mã không bao giờ chạy tới, vi phạm chuẩn lập trình. Phát biểu B cũng đúng: phân tích tĩnh không bắt buộc phải làm trước khi mã được thực thi, nó có thể áp dụng ở bất kỳ thời điểm nào của vòng đời. Phát biểu A sai vì bản thân trình biên dịch chính là một dạng phân tích tĩnh; phát biểu D sai vì kiểm thử hộp trắng không thay thế được phân tích tĩnh.