Continuing Lecturecise 21

Slides: pptx, pdf

Sets of States at Each Program Point

Range Analysis Example

Continued in Lecturecise 24

• Lecture notes on static analysis by Michael Schwartzbach, especially chapters 4,5,6
• Compiler Construction by Niklaus Wirth, chapters 9,10, 11
• Tiger book, Chapters 7-11, 17
• Abstract Interpretation in a Nutshell by Patrick Cousot (also a course at MIT)
• Lecture 7 in Software Analysis and Verification 2009