'Backward analyses' presentation slideshows

Another example: constant prop

492 views • 49 slides

From last lecture

From last lecture. in. F x := y op z (in) = in [ x ! in(y) op in(z) ] where a op b =. x := y op z. out. General approach to domain design. Simple lattices: boolean logic lattice powerset lattice incomparable set: set of incomparable values, plus top and bottom (eg const prop lattice)

255 views • 25 slides

Back to lattice

215 views • 21 slides

Example

Example. x := read() v := a + b. w := x + 1 a := w v := a + b. x := x + 1 w := x + 1. z := x + 1 t := a + b. Direction of analysis. Although constraints are not directional, flow functions are All flow functions we have seen so far are in the forward direction

203 views • 20 slides