COMS 5130: Program Analysis
(Cross-listed with CPRE 5130).
Credits: 3. Contact Hours: Lecture 3.
Prereq: (COMS 3270 or CPRE 2880); COMS 3420 or Graduate Classification
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.