|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IProgramPoint | |
---|---|
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.util | Provides utility classes for the TIP compiler. |
Uses of IProgramPoint in tip.cfg |
---|
Classes in tip.cfg that implement IProgramPoint | |
---|---|
class |
AProgramPoint
AProgramPoint implements the basic functionality of the generated
program points. |
class |
CAssignPtrStmPoint
CAssignPtrStmPoint is a program point in a control flow graph associated with a
AAssignPtrStm . |
class |
CAssignVarStmPoint
CAssignVarStmPoint is a program point in a control flow graph associated with a
AAssignVarStm . |
class |
CBinopExpPoint
CBinopExpPoint is a program point in a control flow graph associated with a
ABinopExp . |
class |
CBlockPoint
CBlockPoint is a program point in a control flow graph associated with a
ABlock . |
class |
CDeclStmPoint
CDeclStmPoint is a program point in a control flow graph associated with a
ADeclStm . |
class |
CDerefExpPoint
CDerefExpPoint is a program point in a control flow graph associated with a
ADerefExp . |
class |
CFunctionCallExpPoint
CFunctionCallExpPoint is a program point in a control flow graph associated with a
AFunctionCallExp . |
class |
CFunctionPtrCallExpPoint
CFunctionPtrCallExpPoint is a program point in a control flow graph associated with a
AFunctionPtrCallExp . |
class |
CIfThenElseStmPoint
CIfThenElseStmPoint is a program point in a control flow graph associated with a
AIfThenElseStm . |
class |
CIfThenStmPoint
CIfThenStmPoint is a program point in a control flow graph associated with a
AIfThenStm . |
class |
CInputExpPoint
CInputExpPoint is a program point in a control flow graph associated with a
AInputExp . |
class |
CIntConstExpPoint
CIntConstExpPoint is a program point in a control flow graph associated with a
AIntConstExp . |
class |
CMallocExpPoint
CMallocExpPoint is a program point in a control flow graph associated with a
AMallocExp . |
class |
CNullExpPoint
CNullExpPoint is a program point in a control flow graph associated with a
ANullExp . |
class |
COutputStmPoint
COutputStmPoint is a program point in a control flow graph associated with a
AOutputStm . |
class |
CPointerExpPoint
CPointerExpPoint is a program point in a control flow graph associated with a
APointerExp . |
class |
CReturnStmPoint
CReturnStmPoint is a program point in a control flow graph associated with a
AReturnStm . |
class |
CVarExpPoint
CVarExpPoint is a program point in a control flow graph associated with a
AVarExp . |
class |
CWhileStmPoint
CWhileStmPoint is a program point in a control flow graph associated with a
AWhileStm . |
class |
EntryPoint
EntryPoint represents the entry point of a control flow graph. |
class |
ExitPoint
ExitPoint represents the exit point of a control flow graph. |
Methods in tip.cfg that return IProgramPoint | |
---|---|
IProgramPoint |
IProgramPoint.clone()
Returns a clone of the program point with no predecessors or successors. |
IProgramPoint |
ICFG.getEntry()
Returns the entry point of the control flow graph. |
IProgramPoint |
CCFG.getEntry()
Returns the entry point of the control flow graph. |
IProgramPoint |
ICFG.getExit()
Returns the exit point of the control flow graph. |
IProgramPoint |
CCFG.getExit()
Returns the exit point of the control flow graph. |
Methods in tip.cfg that return types with arguments of type IProgramPoint | |
---|---|
Set<IProgramPoint> |
ForwardsStrategy.getDependencySet(IProgramPoint point)
Returns the set of IProgramPoint s that are dependent on point . |
Set<IProgramPoint> |
FlowAnalysis.getDependencySet(IProgramPoint point)
Returns the set of IProgramPoint s that depend upon point . |
Set<IProgramPoint> |
FixedPointAnalysis.getDependencySet(IProgramPoint point)
Returns the set of IProgramPoint s that depend upon point . |
Set<IProgramPoint> |
DependencyStrategy.getDependencySet(IProgramPoint point)
Returns the set of IProgramPoint s that are dependent on point . |
Set<IProgramPoint> |
BackwardsStrategy.getDependencySet(IProgramPoint point)
Returns the set of IProgramPoint s that are dependent on point . |
Set<IProgramPoint> |
ForwardsStrategy.getJoinSet(IProgramPoint point)
Returns the set of IProgramPoint s that are point depends
upon. |
Set<IProgramPoint> |
DependencyStrategy.getJoinSet(IProgramPoint point)
Returns the set of IProgramPoint s that are point depends
upon. |
Set<IProgramPoint> |
BackwardsStrategy.getJoinSet(IProgramPoint point)
Returns the set of IProgramPoint s that are point depends
upon. |
Set<IProgramPoint> |
IProgramPoint.getPredecessors()
Returns the set of predecessors to this program point. |
Set<IProgramPoint> |
AProgramPoint.getPredecessors()
Returns the set of predecessors to this program point. |
Collection<IProgramPoint> |
ICFG.getProgramPoints()
Returns the collection of program points in the control flow graph. |
Collection<IProgramPoint> |
CCFG.getProgramPoints()
Returns the collection of program points in the control flow graph. |
Set<IProgramPoint> |
IProgramPoint.getSuccessors()
Returns the set of successors to this program point. |
Set<IProgramPoint> |
AProgramPoint.getSuccessors()
Returns the set of successors to this program point. |
Set<IProgramPoint> |
IProgramPoint.getVicinity(int distance)
Returns the set of program points reachable from this point following at most distance successors
or predecessors. |
Set<IProgramPoint> |
AProgramPoint.getVicinity(int distance)
Returns the set of program points reachable from this point following at most distance successors
or predecessors. |
Methods in tip.cfg with parameters of type IProgramPoint | |
---|---|
void |
ICFG.add(IProgramPoint point)
Adds the IProgramPoint point to the set
of program points associated with this ICFG . |
void |
CCFG.add(IProgramPoint point)
Adds the IProgramPoint point to the set
of program points associated with this ICFG . |
void |
IProgramPoint.addPredecessor(IProgramPoint predecessor)
Adds predecessor to the set of predecessors of this program point. |
void |
AProgramPoint.addPredecessor(IProgramPoint predecessor)
Adds predecessor to the set of predecessors of this program point. |
void |
IProgramPoint.addSuccessor(IProgramPoint successor)
Adds successor to the set of successors of this program point. |
void |
AProgramPoint.addSuccessor(IProgramPoint successor)
Adds successor to the set of successors of this program point. |
boolean |
ICFG.containsProgramPoint(IProgramPoint point)
Returns true if this ICFG contains the IProgramPoint point . |
boolean |
CCFG.containsProgramPoint(IProgramPoint point)
Returns true if this ICFG contains the IProgramPoint point . |
A |
CFGAnswerAdapter.defaultNode(Node node,
IProgramPoint point)
Base implementation for all case -methods. |
boolean |
CFGAnalysisAdapter.defaultNode(Node node,
IProgramPoint point)
Base implementation for all case -methods. |
boolean |
FlowAnalysis.defaultNode(Node node,
IProgramPoint point)
Default implementation for program points: The variable for point
is updated to be the join of the points in its dependency set. |
A |
CFGQuestionAnswerAdapter.defaultNode(Node node,
IProgramPoint point,
Q question)
Base implementation for all case -methods. |
Set<IProgramPoint> |
ForwardsStrategy.getDependencySet(IProgramPoint point)
Returns the set of IProgramPoint s that are dependent on point . |
Set<IProgramPoint> |
FlowAnalysis.getDependencySet(IProgramPoint point)
Returns the set of IProgramPoint s that depend upon point . |
Set<IProgramPoint> |
FixedPointAnalysis.getDependencySet(IProgramPoint point)
Returns the set of IProgramPoint s that depend upon point . |
Set<IProgramPoint> |
DependencyStrategy.getDependencySet(IProgramPoint point)
Returns the set of IProgramPoint s that are dependent on point . |
Set<IProgramPoint> |
BackwardsStrategy.getDependencySet(IProgramPoint point)
Returns the set of IProgramPoint s that are dependent on point . |
Set<IProgramPoint> |
ForwardsStrategy.getJoinSet(IProgramPoint point)
Returns the set of IProgramPoint s that are point depends
upon. |
Set<IProgramPoint> |
DependencyStrategy.getJoinSet(IProgramPoint point)
Returns the set of IProgramPoint s that are point depends
upon. |
Set<IProgramPoint> |
BackwardsStrategy.getJoinSet(IProgramPoint point)
Returns the set of IProgramPoint s that are point depends
upon. |
VariableType |
FlowAnalysis.getVariable(IProgramPoint point)
Returns the (current) variable associated the point . |
VariableType |
FixedPointAnalysis.getVariable(IProgramPoint point)
Returns the (current) variable associated with the point . |
String |
FlowAnalysis.getVariableStringForPoint(IProgramPoint point)
Returns a textual representation of the variable for point . |
String |
FixedPointAnalysis.getVariableStringForPoint(IProgramPoint point)
Returns a textual representation of the variable for point . |
String |
FlowAnalysis.getVariableStringForPoint(IProgramPoint point,
int distance)
Returns a textual representation of the variable for point only
included information relevant for points in the distance vicinity
of point . |
String |
FixedPointAnalysis.getVariableStringForPoint(IProgramPoint point,
int distance)
Returns a textual representation of the variable for point only
including information relevant for points in the distance
vicinity of point . |
void |
ICFG.insertAfter(IProgramPoint point,
IProgramPoint newPoint)
Inserts newPoint in the control flow graph after point . |
void |
CCFG.insertAfter(IProgramPoint point,
IProgramPoint newPoint)
Inserts newPoint in the control flow graph after point . |
void |
ICFG.insertBefore(IProgramPoint point,
IProgramPoint newPoint)
Inserts newPoint in the control flow graph before point . |
void |
CCFG.insertBefore(IProgramPoint point,
IProgramPoint newPoint)
Inserts newPoint in the control flow graph before 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 . |
void |
ICFG.remove(IProgramPoint point)
Removes the IProgramPoint point from the set
of program points associated with this ICFG . |
void |
CCFG.remove(IProgramPoint point)
Removes the IProgramPoint point from the set
of program points associated with this ICFG . |
void |
ICFG.removePoint(IProgramPoint point)
Removes point from this control flow graph, updating the
predecessors and successors of point to point to eachother. |
void |
CCFG.removePoint(IProgramPoint point)
Removes point from this control flow graph, updating the
predecessors and successors of point to point to eachother. |
void |
IProgramPoint.removePredecessor(IProgramPoint predecessor)
Removes predecessor from the set of predecessors of this program point. |
void |
AProgramPoint.removePredecessor(IProgramPoint predecessor)
Removes predecessor from the set of predecessors of this program point. |
void |
IProgramPoint.removeSuccessor(IProgramPoint successor)
Removes successor to the set of successors of this program point. |
void |
AProgramPoint.removeSuccessor(IProgramPoint successor)
Removes successor to the set of successors of this program point. |
void |
ICFG.replaceByCFG(IProgramPoint point,
ICFG cfg)
Replaces point with cfg in this control flow graph. |
void |
CCFG.replaceByCFG(IProgramPoint point,
ICFG cfg)
Replaces point with cfg in this control flow graph. |
void |
ICFG.replacePoint(IProgramPoint oldPoint,
IProgramPoint newPoint)
Replaces oldPoint with newPoint in this control flow graph. |
void |
CCFG.replacePoint(IProgramPoint oldPoint,
IProgramPoint newPoint)
Replaces oldPoint with newPoint in this control flow graph. |
void |
CCFG.setEntry(IProgramPoint point)
Sets the entry point of the control flow graph. |
void |
CCFG.setExit(IProgramPoint point)
Sets the exit point of the control flow graph. |
boolean |
FlowAnalysis.setVariable(IProgramPoint point,
VariableType newVariable)
Sets newVariable as the variable for point . |
Constructor parameters in tip.cfg with type arguments of type IProgramPoint | |
---|---|
CCFG(String name,
List<IProgramPoint> pointList)
Creates a new linear control flow graph from the list of program points. |
Uses of IProgramPoint in tip.cfg.cfa |
---|
Methods in tip.cfg.cfa with parameters of type IProgramPoint | |
---|---|
Map<Target,Set<Target>> |
Steensgaard.pt(IProgramPoint point)
|
Map<Target,Set<Target>> |
OneLevelFlow.pt(IProgramPoint point)
|
Map<Target,Set<Target>> |
FunctionPointers.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 IProgramPoint in tip.cfg.dfa |
---|
Methods in tip.cfg.dfa with parameters of type IProgramPoint | |
---|---|
boolean |
IntervalAnalysis.defaultNode(Node node,
IProgramPoint point)
|
boolean |
DivisionAnalysis.defaultNode(Node node,
IProgramPoint point)
|
String |
IntervalAnalysis.getVariableStringForPoint(IProgramPoint point,
int distance)
|
String |
ConstantPropagationAnalysis.getVariableStringForPoint(IProgramPoint point,
int distance)
|
Map<Target,Set<Target>> |
ShapeAnalysis.pt(IProgramPoint point)
|
Set<Target> |
ShapeAnalysis.pt(IProgramPoint point,
ALocalDecl decl)
|
Uses of IProgramPoint in tip.util |
---|
Methods in tip.util with parameters of type IProgramPoint | |
---|---|
Collection<T> |
SubExpressions.defaultNode(Node node,
IProgramPoint point)
Returns all child nodes of node accepted by the filter. |
Method parameters in tip.util with type arguments of type IProgramPoint | |
---|---|
static Collection<PDecl> |
DeclCollector.collectDecls(Collection<IProgramPoint> points)
Collects all PDecl nodes referred to in the subtrees of nodes
associated with the program points in the set of points . |
static Collection<ALocalDecl> |
LocalDeclCollector.collectLocalDecls(Collection<IProgramPoint> points)
Collects all ALocalDecl nodes referred to in the subtrees of
nodes associated with the program points in the set of points . |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |