Skip to Main Content

CS6715

Download as PDF

CS6715 - Program Analysis and Its Application - 3 - Credits

School of ComputingCollege of Engineering

Course Prefix

CS

Course Number

6715

Dual-Listed Courses

-

Course Title

Program Analysis and Its Application

Grade Mode

Standard Letter

Repeat Status

NR

Course 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.

Credit Hours Min

3

Registration Restrictions

Admission to one of the following programs:

  • Master of Computer Science - MCS

  • Computer Science - MS

  • Data Science - MS

  • Computer Science - PhD