Jul 22, 2018  
2016-2017 Undergraduate Catalog 
2016-2017 Undergraduate Catalog [ARCHIVED CATALOG]

CS 412 - 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 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.
3 Credits
Prerequisite: CS 301  
Offered during Special Sessions