What can static analysis NOT find?
4 phương ánCó lời giảiXuất hiện trong 1 bộ đề
A·B·C·DCác phương án trả lời
AThe use of a variable before it has been defined
BUnreachable ("dead") code
Memory leaksĐúng
DArray bound violations
Giải thích chi tiết
Đáp án đúng: C. Phân tích tĩnh làm việc trên mã nguồn mà không chạy chương trình, nên nó phát hiện tốt các khiếm khuyết lộ ra từ cấu trúc mã: dùng biến trước khi gán (A), mã không bao giờ được thực thi (B), truy cập vượt biên mảng khi chỉ số xác định tĩnh được (D). Ngược lại, rò rỉ bộ nhớ là hiện tượng chỉ bộc lộ trong quá trình CHẠY, khi bộ nhớ được cấp phát mà không được giải phóng theo thời gian - đó là địa hạt của phân tích động và các công cụ theo dõi bộ nhớ, nên phân tích tĩnh không tìm được.