Package soot.jimple.toolkits.thread.synchronization
-
Class Summary Class Description 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 Finds the set of local variables and/or references that represent all of the relevant objects used in a synchronized region, as accessible at the start of that region.LockAllocationBodyTransformer LockAllocator NewStaticLock StrayRWFinder SynchronizedRegion SynchronizedRegionFinder