Fuzzer + arm-tv starting to run dry

I thought y’all might appreciate a bit of nice news: for the last couple years I’ve been off-and-on fuzzing the AArch64 backend using arm-tv (my group’s hacked version of Alive2 that does translation validation for this backend) to look for miscompile bugs. We’ve found 30+ of these bugs, but the last couple of fuzzing runs haven’t turned up anything new or interesting. This is good!

19 Likes