
Lecture Notes on Static Analysis
Michael I. Schwartzbach
Lecture Notes on Static Analysis
Michael I. Schwartzbach
Book Details:
Year: | 2015 |
Publisher: | University of Aarhus |
Pages: | 58 pages |
Language: | english |
Since: | 01/07/2015 |
Size: | 315 KB |
License: | Pending review |
Content:
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.
Categories:
Tags:
Loading comments...
Scanning lists...
The book in numbers
rank in categories
online since
01/07/2015rate score
3votes
1Social likes
Nothing yet...Views
Downloads
Interest
Countries segmentation
Source Referers
Websites segmentation
evolution
Loading...