An early LLVM pass which removes most of UB-implying information - View it on GitHub