CheckerBench: Liệu các agent có tầm nhìn dài có thể tổng hợp các bộ kiểm tra phân tích tĩnh không?

Đoạn trích bài viết

Sự tổng hợp bộ kiểm tra phân tích tĩnh đòi hỏi các agent giải thích một đặc điểm lỗi, kiểm tra một kho lưu trữ, thực hiện logic cụ thể của nhà phân tích và tinh chỉnh bộ kiểm tra thông qua sự biên soạn và phản hồi phân tích lặp đi lặp lại.