Optimuzz
Optimization-Directed Fuzzing
for Continuous Translation Validation
for Continuous Translation Validation
Our Bug Reports
© 2025 Optimuzz
Our paper is appearing on PLDI 2025
The paper will discuss the mathematical formalization of our concept, detailed fuzzing techniques, and our experimental results.
We found a wrong approximation of Alive2
We are continously monitoring LLVM updates and testing them with Optimuzz.
During our test, we found discrepancy of Alive2 and LLVM semantics for a floating-point operation, frem.
Detailed Look on a VectorCombine Bug
Let’s take a detailed look on a VectorCombine miscompilation bug, which is detected by Optimuzz.
We reported 55 miscomplation bugs in 2024
During our intensive investigation for nearly every optimization in LLVM, we reported 55 miscompilation cases to LLVM project.