The page uses Browser Access Keys to help with keyboard navigation. Click to learn moreSkip to Navigation

Different browsers use different keystrokes to activate accesskey shortcuts. Please reference the following list to use access keys on your system.

Alt and the accesskey, for Internet Explorer on Windows
Shift and Alt and the accesskey, for Firefox on Windows
Shift and Esc and the accesskey, for Windows or Mac
Ctrl and the accesskey, for the following browsers on a Mac: Internet Explorer 5.2, Safari 1.2, Firefox, Mozilla, Netscape 6+.

We use the following access keys on our gateway

n Skip to Navigation
k Accesskeys description
h Help

IONA

    Iona College
   
 
  Nov 19, 2017
 
 
    
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