Module 15: Reaching Definition
  Lecture 29: Reaching Definition
 


A Lattice L Consists of

  • A set of values
  • ’Meet’ operator
  • ’Join’ operator

Properties of Lattices

  • such that (closure)

  • (Commutative)

  • and
    (associate)

  • and
    (distributive)

  • It has two unique element top and bottom
    Such that

Forward Reaching Definition Analysis

  • Elements are bit vectors
  • Meet is bitwise and
  • Join is bitwise or
  • Bottom is 0n and top is 1n
  • BV n denotes lattice of n bits for example BV 3 is