2018-2019 Undergraduate Catalog 
    
    Mar 28, 2024  
2018-2019 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