Taming Undefined Behavior in LLVM

  Abstract