5 ms·
High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM
- exdsq 4y agoMeta: this is the highest I’ve seen something voted on the front page with 0 comments. Maybe ‘High-throughput’, ‘Formal Methods’, ‘Fuzzing’, and ‘LLVM’ is enough buzzwords to get everyone’s partial attention but not enough to really read!
- c0balt 4y agoThe approach and results look promising. It looks like a quite reliable way to test new optimizations and I would love to see if it might be a viable part for testing llvm patches. Though it would also be interesting to see how this method would be applicable to other compilers, like GCC.