Program Analysis and Its Application

Catalog description

Students learn techniques and tools essential for understanding, improving, and securing software systems, covering static and dynamic analysis methods like data flow analysis, control flow analysis, symbolic execution, and model checking, with practical applications in bug detection, security analysis, and code maintainability. Additional coursework is required for those enrolled in the graduate-level course.