soot.jimple.toolkits.thread.synchronization

Class LockAllocator

java.lang.Object

soot.Transformer

soot.SceneTransformer

soot.jimple.toolkits.thread.synchronization.LockAllocator

public class LockAllocator
extends SceneTransformer

Constructor Summary

Constructors

Constructor and Description
LockAllocator(Singletons.Global g)

Method Summary

Modifier and Type	Method and Description
void	assignNamesToTransactions(java.util.List<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions)
protected void	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<soot.jimple.toolkits.thread.synchronization.CriticalSection>	getCriticalSections()
DirectedGraph	getDeadlockGraph()
CriticalSectionInterferenceGraph	getInterferenceGraph()
protected void	internalTransform(java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) Performs the transformation on the Scene, under the given phaseName and with the given Options.
static java.lang.String	locksetToLockNumString(java.util.List<EquivalentValue> lockset, java.util.Map<Value,java.lang.Integer> lockToLockNum)
void	printGraph(java.util.Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions, CriticalSectionInterferenceGraph ig, java.util.Map<Value,java.lang.Integer> lockToLockNum)
void	printGroups(java.util.Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions, CriticalSectionInterferenceGraph ig)
void	printTable(java.util.Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions, MhpTester mhp)
void	setFlagsForDynamicAllocations(CriticalSectionInterferenceGraph ig)
void	setFlagsForStaticAllocations(CriticalSectionInterferenceGraph ig)
static LockAllocator	v()

Methods inherited from class soot.SceneTransformer

transform, transform, transform

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LockAllocator

public LockAllocator(Singletons.Global g)

Method Detail

v

public static LockAllocator v()

internalTransform

protected void internalTransform(java.lang.String phaseName,
                                 java.util.Map<java.lang.String,java.lang.String> options)

Description copied from class: SceneTransformer

Performs the transformation on the Scene, under the given phaseName and with the given Options.

Specified by:

internalTransform in class SceneTransformer

findLockableReferences

protected void 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)

setFlagsForDynamicAllocations

public void setFlagsForDynamicAllocations(CriticalSectionInterferenceGraph ig)

setFlagsForStaticAllocations

public void setFlagsForStaticAllocations(CriticalSectionInterferenceGraph ig)

locksetToLockNumString

public static java.lang.String locksetToLockNumString(java.util.List<EquivalentValue> lockset,
                                                      java.util.Map<Value,java.lang.Integer> lockToLockNum)

assignNamesToTransactions

public void assignNamesToTransactions(java.util.List<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions)

printGraph

public void printGraph(java.util.Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions,
                       CriticalSectionInterferenceGraph ig,
                       java.util.Map<Value,java.lang.Integer> lockToLockNum)

printTable

public void printTable(java.util.Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions,
                       MhpTester mhp)

printGroups

public void printGroups(java.util.Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions,
                        CriticalSectionInterferenceGraph ig)

getInterferenceGraph

public CriticalSectionInterferenceGraph getInterferenceGraph()

getDeadlockGraph

public DirectedGraph getDeadlockGraph()

getCriticalSections

public java.util.List<soot.jimple.toolkits.thread.synchronization.CriticalSection> getCriticalSections()