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 |
DeadlockDetector.detectLocksetDeadlock(Map<Value,Integer> lockToLockNum,
List<PointsToSetInternal> lockPTSets) |
MutableEdgeLabelledDirectedGraph |
DeadlockDetector.detectLocksetDeadlock(Map<Value,Integer> lockToLockNum,
List<PointsToSetInternal> lockPTSets) |
Modifier and Type | Method and Description |
---|---|
void |
DeadlockDetector.reorderLocksets(Map<Value,Integer> lockToLockNum,
MutableEdgeLabelledDirectedGraph lockOrder) |
void |
DeadlockDetector.reorderLocksets(Map<Value,Integer> lockToLockNum,
MutableEdgeLabelledDirectedGraph lockOrder) |
Modifier and Type | Class and Description |
---|---|
class |
HashMutableEdgeLabelledDirectedGraph<N,L> |
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.
|