Program Analysis Training

Advanced Tool Development With SMT Solvers (4 Days)

This class is designed to introduce students to the cutting edge of research in program analysis based on SMT solvers and symbolic reasoning. With a focus on practical applications, we will cover the theory and implementation behind a number of techniques developed in recent years that have relevance in vulnerability discovery, exploit development, and reverse engineering. Over the four days, we will go from the foundations of problem solving with SMT solvers through to the construction of analysis systems capable of reasoning about complex problems in real software. We will also compare and contrast the implementations and architectures of a number of publicly available analysis systems.

For full details, including a syllabus, see

Email if you have any questions, or would like to book a class.