soot.jimple.toolkits.thread.synchronization
Class DeadlockDetector
java.lang.Object
soot.jimple.toolkits.thread.synchronization.DeadlockDetector
public class DeadlockDetector
- extends Object
Constructor Summary |
DeadlockDetector(boolean optionPrintDebug,
boolean optionRepairDeadlock,
boolean optionAllowSelfEdges,
List<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DeadlockDetector
public DeadlockDetector(boolean optionPrintDebug,
boolean optionRepairDeadlock,
boolean optionAllowSelfEdges,
List<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections)
detectComponentBasedDeadlock
public MutableDirectedGraph<soot.jimple.toolkits.thread.synchronization.CriticalSectionGroup> detectComponentBasedDeadlock()
detectLocksetDeadlock
public MutableEdgeLabelledDirectedGraph detectLocksetDeadlock(Map<Value,Integer> lockToLockNum,
List<PointsToSetInternal> lockPTSets)
reorderLocksets
public void reorderLocksets(Map<Value,Integer> lockToLockNum,
MutableEdgeLabelledDirectedGraph lockOrder)