Lab for Automated Reasoning and Analysis LARA

Lecture 13: Data-flow analysis. Heap. Advanced Procedures

Continuing Lecture 12a

Drawing partial orders and lattices


Source code:

Lattice height

From information on variable, to information on the program:

How the height changes

Precise sets of all states (not practical):

Height of concrete analysis lattice

Example of abstraction: signs

Height of sign analysis lattice. Height of range analysis lattice.


Work list algorithm idea

Correctness of Data-Flow Analysis

Initialization Analysis

Back to Live Variable Analysis



cc10/lecture_13.txt · Last modified: 2010/12/13 13:34 by vkuncak
© EPFL 2018 - Legal notice