CSC 366: Introduction to Program Analysis

A course on program analysis topics, focusing on control flow and data flow analysis, program slicing, pointer analysis, intra-procedure and inter-procedure analysis, fuzzing, symbolic execution, and applications of program analysis for addressing software and security issues.

CSC 373 is the prerequisite for this class.