|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DavaFlowSet | |
soot.dava.toolkits.base.AST.structuredAnalysis |
Uses of DavaFlowSet in soot.dava.toolkits.base.AST.structuredAnalysis |
Subclasses of DavaFlowSet in soot.dava.toolkits.base.AST.structuredAnalysis | |
class |
CPFlowSet
|
class |
UnreachableCodeFinder.UnreachableCodeFlowSet
|
Methods in soot.dava.toolkits.base.AST.structuredAnalysis that return DavaFlowSet | |
DavaFlowSet |
CP.emptyFlowSet()
|
DavaFlowSet |
MustMayInitialize.emptyFlowSet()
|
DavaFlowSet |
ReachingCopies.emptyFlowSet()
|
DavaFlowSet |
ReachingCopies.getReachingCopies(Object node)
|
DavaFlowSet |
ReachingDefs.emptyFlowSet()
|
abstract DavaFlowSet |
StructuredAnalysis.emptyFlowSet()
|
DavaFlowSet |
UnreachableCodeFinder.emptyFlowSet()
|
Methods in soot.dava.toolkits.base.AST.structuredAnalysis with parameters of type DavaFlowSet | |
void |
DavaFlowSet.addToBreakList(String labelBroken,
DavaFlowSet set)
When an explicit break statement is encountered this method should be called to store the current davaflowset |
void |
DavaFlowSet.addToContinueList(String labelContinued,
DavaFlowSet set)
When an explicit continue statement is encountered this method should be called to store the current davaflowset |
void |
DavaFlowSet.addToImplicitBreaks(DAbruptStmt ab,
DavaFlowSet set)
The next two methods take an abruptStmt as input along with a flowSet. |
void |
DavaFlowSet.addToImplicitContinues(DAbruptStmt ab,
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)
|
Object |
StructuredAnalysis.processAbruptStatements(Stmt s,
DavaFlowSet input)
Whenever a statement has to be processed the first step is to invoke this method. |
Object |
StructuredAnalysis.mergeExplicitAndImplicit(String label,
DavaFlowSet output,
List explicitSet,
List implicitSet)
|
Object |
UnreachableCodeFinder.processAbruptStatements(Stmt s,
DavaFlowSet input)
|
Constructors in soot.dava.toolkits.base.AST.structuredAnalysis with parameters of type DavaFlowSet | |
DavaFlowSet(DavaFlowSet other)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |