Package edu.cmu.cs.crystal.simple

This package is for creating very simple flow analyses; if you're new to flow analyses, start here.

See:
          Description

Class Summary
AbstractingTransferFunction<LE> This class implements additional transfer functions that abstract or group other transfer functions according to the instruction hierarchy.
SimpleLatticeOperations<LE> This is the interface for the operations you must provide on your lattice in order for the dataflow analysis to work.
SimpleTACFlowAnalysis<LE> Simple flow analysis driver for a transfer function based on three-address code.
TupleLatticeElement<K,LE> Represents a lattice element that is a tuple of lattice elements for an underlying lattice.
TupleLatticeOperations<K,LE> Lattice operations for the TupleLatticeElement.
 

Package edu.cmu.cs.crystal.simple Description

This package is for creating very simple flow analyses; if you're new to flow analyses, start here.