Dyninst operates on binary code in files and live processes and can identify, analyze, and instrument binary code. The tutorial will consist of a 45-minute presentation followed by an implementation session in which the participants will create a code-coverage tool using Dyninst's instrumentation capabilities.
This talk will focus on how to use Dyninst and its various subcomponents, which provide:

• Read/write access to program binaries and their symbol information
• Identification and analysis of binary code, including control flow graph generation and loop analysis
• Code generation
• Insertion of new code at arbitrary locations
• Stackwalking capabilities
• Instruction decoding