Efficient Program Analyses Using Deductive and Semantic Methodologies
Pin: building customized program analysis tools with dynamic instrumentation