Methods in soot.jimple.toolkits.thread.synchronization with parameters of type CriticalSectionAwareSideEffectAnalysis |
protected void |
LockAllocator.findLockableReferences(List<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions,
PointsToAnalysis pta,
CriticalSectionAwareSideEffectAnalysis tasea,
Map<Value,Integer> lockToLockNum,
List<PointsToSetInternal> lockPTSets)
|
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)
|
List<EquivalentValue> |
LockableReferenceAnalysis.getLocksetOf(CriticalSectionAwareSideEffectAnalysis tasea,
RWSet contributingRWSet,
soot.jimple.toolkits.thread.synchronization.CriticalSection tn)
|