Package tip.cfg.dfa

Provides a collection of data flow analyses for TIP programs.

See:
          Description

Class Summary
AvailableExpressionsAnalysis AvailableExpressionsAnalysis implements the Available Expressions forwards-must analysis.
ConstantPropagationAnalysis  
ConstantPropagationAnalysis.Const  
ConstantPropagationAnalysis.ConstLattice  
ConstantPropagationAnalysis.Evaluator  
DivisionAnalysis  
IntervalAnalysis  
IntervalAnalysis.Evaluator  
IntervalAnalysis.Interval  
LivenessAnalysis LivenessAnalysis implements the Liveness backwards-may analysis.
NullPointerAnalysis  
NullPointerAnalysis.NullLattice  
ReachingDefinitionsAnalysis  
ShapeAnalysis ShapeAnalysis implements the Shape analysis for computing points-to maps.
SignAnalysis  
SignAnalysis.Evaluator  
VeryBusyExpressionsAnalysis  
 

Enum Summary
ConstantPropagationAnalysis.Type  
DivisionAnalysis.Div  
NullPointerAnalysis.Null  
SignAnalysis.Sign  
 

Package tip.cfg.dfa Description

Provides a collection of data flow analyses for TIP programs.