CS 712 - Program Analysis for Security

This course introduces students to the theory of program analysis for security. It covers a variety of program analysis techniques used during software design, implementation, testing, debugging, and modification so that students understand software systems, their properties, and security problems that may arise. The course offers also hands-on experiences that show students how to implement security analysis and how to use commercial tools to detect the security problems of any program. The course includes the study of research papers related to the latest methodologies in the field of program analysis for security.
Lecture
Credits: 3
Prerequisite: CS 600
Offered in Summer