IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation

Yuyang Rong, Zhanghan Yu, Zhenkai Weng +2

Modern compilers, such as LLVM, are complex pieces of software. Due to their complexity, manual testing is unlikely to suffice, yet formal verification is difficult to scale. End-t…