Package | Description |
---|---|
soot.jimple.toolkits.infoflow | |
soot.jimple.toolkits.thread.synchronization | |
soot.toolkits.graph |
Toolkit to produce and manipulate various types of control flow
graphs.
|
Modifier and Type | Method and Description |
---|---|
protected MutableDirectedGraph<EquivalentValue> |
InfoFlowAnalysis.getInvokeAbbreviatedInfoFlowGraph(InvokeExpr ie,
SootMethod context) |
protected MutableDirectedGraph<EquivalentValue> |
InfoFlowAnalysis.getInvokeAbbreviatedInfoFlowGraph(InvokeExpr ie,
SootMethod context) |
MutableDirectedGraph<EquivalentValue> |
SimpleMethodInfoFlowAnalysis.getMethodInfoFlowSummary() |
MutableDirectedGraph<EquivalentValue> |
SimpleMethodInfoFlowAnalysis.getMethodInfoFlowSummary() |
MutableDirectedGraph<EquivalentValue> |
ClassInfoFlowAnalysis.getMethodInfoFlowSummary(SootMethod method) |
MutableDirectedGraph<EquivalentValue> |
ClassInfoFlowAnalysis.getMethodInfoFlowSummary(SootMethod method) |
Modifier and Type | Method and Description |
---|---|
MutableDirectedGraph<soot.jimple.toolkits.thread.synchronization.CriticalSectionGroup> |
DeadlockDetector.detectComponentBasedDeadlock() |
MutableDirectedGraph<soot.jimple.toolkits.thread.synchronization.CriticalSectionGroup> |
DeadlockDetector.detectComponentBasedDeadlock() |
Modifier and Type | Interface and Description |
---|---|
interface |
ReversibleGraph<N>
DirectedGraph which can be reversed and re-reversed.
|
Modifier and Type | Class and Description |
---|---|
class |
HashMutableDirectedGraph<N>
HashMap based implementation of a MutableBlockGraph.
|
class |
HashReversibleGraph<N>
A reversible version of HashMutableDirectedGraph
|
class |
MemoryEfficientGraph<N>
A memory efficient version of HashMutableDirectedGraph, in the sense
that throw-away objects passed as arguments will not be kept in the
process of adding edges.
|
Modifier and Type | Method and Description |
---|---|
MutableDirectedGraph<N> |
HashMutableEdgeLabelledDirectedGraph.getEdgesForLabel(L label) |
MutableDirectedGraph<N> |
MutableEdgeLabelledDirectedGraph.getEdgesForLabel(L label)
Returns a MutableDirectedGraph consisting of
all edges with the given label and their nodes.
|
MutableDirectedGraph<N> |
MutableEdgeLabelledDirectedGraph.getEdgesForLabel(L label)
Returns a MutableDirectedGraph consisting of
all edges with the given label and their nodes.
|
MutableDirectedGraph<N> |
HashMutableEdgeLabelledDirectedGraph.getEdgesForLabel(L label) |