This is an old revision of the document!
Examples of Abstract Interpretation
Examples:
- Conjunctions of Predicates - example of finite lattice. two different orders
- Constant Propagation - infinite lattice with finite ascending chain property
- Bitwidth analysis
- Interval analysis
- Polyhedra - linear inequalities
- Converging in Infinite-Height Lattice - dropping conjuncts
Predicate Abstraction and Blast Tool: Guest Lecture by Prof. Dirk Beyer
References
- Calculus of Computation Textbook Chapter 12, including Section 12.4
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints (original abstract interpretation paper)
- Lecture notes on static analysis by Michael Schwartzbach (sections 4,5,6,7 in particular)
- Notes on program analysis, by Alex Aiken
- PA 2005 at Tel-Aviv University
Conferences: