soot.dava.toolkits.base.AST.structuredAnalysis
Class ReachingDefs
java.lang.Object
soot.dava.toolkits.base.AST.structuredAnalysis.StructuredAnalysis
soot.dava.toolkits.base.AST.structuredAnalysis.ReachingDefs
- public class ReachingDefs
- extends StructuredAnalysis
Methods inherited from class soot.dava.toolkits.base.AST.structuredAnalysis.StructuredAnalysis |
getAfterSet, getBeforeSet, getMergedBreakList, handleBreak, handleContinue, isDifferent, merge, print, process, processASTDoWhileNode, processASTForLoopNode, processASTIfElseNode, processASTIfNode, processASTLabeledBlockNode, processASTMethodNode, processASTNode, processASTStatementSequenceNode, processASTSwitchNode, processASTSynchronizedBlockNode, processASTTryNode, processASTUnconditionalLoopNode, processASTWhileNode, processCondition, processSingleSubBodyNode |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ReachingDefs
public ReachingDefs(Object analyze)
newInitialFlow
public Object newInitialFlow()
- Specified by:
newInitialFlow
in class StructuredAnalysis
setMergeType
public void setMergeType()
- Specified by:
setMergeType
in class StructuredAnalysis
cloneFlowSet
public Object cloneFlowSet(Object flowSet)
- Specified by:
cloneFlowSet
in class StructuredAnalysis
processUnaryBinaryCondition
public Object processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
Object input)
- Specified by:
processUnaryBinaryCondition
in class StructuredAnalysis
processSynchronizedLocal
public Object processSynchronizedLocal(Local local,
Object input)
- Specified by:
processSynchronizedLocal
in class StructuredAnalysis
processSwitchKey
public Object processSwitchKey(Value key,
Object input)
- Specified by:
processSwitchKey
in class StructuredAnalysis
processStatement
public Object processStatement(Stmt s,
Object input)
- Specified by:
processStatement
in class StructuredAnalysis
gen
public void gen(DavaFlowSet in,
DefinitionStmt s)
kill
public void kill(DavaFlowSet in,
Local redefined)
getReachingDefs
public List getReachingDefs(Local local,
Object node)