| 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 |