Skill phân tích tĩnh dùng diễn giải trừu tượng để suy ra miền giá trị biến và phát hiện lỗi runtime tiềm ẩn như truy cập ngoài mảng, null, chia cho 0, tràn số nguyên — mà không chạy chương trình.