Xử Lý Triệt Để Lỗi Logic Với Thư Viện libFuzzer