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