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(List<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions, PointsToAnalysis pta, CriticalSectionAwareSideEffectAnalysis tasea, Map<Value,Integer> lockToLockNum, List<PointsToSetInternal> lockPTSets)
List<EquivalentValue>	LockableReferenceAnalysis.getLocksetOf(CriticalSectionAwareSideEffectAnalysis tasea, RWSet contributingRWSet, soot.jimple.toolkits.thread.synchronization.CriticalSection tn)