Uses of Class
soot.dava.toolkits.base.AST.structuredAnalysis.DavaFlowSet

Packages that use DavaFlowSet
soot.dava.toolkits.base.AST.structuredAnalysis   
 

Uses of DavaFlowSet in soot.dava.toolkits.base.AST.structuredAnalysis
 

Methods in soot.dava.toolkits.base.AST.structuredAnalysis that return DavaFlowSet
 DavaFlowSet ReachingCopies.getReachingCopies(Object node)
           
 

Methods in soot.dava.toolkits.base.AST.structuredAnalysis with parameters of type DavaFlowSet
 void DavaFlowSet.addToBreakList(String labelBroken, DavaFlowSet set)
           
 void DavaFlowSet.addToContinueList(String labelContinued, DavaFlowSet set)
           
 void ReachingCopies.gen(DavaFlowSet in, Local left, Local right)
           
 void ReachingCopies.kill(DavaFlowSet in, Local redefined)
           
 void ReachingDefs.gen(DavaFlowSet in, DefinitionStmt s)
           
 void ReachingDefs.kill(DavaFlowSet in, Local redefined)