Zheng, Y. LLVM UB-Aware Interpreter [Computer software]. https://github.com/dtcxzyw/llvm-ub-aware-interpreter