Program Analysis
Covers principles and concepts of automated program analysis. Topics include program representations; intra-procedural data-flow analysis; call-graph construction; pointer analysis; alias analysis; inter-procedural analysis; inter-procedural finite distributive subset problems; inter-procedural distributive environment problems; symbolic execution; and program-analysis applications.
Topics
- program representations
- intra-procedural data-flow analysis
- call-graph construction
- pointer analysis
- alias analysis
- inter-procedural analysis
- inter-procedural finite distributive subset problems
- inter-procedural distributive environment problems
- symbolic execution
- and program-analysis applications
Topics explicitly listed in official catalogue description
Prerequisites & course information
Covers principles and concepts of automated program analysis. Topics include program representations; intra-procedural data-flow analysis; call-graph construction; pointer analysis; alias analysis; inter-procedural analysis; inter-procedural finite distributive subset problems; inter-procedural distributive environment problems; symbolic execution; and program-analysis applications.
Sources
- Course catalogue ↗2026-2027