|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.cfg.CFGAnalysisAdapter
tip.cfg.FlowAnalysis<EqualitySet<tip.cfg.dfa.ShapeAnalysis.TargetPair>>
tip.cfg.dfa.ShapeAnalysis
public class ShapeAnalysis
ShapeAnalysis
implements the Shape analysis for computing points-to
maps.
Constructor Summary | |
---|---|
ShapeAnalysis()
Creates a new ShapeAnalysis . |
Method Summary | |
---|---|
boolean |
caseCAssignPtrStmPoint(AAssignPtrStm node,
CAssignPtrStmPoint point)
Default implementation. |
boolean |
caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point)
Default implementation. |
String |
getVariableString(EqualitySet<tip.cfg.dfa.ShapeAnalysis.TargetPair> variable)
Returns a textual representation of the variable variable . |
boolean |
isFlowSensitive()
|
Map<Target,Set<Target>> |
pt(IProgramPoint point)
|
Set<Target> |
pt(IProgramPoint point,
ALocalDecl decl)
Returns the pointer targets for the variable decl at the program
point point . |
Methods inherited from class tip.cfg.FlowAnalysis |
---|
defaultNode, end, getDependencySet, getLattice, getName, getVariable, getVariableStringForPoint, getVariableStringForPoint, setVariable, start |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface tip.cfg.PointsToMap |
---|
getName |
Constructor Detail |
---|
public ShapeAnalysis()
ShapeAnalysis
.
Method Detail |
---|
public String getVariableString(EqualitySet<tip.cfg.dfa.ShapeAnalysis.TargetPair> variable)
FixedPointAnalysis
variable
.
getVariableString
in interface FixedPointAnalysis<EqualitySet<tip.cfg.dfa.ShapeAnalysis.TargetPair>>
variable
- the variable for which a text representation is returned
variable
public boolean caseCAssignVarStmPoint(AAssignVarStm node, CAssignVarStmPoint point)
CFGAnalysisAdapter
CFGAnalysisAdapter.defaultNode(Node,IProgramPoint)
.
caseCAssignVarStmPoint
in interface ICFGAnalysis
caseCAssignVarStmPoint
in class CFGAnalysisAdapter
node
- the AAssignVarStm
associated with point
point
- the CAssignVarStmPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCAssignPtrStmPoint(AAssignPtrStm node, CAssignPtrStmPoint point)
CFGAnalysisAdapter
CFGAnalysisAdapter.defaultNode(Node,IProgramPoint)
.
caseCAssignPtrStmPoint
in interface ICFGAnalysis
caseCAssignPtrStmPoint
in class CFGAnalysisAdapter
node
- the AAssignPtrStm
associated with point
point
- the CAssignPtrStmPoint
calling the method
true
if the result of the analysis is changed.public Set<Target> pt(IProgramPoint point, ALocalDecl decl)
PointsToMap
decl
at the program
point point
.
pt
in interface PointsToMap
point
- the program point for which the pointer targets are returneddecl
- the variable for which the pointer targets are returned
decl
at point
public boolean isFlowSensitive()
isFlowSensitive
in interface PointsToMap
public Map<Target,Set<Target>> pt(IProgramPoint point)
pt
in interface PointsToMap
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |