| Package | Description |
|---|---|
| soot.jimple.toolkits.thread | |
| soot.jimple.toolkits.thread.mhp | |
| soot.jimple.toolkits.thread.synchronization |
| Constructor and Description |
|---|
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() |
| Modifier and Type | Method and Description |
|---|---|
void |
MhpTransformer.setMhpTester(MhpTester mhpTester) |
| Modifier and Type | Method and Description |
|---|---|
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) |
Copyright © 2020 Soot OSS. All rights reserved.