soot.dava.toolkits.base.AST.structuredAnalysis
Class ReachingCopies

java.lang.Object
  extended bysoot.dava.toolkits.base.AST.structuredAnalysis.StructuredAnalysis
      extended bysoot.dava.toolkits.base.AST.structuredAnalysis.ReachingCopies

public class ReachingCopies
extends StructuredAnalysis


Constructor Summary
ReachingCopies(Object analyze)
           
 
Method Summary
 Object cloneFlowSet(Object flowSet)
           
 void gen(DavaFlowSet in, Local left, Local right)
           
 DavaFlowSet getReachingCopies(Object node)
           
 void kill(DavaFlowSet in, Local redefined)
           
 Object newInitialFlow()
           
 Object processStatement(Stmt s, Object input)
           
 Object processSwitchKey(Value key, Object input)
           
 Object processSynchronizedLocal(Local local, Object input)
           
 Object processUnaryBinaryCondition(ASTUnaryBinaryCondition cond, Object input)
           
 void setMergeType()
           
 
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
 

Constructor Detail

ReachingCopies

public ReachingCopies(Object analyze)
Method Detail

setMergeType

public void setMergeType()
Specified by:
setMergeType in class StructuredAnalysis

newInitialFlow

public Object newInitialFlow()
Specified by:
newInitialFlow 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,
                Local left,
                Local right)

kill

public void kill(DavaFlowSet in,
                 Local redefined)

getReachingCopies

public DavaFlowSet getReachingCopies(Object node)