Binary analysis for measurement and attribution of program performance