| 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 |
Copyright © 2020 Soot OSS. All rights reserved.