• Welcome!
Total books
Book Detail
Download Lecture Notes on Static Analysis free book as pdf format

Lecture Notes on Static Analysis

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, interprocedural analysis, control flow analysis, and pointer analysis. This link for educational purpose only. Please remove file from your computer after familiarization.

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, interprocedural analysis, control flow analysis, and pointer analysis. A tiny imperative programming language with heap pointers and function pointers is subjected to numerous different static analyses illustrating the techniques that are presented.

The style of presentation is intended to be precise but not overly formal. The readers are assumed to be familiar with advanced programming language concepts and the basics of compiler construction.

Book year:

Book pages: 58

Book language: en

File size: 364.44 KB

File type: pdf

Published: 01 June 2022 - 14:00