Uses of Class
soot.jimple.toolkits.thread.synchronization.CriticalSectionAwareSideEffectAnalysis

Packages that use CriticalSectionAwareSideEffectAnalysis

Package	Description
soot.jimple.toolkits.thread.synchronization

Uses of CriticalSectionAwareSideEffectAnalysis in soot.jimple.toolkits.thread.synchronization

Methods in soot.jimple.toolkits.thread.synchronization with parameters of type CriticalSectionAwareSideEffectAnalysis

Modifier and Type	Method and Description
protected void	LockAllocator.findLockableReferences(java.util.List<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions, PointsToAnalysis pta, CriticalSectionAwareSideEffectAnalysis tasea, java.util.Map<Value,java.lang.Integer> lockToLockNum, java.util.List<PointsToSetInternal> lockPTSets)
protected void	LockAllocator.findLockableReferences(java.util.List<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions, PointsToAnalysis pta, CriticalSectionAwareSideEffectAnalysis tasea, java.util.Map<Value,java.lang.Integer> lockToLockNum, java.util.List<PointsToSetInternal> lockPTSets)
java.util.List<EquivalentValue>	LockableReferenceAnalysis.getLocksetOf(CriticalSectionAwareSideEffectAnalysis tasea, RWSet contributingRWSet, soot.jimple.toolkits.thread.synchronization.CriticalSection tn)
java.util.List<EquivalentValue>	LockableReferenceAnalysis.getLocksetOf(CriticalSectionAwareSideEffectAnalysis tasea, RWSet contributingRWSet, soot.jimple.toolkits.thread.synchronization.CriticalSection tn)