CS5715

Download as PDF

CS5715 - Program Analysis and Its Application - 3 - Credits

School of ComputingCollege of Engineering

Course Overview Course Learning Objectives

Course Prefix

Course Number

5715

Department

School of Computing

Dual-Listed Courses

Course Title

Program Analysis and Its Application

Grade Mode

Standard Letter

Repeat Status

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

Credit Hours Min

Registration Restrictions

Not available to pre-Computer Science majors or graduate students in the Computer Science department

Prerequisite

Required

Earn a minimum grade of C- in the following: