tip.cfg.dfa
Classes 
AvailableExpressionsAnalysis
ConstantPropagationAnalysis
ConstantPropagationAnalysis.Const
ConstantPropagationAnalysis.ConstLattice
ConstantPropagationAnalysis.Evaluator
DivisionAnalysis
IntervalAnalysis
IntervalAnalysis.Evaluator
IntervalAnalysis.Interval
LivenessAnalysis
NullPointerAnalysis
NullPointerAnalysis.NullLattice
ReachingDefinitionsAnalysis
ShapeAnalysis
SignAnalysis
SignAnalysis.Evaluator
VeryBusyExpressionsAnalysis
Enums 
ConstantPropagationAnalysis.Type
DivisionAnalysis.Div
NullPointerAnalysis.Null
SignAnalysis.Sign