Defects discovered by static analysis tools include: (i) Variables that are never used. (ii) Security vulnerabilities. (iii) Programming Standard Violations. (iv) Uncalled functions and procedures.

Static analysis là một kỹ thuật kiểm tra mã nguồn bằng cách phân tích mã mà không cần thực thi nó. Mục đích của static analysis là tìm kiếm các lỗi hoặc vấn đề trong mã nguồn trước khi nó được triển khai. Trong câu hỏi này, chúng ta được hỏi về các loại lỗi mà các công cụ phân tích tĩnh (static analysis tools) có thể phát hiện. Lựa chọn (i) Variables that are never used: Các biến không bao giờ được sử dụng là một loại lỗi phổ biến trong mã nguồn. Các công cụ phân tích tĩnh có thể phát hiện các biến này bằng cách phân tích mã nguồn và xác định các biến không được sử dụng. Lựa chọn (ii) Security vulnerabilities: Các lỗ hổng bảo mật là một loại lỗi nghiêm trọng trong mã nguồn. Các công cụ phân tích tĩnh có thể phát hiện các lỗ hổng bảo mật bằng cách phân tích mã nguồn và xác định các lỗ hổng có thể được khai thác bởi kẻ tấn công. Lựa chọn (iii) Programming Standard Violations: Các vi phạm tiêu chuẩn lập trình là một loại lỗi trong mã nguồn. Các công cụ phân tích tĩnh có thể phát hiện các vi phạm tiêu chuẩn lập trình bằng cách phân tích mã nguồn và xác định các vi phạm tiêu chuẩn lập trình. Lựa chọn (iv) Uncalled functions and procedures: Các hàm và thủ tục không được gọi là một loại lỗi trong mã nguồn. Các công cụ phân tích tĩnh có thể phát hiện các hàm và thủ tục không được gọi bằng cách phân tích mã nguồn và xác định các hàm và thủ tục không được gọi. Tóm lại, các lựa chọn (i), (ii), (iii) và (iv) đều là đúng. Các công cụ phân tích tĩnh có thể phát hiện các lỗi này bằng cách phân tích mã nguồn và xác định các lỗi có thể xảy ra trong mã nguồn.