Presentation on practical uses of program analysis, including instrumentation and symbolic execution, demonstrating automatic exploit generation and vulnerability analysis.