Pin tools for program analysis