The LLVM Compiler Framework and Infrastructure Program Analysis