|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use MutableEdgeLabelledDirectedGraph | |
|---|---|
| soot.jimple.toolkits.thread.synchronization | |
| soot.toolkits.graph | Toolkit to produce and manipulate various types of control flow graphs. |
| soot.toolkits.graph.pdg | |
| Uses of MutableEdgeLabelledDirectedGraph in soot.jimple.toolkits.thread.synchronization |
|---|
| Methods in soot.jimple.toolkits.thread.synchronization that return MutableEdgeLabelledDirectedGraph | |
|---|---|
MutableEdgeLabelledDirectedGraph |
DeadlockDetector.detectLocksetDeadlock(Map<Value,Integer> lockToLockNum,
List<PointsToSetInternal> lockPTSets)
|
MutableEdgeLabelledDirectedGraph |
DeadlockDetector.detectLocksetDeadlock(Map<Value,Integer> lockToLockNum,
List<PointsToSetInternal> lockPTSets)
|
| Methods in soot.jimple.toolkits.thread.synchronization with parameters of type MutableEdgeLabelledDirectedGraph | |
|---|---|
void |
DeadlockDetector.reorderLocksets(Map<Value,Integer> lockToLockNum,
MutableEdgeLabelledDirectedGraph lockOrder)
|
void |
DeadlockDetector.reorderLocksets(Map<Value,Integer> lockToLockNum,
MutableEdgeLabelledDirectedGraph lockOrder)
|
| Uses of MutableEdgeLabelledDirectedGraph in soot.toolkits.graph |
|---|
| Classes in soot.toolkits.graph that implement MutableEdgeLabelledDirectedGraph | |
|---|---|
class |
HashMutableEdgeLabelledDirectedGraph
|
| Uses of MutableEdgeLabelledDirectedGraph in soot.toolkits.graph.pdg |
|---|
| Subinterfaces of MutableEdgeLabelledDirectedGraph in soot.toolkits.graph.pdg | |
|---|---|
interface |
ProgramDependenceGraph
This defines the interface to a Program Dependence Graph as defined in Ferrante, J., Ottenstein, K. |
| Classes in soot.toolkits.graph.pdg that implement MutableEdgeLabelledDirectedGraph | |
|---|---|
class |
HashMutablePDG
This class implements a Program Dependence Graph as defined in Ferrante, J., Ottenstein, K. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||