|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use FixedPointAnalysis | |
---|---|
tip.cfg | Provides the basic framework for performing fixed-point analyses of TIP programs. |
tip.cfg.dfa | Provides a collection of data flow analyses for TIP programs. |
tip.display | Provides classes for display ASTs and CFGs of TIP programs. |
Uses of FixedPointAnalysis in tip.cfg |
---|
Subinterfaces of FixedPointAnalysis in tip.cfg | |
---|---|
interface |
WideningNarrowingAnalysis<VariableType>
WideningNarrowingAnalysis defines the methods necessary for
performing a widening-narrowing analysis using WorkList . |
Classes in tip.cfg that implement FixedPointAnalysis | |
---|---|
class |
FlowAnalysis<VariableType>
FlowAnalysis implements the basic structure for a flow analysis
implementing the FixedPointAnalysis interface. |
Methods in tip.cfg that return FixedPointAnalysis | ||
---|---|---|
static
|
WorkList.apply(FixedPointAnalysis<V> fixedPointAnalysis,
ICFGCollection cfgCollection)
Performes the FixedPointAnalysis fixedPointAnalysis on
the control flow graph in cfgCollection . |
Methods in tip.cfg with parameters of type FixedPointAnalysis | ||
---|---|---|
static
|
WorkList.apply(FixedPointAnalysis<V> fixedPointAnalysis,
ICFGCollection cfgCollection)
Performes the FixedPointAnalysis fixedPointAnalysis on
the control flow graph in cfgCollection . |
Uses of FixedPointAnalysis in tip.cfg.dfa |
---|
Classes in tip.cfg.dfa that implement FixedPointAnalysis | |
---|---|
class |
AvailableExpressionsAnalysis
AvailableExpressionsAnalysis implements the Available Expressions
forwards-must analysis. |
class |
ConstantPropagationAnalysis
|
class |
DivisionAnalysis
|
class |
IntervalAnalysis
|
class |
LivenessAnalysis
LivenessAnalysis implements the Liveness backwards-may
analysis. |
class |
NullPointerAnalysis
|
class |
ReachingDefinitionsAnalysis
|
class |
ShapeAnalysis
ShapeAnalysis implements the Shape analysis for computing points-to
maps. |
class |
SignAnalysis
|
class |
VeryBusyExpressionsAnalysis
|
Uses of FixedPointAnalysis in tip.display |
---|
Method parameters in tip.display with type arguments of type FixedPointAnalysis | |
---|---|
static void |
CFGDisplay.displayCFGs(ICFGCollection cfgList,
NodeText<Node> _nodeText,
Collection<FixedPointAnalysis<?>> analyses,
Collection<PointsToMap> pointsToMaps,
int vicinity)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |