Lecture Notes on Static Analysis

Lecture Notes on Static Analysis
by Michael I. Schwartzbach

Publisher: IT University of Copenhagen 2010
Number of pages: 58

Description:
These notes present principles and applications of static analysis of programs. We cover type analysis, lattice theory, control flow graphs, dataflow analysis, fixed-point algorithms, narrowing and widening, inter-procedural analysis, control flow analysis, and pointer analysis.