Phát hiện lỗi Go mà fuzzing bỏ qua bằng Gemini và bộ giải bài toán ràng buộc

Cách ghép nối các bẫy kiểm tra giới hạn còn lại của trình biên dịch Go với Gemini 4 Argon và bộ giải bài toán ràng buộc Z3 để bắt được những panic lỗi thời ngoài phạm vi trong mã Go và khám phá một điểm mù về dung lượng slice trong go test -fuzz.