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)