Package | Description |
---|---|
soot.jimple.toolkits.thread | |
soot.jimple.toolkits.thread.mhp | |
soot.jimple.toolkits.thread.synchronization |
Constructor and Description |
---|
ThreadLocalObjectsAnalysis(MhpTester mhp) |
ThreadLocalObjectsAnalysis(MhpTester mhp) |
Modifier and Type | Class and Description |
---|---|
class |
SynchObliviousMhpAnalysis
UnsynchronizedMhpAnalysis written by Richard L.
|
class |
UnsynchronizedMhpAnalysis
Deprecated.
This class has been added to maintain compatibility while it
is being renamed to
SynchObliviousMhpAnalysis . Use that instead! |
Modifier and Type | Method and Description |
---|---|
MhpTester |
MhpTransformer.getMhpTester() |
MhpTester |
MhpTransformer.getMhpTester() |
Modifier and Type | Method and Description |
---|---|
void |
MhpTransformer.setMhpTester(MhpTester mhpTester) |
void |
MhpTransformer.setMhpTester(MhpTester mhpTester) |
Modifier and Type | Method and Description |
---|---|
void |
LockAllocator.printTable(Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions,
MhpTester mhp) |
void |
LockAllocator.printTable(Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions,
MhpTester mhp) |
Constructor and Description |
---|
CriticalSectionInterferenceGraph(List<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections,
MhpTester mhp,
boolean optionOneGlobalLock,
boolean optionLeaveOriginalLocks,
boolean optionIncludeEmptyPossibleEdges) |
CriticalSectionInterferenceGraph(List<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections,
MhpTester mhp,
boolean optionOneGlobalLock,
boolean optionLeaveOriginalLocks,
boolean optionIncludeEmptyPossibleEdges) |