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 Description protected voidLockAllocator. 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)
-