COMS 4130: Program Analysis
(Dual-listed with COMS 5130/ CPRE 5130).
(Cross-listed with SE 4130).
Credits: 3. Contact Hours: Lecture 3.
Prereq: (COMS 3270 or CPRE 2880); COMS 3420
Algorithms, AI techniques and tools for automatically reasoning about code and program executions. Theory and foundations related to control flow analysis, dataflow analysis, abstract interpretation, and symbolic execution. Applications of program analysis to bug detection, test input generation, debugging, program repair, specification inference and trustworthy AI engineering. Concepts, algorithms, tools, benchmarks, methodologies for solving problems using program analysis and for preparing research in program analysis.