Pin - A Dynamic Binary Instrumentation Tool

Submitted by Sion Berkowits ... onWed, 06/13/2012 - 00:41

Home | News | Downloads | FAQ | Newsgroup | Papers | PinPoints

Overview

Pin is a dynamic binary instrumentation framework for the IA-32 and x86-64 instruction-set architectures that enables the creation of dynamic program analysis tools. Some tools built with Pin are Intel Parallel Inspector, Intel Parallel Amplifier and Intel Parallel Advisor. The tools created using Pin, called Pintools, can be used to perform program analysis on user space applications in Linux and Windows. As a dynamic binary instrumentation tool, instrumentation is performed at run time on the compiled binary files. Thus, it requires no recompiling of source code and can support instrumenting programs that dynamically generate code.

Pin provides a rich API that abstracts away the underlying instruction-set idiosyncrasies and allows context information such as register contents to be passed to the injected code as parameters. Pin automatically saves and restores the registers that are overwritten by the injected code so the application continues to work. Limited access to symbol and debug information is available as well.

Pin was originally created as a tool for computer architecture analysis, but its flexible API and an active community (called "Pinheads") have created a diverse set of tools for security, emulation and parallel program analysis.

Distribution

Pin is proprietary software developed and supported by Intel and is supplied free of charge for non-commercial use. Pin includes the source code for a large number of example instrumentation tools like basic block profilers, cache simulators, instruction trace generators, etc. It is easy to derive new tools using the examples as a template.

Quick Links

• Getting Started
• Technical Support
• User's Manual
• Tutorials

Getting Started

The best way to get started is to read the user's manual. Pin developers also regularly organize tutorials and workshops. They are held at conferences and universities.

Technical Support

If you have specific questions after reading the user's manual, you should first check the FAQ page. If that doesn't answer your question, you can search through the archives of the Pinheads newsgroup to see if anyone else asked your question. Finally, if that doesn't solve your problem, feel free to post a message to the newsgroup (don't forget to include your Pin kit number, operating system, processor, and gcc version).

User's Manual

• Kit 55942 User Manual

Tutorials

• CGO 2012/ISPASS 2012 (April 2012 - San Jose, CA and New Brunswick, NJ)
• CGO 2011 (April 2011, Chamonix, France)
• CGO 2010 (April 2010, Toronto, Canada)
• Academia Sinica 2009 (May 2009 - Taipei, Taiwan) - Part 1 and Part 2
• ISCA 2008 (June 2008 - Beijing, China) - Part 1 and Part 2
• ASPLOS 2008 (March 2008 - Seattle, WA) - Slides and Hands On materials 
• PLDI 2007 (June 2007 - San Diego, CA) - Slides