|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.analysis.AnalysisAdapter
tip.analysis.DepthFirstAdapter
tip.cfg.cfa.FunctionPointers
public class FunctionPointers
FunctionPointers
is an implemention of a simple control flow analysis
for functions pointers.
Constructor Summary | |
---|---|
FunctionPointers()
|
Method Summary | |
---|---|
String |
getName()
Returns the name of this points-to map. |
void |
inAFuncDecl(AFuncDecl node)
Called by DepthFirstAdapter.caseAFuncDecl(AFuncDecl) before traversing the children of AFuncDecl . |
void |
inAProgram(AProgram node)
Called by DepthFirstAdapter.caseAProgram(AProgram) before traversing the children of AProgram . |
void |
inAAssignVarStm(AAssignVarStm node)
Called by DepthFirstAdapter.caseAAssignVarStm(AAssignVarStm) before traversing the children of AAssignVarStm . |
boolean |
isFlowSensitive()
|
void |
outAProgram(AProgram node)
Called by DepthFirstAdapter.caseAProgram(AProgram) after traversing the children of AProgram . |
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 as computed by the algorithm. |
Methods inherited from class tip.analysis.AnalysisAdapter |
---|
caseEOF, caseTAnd, caseTAssign, caseTComma, caseTCommentBlock, caseTCommentSingle, caseTDiv, caseTElse, caseTEq, caseTGt, caseTIdentifier, caseTIf, caseTInput, caseTIntegerConst, caseTLBrace, caseTLPar, caseTMalloc, caseTMinus, caseTNull, caseTOutput, caseTPlus, caseTRBrace, caseTReturn, caseTRPar, caseTSemicolon, caseTStar, caseTVar, caseTWhile, caseTWhiteSpace, defaultNode, defaultToken, getIn, getOut, setIn, setOut |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public FunctionPointers()
Method Detail |
---|
public void inAProgram(AProgram node)
DepthFirstAdapter
DepthFirstAdapter.caseAProgram(AProgram)
before traversing the children of AProgram
.
inAProgram
in class DepthFirstAdapter
node
- the visited AProgram
nodepublic void outAProgram(AProgram node)
DepthFirstAdapter
DepthFirstAdapter.caseAProgram(AProgram)
after traversing the children of AProgram
.
outAProgram
in class DepthFirstAdapter
node
- the visited AProgram
nodepublic void inAAssignVarStm(AAssignVarStm node)
DepthFirstAdapter
DepthFirstAdapter.caseAAssignVarStm(AAssignVarStm)
before traversing the children of AAssignVarStm
.
inAAssignVarStm
in class DepthFirstAdapter
node
- the visited AAssignVarStm
nodepublic void inAFuncDecl(AFuncDecl node)
DepthFirstAdapter
DepthFirstAdapter.caseAFuncDecl(AFuncDecl)
before traversing the children of AFuncDecl
.
inAFuncDecl
in class DepthFirstAdapter
node
- the visited AFuncDecl
nodepublic String getName()
getName
in interface PointsToMap
public Set<Target> pt(IProgramPoint point, ALocalDecl decl)
decl
at the program
point point
as computed by the algorithm.
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 |