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.
Fall 2025-2026
Section:
701
Class number:
15545
Meeting time:
Tu
5:45PM
-
9:00PM
Location:
LEWIS 01208
at
Loop Campus
Section:
710
Class number:
15600
Meeting time:
-
Location:
Online: Async