|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PointsToMap | |
---|---|
tip | Provides the main classes for the TIP compiler, including the main entry class Main. |
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 PointsToMap in tip |
---|
Fields in tip declared as PointsToMap | |
---|---|
static PointsToMap |
Main.pointsToMap
|
Uses of PointsToMap in tip.cfg.cfa |
---|
Classes in tip.cfg.cfa that implement PointsToMap | |
---|---|
class |
Andersen
Andersen is an implemention of Andersen's algorithm for computing
points-to maps. |
class |
FunctionPointers
FunctionPointers is an implemention of a simple control flow analysis
for functions pointers. |
class |
OneLevelFlow
|
class |
Steensgaard
|
Uses of PointsToMap in tip.cfg.dfa |
---|
Classes in tip.cfg.dfa that implement PointsToMap | |
---|---|
class |
ShapeAnalysis
ShapeAnalysis implements the Shape analysis for computing points-to
maps. |
Uses of PointsToMap in tip.display |
---|
Method parameters in tip.display with type arguments of type PointsToMap | |
---|---|
static void |
CFGDisplay.displayCFGs(ICFGCollection cfgList,
NodeText<Node> _nodeText,
Collection<FixedPointAnalysis<?>> analyses,
Collection<PointsToMap> pointsToMaps,
int vicinity)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |