| Package | Description |
|---|---|
| soot.jimple.toolkits.thread.synchronization | |
| soot.toolkits.graph |
Toolkit to produce and manipulate various types of control flow
graphs.
|
| soot.toolkits.graph.pdg |
| Modifier and Type | Method and Description |
|---|---|
MutableEdgeLabelledDirectedGraph<Integer,soot.jimple.toolkits.thread.synchronization.CriticalSection> |
DeadlockDetector.detectLocksetDeadlock(Map<Value,Integer> lockToLockNum,
List<PointsToSetInternal> lockPTSets) |
| Modifier and Type | Method and Description |
|---|---|
void |
DeadlockDetector.reorderLocksets(Map<Value,Integer> lockToLockNum,
MutableEdgeLabelledDirectedGraph<Integer,soot.jimple.toolkits.thread.synchronization.CriticalSection> lockOrder) |
| Modifier and Type | Class and Description |
|---|---|
class |
HashMutableEdgeLabelledDirectedGraph<N,L>
HashMap based implementation of a MutableEdgeLabelledDirectedGraph.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
ProgramDependenceGraph
This defines the interface to a Program Dependence Graph as defined in
Ferrante, J., Ottenstein, K.
|
| Modifier and Type | Class and Description |
|---|---|
class |
HashMutablePDG
This class implements a Program Dependence Graph as defined in
Ferrante, J., Ottenstein, K.
|
Copyright © 2020 Soot OSS. All rights reserved.