fuzzing đang là chủ đề nóng kể từ vụ hack yETH (ít nhất là trong tâm trí tôi) - @claudeai vừa viết bài kiểm tra fuzz hoàn hảo cho tôi và phát hiện ra một trường hợp đặc biệt mà toàn bộ bộ kiểm tra khổng lồ đã bỏ lỡ điều kiện bất biến rất đơn giản, `sum(trove debts) >= total_debt`, nếu không `total_debt` có thể trở thành số âm nếu tất cả các troves hoàn trả, khiến cho việc đóng trove cuối cùng trở nên không thể thực hiện được ảnh chụp màn hình của bài kiểm tra fuzz được đính kèm và liên kết đến bài kiểm tra trong bình luận đầu tiên, để bạn tiện theo dõi nói với claude hãy fuzz mã của bạn!