| 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) |
MutableDirectedGraph<EquivalentValue> |
SimpleMethodInfoFlowAnalysis.getMethodInfoFlowSummary() |
MutableDirectedGraph<EquivalentValue> |
ClassInfoFlowAnalysis.getMethodInfoFlowSummary(SootMethod method) |
| Modifier and Type | Method and Description |
|---|---|
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) |
Copyright © 2020 Soot OSS. All rights reserved.