Uses of Interface
soot.toolkits.graph.MutableEdgeLabelledDirectedGraph
-
Packages that use MutableEdgeLabelledDirectedGraph 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 -
-
Uses of MutableEdgeLabelledDirectedGraph in soot.jimple.toolkits.thread.synchronization
Methods in soot.jimple.toolkits.thread.synchronization that return MutableEdgeLabelledDirectedGraph Modifier and Type Method Description MutableEdgeLabelledDirectedGraph<Integer,soot.jimple.toolkits.thread.synchronization.CriticalSection>DeadlockDetector. detectLocksetDeadlock(Map<Value,Integer> lockToLockNum, List<PointsToSetInternal> lockPTSets)Methods in soot.jimple.toolkits.thread.synchronization with parameters of type MutableEdgeLabelledDirectedGraph Modifier and Type Method Description voidDeadlockDetector. reorderLocksets(Map<Value,Integer> lockToLockNum, MutableEdgeLabelledDirectedGraph<Integer,soot.jimple.toolkits.thread.synchronization.CriticalSection> lockOrder) -
Uses of MutableEdgeLabelledDirectedGraph in soot.toolkits.graph
Classes in soot.toolkits.graph that implement MutableEdgeLabelledDirectedGraph Modifier and Type Class Description classHashMutableEdgeLabelledDirectedGraph<N,L>HashMap based implementation of a MutableEdgeLabelledDirectedGraph. -
Uses of MutableEdgeLabelledDirectedGraph in soot.toolkits.graph.pdg
Subinterfaces of MutableEdgeLabelledDirectedGraph in soot.toolkits.graph.pdg Modifier and Type Interface Description interfaceProgramDependenceGraphThis defines the interface to a Program Dependence Graph as defined in Ferrante, J., Ottenstein, K.Classes in soot.toolkits.graph.pdg that implement MutableEdgeLabelledDirectedGraph Modifier and Type Class Description classHashMutablePDGThis class implements a Program Dependence Graph as defined in Ferrante, J., Ottenstein, K.
-