Iteration, Range, Formulas, Constraints, Aliasing
Recall Lecture20 and Lecture21 and Abstract Interpretation Recipe in particular.
Plan for today:
- some new techniques and observations about abstract interpretation
- overview and comparison of different techniques
More on Computing Fixpoints
Analyzing Numerical Values
A Syntactic Approach
Reasoning About Heap
References
- F. Nielson, H.R. Nielson, C. Hankin: Principles of Program Analysis, Springer, 1999
- Lecture notes on static analysis by Michael Schwartzbach (sections 4,5,6,7 in particular), and pdf file