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

Packages that use CriticalSectionInterferenceGraph

soot.jimple.toolkits.thread.synchronization

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

Methods in soot.jimple.toolkits.thread.synchronization that return CriticalSectionInterferenceGraph

CriticalSectionInterferenceGraph	LockAllocator.getInterferenceGraph()
CriticalSectionInterferenceGraph	LockAllocator.getInterferenceGraph()

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

void	LockAllocator.printGraph(Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions, CriticalSectionInterferenceGraph ig, Map<Value,Integer> lockToLockNum)
void	LockAllocator.printGraph(Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions, CriticalSectionInterferenceGraph ig, Map<Value,Integer> lockToLockNum)
void	LockAllocator.printGroups(Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions, CriticalSectionInterferenceGraph ig)
void	LockAllocator.printGroups(Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions, CriticalSectionInterferenceGraph ig)
void	LockAllocator.setFlagsForDynamicAllocations(CriticalSectionInterferenceGraph ig)
void	LockAllocator.setFlagsForDynamicAllocations(CriticalSectionInterferenceGraph ig)
void	LockAllocator.setFlagsForStaticAllocations(CriticalSectionInterferenceGraph ig)
void	LockAllocator.setFlagsForStaticAllocations(CriticalSectionInterferenceGraph ig)