|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Target | |
---|---|
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 Target in tip.cfg |
---|
Classes in tip.cfg that implement Target | |
---|---|
class |
DeclarationTarget
DeclarationTarget represents the pointer target of a declaration
(both function and variable declarations). |
class |
MallocTarget
MallocTarget represents the pointer target of a malloc
expression. |
Methods in tip.cfg that return types with arguments of type Target | |
---|---|
Map<Target,Set<Target>> |
PointsToMap.pt(IProgramPoint point)
|
Map<Target,Set<Target>> |
PointsToMap.pt(IProgramPoint point)
|
Set<Target> |
PointsToMap.pt(IProgramPoint point,
ALocalDecl decl)
Returns the pointer targets for the variable decl at the program
point point . |
Uses of Target in tip.cfg.cfa |
---|
Methods in tip.cfg.cfa that return types with arguments of type Target | |
---|---|
Map<Target,Set<Target>> |
Steensgaard.pt(IProgramPoint point)
|
Map<Target,Set<Target>> |
Steensgaard.pt(IProgramPoint point)
|
Map<Target,Set<Target>> |
OneLevelFlow.pt(IProgramPoint point)
|
Map<Target,Set<Target>> |
OneLevelFlow.pt(IProgramPoint point)
|
Map<Target,Set<Target>> |
FunctionPointers.pt(IProgramPoint point)
|
Map<Target,Set<Target>> |
FunctionPointers.pt(IProgramPoint point)
|
Map<Target,Set<Target>> |
Andersen.pt(IProgramPoint point)
|
Map<Target,Set<Target>> |
Andersen.pt(IProgramPoint point)
|
Set<Target> |
Steensgaard.pt(IProgramPoint point,
ALocalDecl decl)
Returns the pointer targets for the variable decl at the program
point point as computed by Steensgaard's algorithm. |
Set<Target> |
OneLevelFlow.pt(IProgramPoint point,
ALocalDecl decl)
Returns the pointer targets for the variable decl at the program
point point as computed by Steensgaard's algorithm. |
Set<Target> |
FunctionPointers.pt(IProgramPoint point,
ALocalDecl decl)
Returns the pointer targets for the variable decl at the program
point point as computed by the algorithm. |
Set<Target> |
Andersen.pt(IProgramPoint point,
ALocalDecl decl)
Returns the pointer targets for the variable decl at the program
point point as computed by Andersen's algorithm. |
Uses of Target in tip.cfg.dfa |
---|
Methods in tip.cfg.dfa that return types with arguments of type Target | |
---|---|
Map<Target,Set<Target>> |
ShapeAnalysis.pt(IProgramPoint point)
|
Map<Target,Set<Target>> |
ShapeAnalysis.pt(IProgramPoint point)
|
Set<Target> |
ShapeAnalysis.pt(IProgramPoint point,
ALocalDecl decl)
|
Uses of Target in tip.display |
---|
Method parameters in tip.display with type arguments of type Target | |
---|---|
static dk.brics.dot.DotNode |
CFGDisplay.createPointsToGraph(dk.brics.dot.DotGraph graph,
Map<Target,Set<Target>> ptMap,
String name,
dk.brics.dot.DotColor color)
|
static dk.brics.dot.DotNode |
CFGDisplay.createPointsToGraph(dk.brics.dot.DotGraph graph,
Map<Target,Set<Target>> ptMap,
String name,
dk.brics.dot.DotColor color)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |