Prerequisites: CS 201, CS 206; restricted to major(s) ; graduate standing; or consent of instructor
Description: Introduces the key concepts behind modern program analysis techniques focusing on static analysis. Topics include type inference, dataflow analysis, interprocedural analysis, control-flow analysis, and pointer analysis. Provides a foundation for applying program analysis in other domains or researching new analysis techniques.
Credit: May be taken Satisfactory (S) or No Credit (NC) with consent of instructor and graduate advisor.