Welcome to E-Books Directory
This is a freely downloadable e-book.

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.

Home page url

Download or read it online here:

Download link

 (360KB, PDF)