CSE 590 MD: Program Analysis

    
 

Instructor: Manuvir Das

    
 

Topics
Spring 2001
 
 
  1. Overview
    1. Precision/cost tradeoff and landscape
    2. Survey of analysis techniques
  2. Flow-sensitive analysis
    1. Recap of intra-procedural dataflow analysis and lattices
    2. Inter-procedural analysis - Sharir and Pnueli
    3. IDFA - Reps et. al., CFL-Reachability
    4. Dependence graphs, program slicing
    5. Survey: Landi, WilsonLam, Ruf, Liang, etc
  3. Correctness
    1. Abstract interpretation
  4. Flow-insensitive analysis
    1. Monomorphic type inference, unification
    2. Polymorphic type inference
    3. Constraint-based analysis, constraint solving
    4. Precision via SSA
    5. Effect systems
    6. Region inference
  5. Path-sensitive analysis
    1. Path-sensitive dataflow
    2. Path simulation
    3. Theorem proving
    4. Model checking
  6. Other analysis techniques
    1. Pointer analysis
    2. Call graph analysis in OO programs
  7. Dynamic analysis
    1. Profiling

  8. Examples of analysis projects
    1. SLAM
    2. Vault
    3. ESP
Additional info:
Introduction
Information
 Topics
Lecture Schedule
Lecture Notes
 Reading List
 Homework


Email Manuvir
 
     
 

CSE 590MD © 2001, Department of Computer Science and Engineering, University of Washington.