2021-2022 Undergraduate Catalog 
    
    Mar 28, 2024  
2021-2022 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
Credits: 3
Prerequisite: CS 321  
Offered during Special Sessions