CSC 466: Program Analysis

An introductory graduate course on program analysis topics, focusing on control flow and data flow analysis, program slicing, type systems, constraint-based systems, pointer analysis, intra-procedure and inter-procedure analysis, fuzzing, symbolic execution, and applications of program analysis for addressing software and security issues.

CSC 406 is a prerequisite for this course.