Efficient Program Analyses Using Deductive and Semantic Methodologies
LLVM: a compilation framework for lifelong program analysis & transformation