|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
This package is for creating very simple flow analyses; if you're new to flow analyses, start here.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |