This video presents practical uses of program analysis, including instrumentation, symbolic and concolic execution, and tools for each. It demonstrates automatic exploit generation against applications and solving obfuscated challenges.