Package soot.jimple.toolkits.thread.synchronization

Class Summary
CriticalSectionAwareSideEffectAnalysis  
CriticalSectionInterferenceGraph  
CriticalSectionVisibleEdgesPred A predicate that accepts edges that are not part of the class library and do not have a source statement that falls inside a transaction.
DeadlockAvoidanceEdge  
DeadlockDetector  
LockableReferenceAnalysis  
LockAllocationBodyTransformer  
LockAllocator  
NewStaticLock  
StrayRWFinder  
SynchronizedRegion  
SynchronizedRegionFinder