|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ICFGCollection | |
---|---|
tip.cfg | Provides the basic framework for performing fixed-point analyses of TIP programs. |
tip.cfg.cfa | Provides a collection of control flow analyses for 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 ICFGCollection in tip.cfg |
---|
Classes in tip.cfg that implement ICFGCollection | |
---|---|
class |
CCFGCollection
CCFGCollection is the standard implementation of
ICFGCollection used by CFGBuilder . |
Methods in tip.cfg that return ICFGCollection | |
---|---|
static ICFGCollection |
CFGBuilder.createCFGCollection(Node node)
Creates a collection of control flow graphs based on a traversal starting in node . |
static ICFGCollection |
CFGBuilder.createCFGCollection(Node node,
NodeFilter filter)
Creates a collection of control flow graphs based on a traversal starting in node using filter to decide which program point such
appear in the resulting control flow graphs. |
Methods in tip.cfg with parameters of type ICFGCollection | ||
---|---|---|
static
|
WorkList.apply(FixedPointAnalysis<V> fixedPointAnalysis,
ICFGCollection cfgCollection)
Performes the FixedPointAnalysis fixedPointAnalysis on
the control flow graph in cfgCollection . |
|
static
|
WorkList.apply(WideningNarrowingAnalysis<V> wideningNarrowingAnalysis,
ICFGCollection cfgCollection)
Performes the WideningNarrowingAnalysis wideningNarrowingAnalysis on the control flow graph in cfgCollection . |
Uses of ICFGCollection in tip.cfg.cfa |
---|
Methods in tip.cfg.cfa that return ICFGCollection | |
---|---|
static ICFGCollection |
Interprocedural.makeInterprocedural(ICFGCollection oldCollection,
int maxCopies)
Creates a new ICFGCollection containing a single interprocedural
control flow graph created from oldCollection . |
Methods in tip.cfg.cfa with parameters of type ICFGCollection | |
---|---|
static ICFGCollection |
Interprocedural.makeInterprocedural(ICFGCollection oldCollection,
int maxCopies)
Creates a new ICFGCollection containing a single interprocedural
control flow graph created from oldCollection . |
Uses of ICFGCollection in tip.cfg.dfa |
---|
Methods in tip.cfg.dfa with parameters of type ICFGCollection | |
---|---|
void |
ReachingDefinitionsAnalysis.showDefUseGraph(ICFGCollection cfgs)
|
Uses of ICFGCollection in tip.display |
---|
Methods in tip.display with parameters of type ICFGCollection | |
---|---|
static void |
CFGDisplay.displayCFGs(ICFGCollection cfgList,
NodeText<Node> _nodeText,
Collection<FixedPointAnalysis<?>> analyses,
Collection<PointsToMap> pointsToMaps,
int vicinity)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |