6/6/2022
•
EN
Formal-Methods-Based Bugfinding for LLVM’s AArch64 Backend
Using formal methods and Alive2 to find bugs in LLVM's AArch64 backend by lifting compiled code back to IR for refinement checking.