The pin-tools that we use can be downloaded from here. This archive expands into a directory AutoDebug/ and contains the pin-tools as well as a makefile to compile them. The directory AutoDebug/, should reside in the source/tools/ directory along with the sample PIN projects.
Probably the best way to get started using our tool is to try it out on a real bug. We have provided a bug from bc-1.06 here.
For a detailed guide on how to install and use the tool, please visit our User Guide page.