Kiểm tra tĩnh mở rộng