COM S 413: Foundations and Applications of Program Analysis
(Dual-listed with COM S 513). Cr. 3.
Prereq: COM S 331, COM S 342
Algorithms and tools for automatically reasoning about code and program executions to predict software behavior. Theory and foundations related to control flow analysis, dataflow analysis, abstract interpretation and symbolic execution. Applications of program analysis to improve software security, performance and testing. Concepts, algorithms, tools, benchmarks, methodologies for solving problems using program analysis and for preparing research in program analysis.