|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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 |
Provides a collection of data flow analyses for TIP programs.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |