PinTools Dynamic Binary Instrumentation Tools Download platform: wget http://software.intel.com/sites/landingpage/pintool/downloads/pin-2.14-71313-gcc.4.4.7-linux.tar.gz mv pin-2.14-71313-gcc.4.4.7 pin-tool