COM S 413: Program Analysis
(Dual-listed with COM S 513). (Cross-listed with S E). (3-0) Cr. 3.
Prereq: (COM S 327 or CPR E 288); COM S 342
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.